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

Current bandwidth utilization 1760.54 Mbit/s

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

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