Index of ftp://iso2.de.netbsd.org/pkgsrc/misc/kristerw/i386-current/20121010.2158/coq-8.3pl1nb16

[DIR] Parent Directory

[ ] build.log  32.44Kb  October 23 2012
[ ] checksum.log  150.00b  October 23 2012
[ ] configure.log  2.58Kb  October 23 2012
[ ] depends.log  61.00b  October 23 2012
[ ] pre-clean.log  33.00b  October 23 2012
[ ] work.log  5.90Kb  October 23 2012