Index of /pub/NetBSD-CVS/pkgsrc/lang/coq/

../
Attic/                                             21-Jun-2022 02:21                   -
patches/                                           21-Sep-2026 18:24                   -
DESCR,v                                            21-Sep-2026 18:23                6298
Makefile,v                                         29-Sep-2026 06:06              376427
PLIST,v                                            21-Sep-2026 18:23             1673588
distinfo,v                                         21-Sep-2026 18:23              122945
options.mk,v                                       21-Sep-2026 18:23               34713