Index of /pub/gnu_linux/ubuntu/pool/universe/m/mcrl2

      Name                                   Last modified      Size  Description
      Parent Directory                                            -   
      mcrl2_201210.1-1ubuntu1.debian.tar.gz  2025-05-15 10:01  6.9K  
      mcrl2_201210.1-1ubuntu1.dsc            2025-05-15 10:01  2.1K  
      mcrl2_201210.1-1ubuntu1_amd64.deb      2023-08-25 06:38   12M  
      mcrl2_201210.1-1ubuntu1_i386.deb       2023-08-25 06:38   13M  
      mcrl2_201210.1.orig.tar.gz             2025-05-15 10:01  7.8M  
      mcrl2_201409.0-1ubuntu1.debian.tar.xz  2025-05-15 10:01  6.7K  
      mcrl2_201409.0-1ubuntu1.dsc            2025-05-15 10:01  1.5K  
      mcrl2_201409.0-1ubuntu1_amd64.deb      2023-08-25 06:38  7.6M  
      mcrl2_201409.0-1ubuntu1_i386.deb       2023-08-25 06:38  7.6M  
      mcrl2_201409.0-1ubuntu3.debian.tar.xz  2025-05-15 10:01  6.8K  
      mcrl2_201409.0-1ubuntu3.dsc            2025-05-15 10:01  2.1K  
      mcrl2_201409.0-1ubuntu3_amd64.deb      2023-08-25 06:38  7.2M  
      mcrl2_201409.0-1ubuntu3_i386.deb       2023-08-25 06:38  7.5M  
      mcrl2_201409.0.orig.tar.gz             2025-05-15 10:01   17M