Index of pub/pkgsrc/pkgsrc-2021Q2/pkgsrc/lang/coq/

NameLast modifiedSize
Parent Directory28-Sep-2021 01:0310kB
CVS/23-Jun-2021 21:161kB
DESCR22-Mar-2003 20:211kB
MESSAGE22-Mar-2003 20:211kB
Makefile21-Apr-2021 11:423kB
PLIST09-Feb-2021 22:37394kB
distinfo09-Feb-2021 22:371kB
options.mk09-Feb-2021 22:374kB
patches/23-Jun-2021 21:151kB