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

Current bandwidth utilization 1934.76 Mbit/s

 Name                                              Last modified      Size  
 Parent Directory                                                       -   
 slack-desc                                        12-Aug-2011 00:00  833   
 gpl.txt.gz                                        12-Aug-2011 00:00   12K  
 coq.info                                          12-Aug-2011 00:00  290   
 coq.SlackBuild                                    12-Aug-2011 00:00  2.7K  
 README                                            12-Aug-2011 00:00  935   

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