Welcome to ftp.nluug.nl Current directory: /pub/ftp/os/Linux/distr/salix/sbo/14.1/academic/coq/?C=M&O=A |
|
Name Last modified Size
Parent Directory - gpl.txt.gz 12-Aug-2011 00:00 12K README 26-Nov-2013 10:57 696 coq.SlackBuild 26-Nov-2013 10:57 2.8K coq.info 26-Nov-2013 10:57 286 slack-desc 26-Nov-2013 10:57 830
NLUUG - Open Systems. Open Standards
Become a member
and get discounts on conferences and more, see the NLUUG website!