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

Current bandwidth utilization 1894.32 Mbit/s

 Name                                     Last modified      Size  
 Parent Directory                                              -   
 coq.info                                 26-Nov-2013 10:57  286   
 README                                   26-Nov-2013 10:57  696   
 slack-desc                               26-Nov-2013 10:57  830   
 coq.SlackBuild                           26-Nov-2013 10:57  2.8K  
 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!