Welcome to ftp.nluug.nl Current directory: /pub/ftp/os/Linux/distr/salix/sbo/14.0/development/mcrl2/?C=N&O=D

 Name                                                Last modified      Size  
 Parent Directory                                                         -   
 slack-desc                                          22-Oct-2011 15:11  895   
 mcrl2.info                                          29-Sep-2012 06:34  290   
 mcrl2.SlackBuild                                    22-Oct-2011 00:00  2.2K  
 README                                              22-Oct-2011 15:11  293   

NLUUG - Open Systems. Open Standards
Become a member and get discounts on conferences and more, see the NLUUG website!