Index of ftp://ftp2.fr.netbsd.org/pub/NetBSD-CVS/pkgsrc/lang/coq

[DIR] Parent Directory

[DIR] Attic  512.00b  June 21 2022
[ ] DESCR,v  5.43Kb  June 26 2023 at 12:38  [find mirrors]
[ ] Makefile,v  356.75Kb  August 14 2023 at 07:24  [find mirrors]
[ ] PLIST,v  1.07Mb  June 26 2023 at 12:38  [find mirrors]
[ ] distinfo,v  118.42Kb  June 26 2023 at 12:38  [find mirrors]
[ ] options.mk,v  30.42Kb  June 26 2023 at 12:38  [find mirrors]
[DIR] patches  512.00b  June 26 2023 at 12:39