![]() |
Welcome to ftp.nluug.nl Current directory: /ftp/os/Linux/distr/salix/sbo/14.2/academic/coq/?C=N&O=A |
|
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!