Index of /slackbuilds/13.37/development/mcrl2

      Name                            Last modified      Size  Description
      Parent Directory                                     -   
      README                          2011-10-22 08:11  293   
      mcrl2.SlackBuild                2011-10-22 08:11  2.2K  
      mcrl2.info                      2011-10-22 08:11  300   
      slack-desc                      2011-10-22 08:11  895