Index of /cvsroot/pkgsrc/lang/coq/

../
Attic/                                             21-Jun-2022 02:21                   -
patches/                                           20-Sep-2025 13:24                   -
DESCR,v                                            20-Sep-2025 13:24                6070
Makefile,v                                         20-Sep-2025 13:24              373593
PLIST,v                                            20-Sep-2025 13:24             1673389
distinfo,v                                         20-Sep-2025 13:24              122746
options.mk,v                                       09-Oct-2025 07:57               34196