Index of pub/pkgsrc/stable/pkgsrc/lang/coq/

NameLast modifiedSize
Parent Directory20-Jun-2021 01:0310kB
CVS/30-Mar-2021 11:251kB
DESCR22-Mar-2003 20:211kB
MESSAGE22-Mar-2003 20:211kB
Makefile08-Mar-2021 08:133kB
PLIST09-Feb-2021 22:37394kB
distinfo09-Feb-2021 22:371kB
options.mk09-Feb-2021 22:374kB
patches/30-Mar-2021 11:231kB