Welcome to ftp.vim.org,
Hosted by ftp.nluug.nl Current directory: /ftp/os/Linux/distr/salix/sbo/13.37/academic/coq/?C=S&O=A |
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!