Index of /cvsroot/pkgsrc/lang/coq/

../
Attic/                                             21-Jun-2022 02:21                   -
patches/                                           25-Mar-2026 21:30                   -
DESCR,v                                            25-Mar-2026 21:30                6184
Makefile,v                                         25-Mar-2026 21:30              375184
PLIST,v                                            25-Mar-2026 21:30             1673488
distinfo,v                                         25-Mar-2026 21:30              122845
options.mk,v                                       25-Mar-2026 21:30               34615