Index of pub/pkgsrc/current/pkgsrc/lang/coq/

NameLast modifiedSize
Parent Directory18-Sep-2020 01:019kB
CVS/18-Aug-2020 01:001kB
DESCR22-Mar-2003 20:211kB
MESSAGE22-Mar-2003 20:211kB
Makefile18-Aug-2020 01:003kB
PLIST25-Jan-2020 01:00329kB
README.html16-Sep-2020 18:0125kB
distinfo25-Jan-2020 01:001kB
options.mk02-Mar-2020 01:003kB
patches/25-Jan-2020 01:001kB