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

NameLast modifiedSize
Parent Directory26-Apr-2024 01:0312kB
CVS/01-Apr-2024 14:011kB
DESCR22-Mar-2003 20:211kB
Makefile14-Nov-2023 14:023kB
PLIST21-Jun-2022 02:21305kB
distinfo21-Jun-2022 02:211kB
options.mk07-Nov-2023 22:384kB
patches/01-Apr-2024 13:591kB