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

../
Attic/                                             21-Jun-2022 02:21                   -
patches/                                           20-Dec-2025 21:47                   -
DESCR,v                                            20-Dec-2025 21:46                6127
Makefile,v                                         20-Dec-2025 21:46              374055
PLIST,v                                            20-Dec-2025 21:46             1673438
distinfo,v                                         20-Dec-2025 21:46              122795
options.mk,v                                       20-Dec-2025 21:46               34245