Index of /cvsroot/pkgsrc/lang/coq/

../
Attic/                                             21-Jun-2022 02:21                   -
patches/                                           22-Jun-2026 00:36                   -
DESCR,v                                            22-Jun-2026 00:36                6241
Makefile,v                                         22-Jun-2026 00:36              375596
PLIST,v                                            22-Jun-2026 00:36             1673538
distinfo,v                                         22-Jun-2026 00:36              122895
options.mk,v                                       22-Jun-2026 00:36               34664