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

Current bandwidth utilization 1641.20 Mbit/s

 Name                                         Last modified      Size  
 Parent Directory                                                  -   
 README                                       18-Jan-2020 06:32  367   
 coq.SlackBuild                               18-Jan-2020 06:32  3.2K  
 coq.info                                     18-Jan-2020 06:32  295   
 gpl.txt.gz                                   12-Aug-2011 00:00   12K  
 slack-desc                                   18-Jan-2020 06:32  831   

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