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

Current bandwidth utilization 2232.26 Mbit/s

 Name                                         Last modified      Size  
 Parent Directory                                                  -   
 slack-desc                                   12-Aug-2011 03:58  833   
 gpl.txt.gz                                   12-Aug-2011 00:00   12K  
 coq.info                                     29-Sep-2012 06:34  286   
 coq.SlackBuild                               12-Aug-2011 00:00  2.7K  
 README                                       29-Sep-2012 06:34  696   

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