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

Current bandwidth utilization 731.74 Mbit/s

 Name                                      Last modified      Size  
 Parent Directory                                               -   
 coq.info                                  12-Aug-2011 00:00  290   
 slack-desc                                12-Aug-2011 00:00  833   
 README                                    12-Aug-2011 00:00  935   
 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!