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

Current bandwidth utilization 1559.95 Mbit/s

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

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