Index of ftp://ftp.be.netbsd.org/pub/pkgsrc/pkgsrc-2014Q3/pkgsrc/lang/coq

[DIR] Parent Directory

[DIR] CVS  512.00b  October 1 2014 at 01:27
[ ] DESCR  306.00b  March 22 2003
[ ] MESSAGE  663.00b  March 22 2003
[ ] Makefile  1.97Kb  May 13 2014
[ ] PLIST  91.41Kb  October 30 2013
[ ] distinfo  308.00b  May 13 2014
[ ] options.mk  1.61Kb  November 16 2012
[DIR] patches  512.00b  October 1 2014 at 01:24