Index of /cvsroot/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                                         07-Jan-2026 08:47              374307
PLIST,v                                            20-Dec-2025 21:46             1673438
distinfo,v                                         20-Dec-2025 21:46              122795
options.mk,v                                       06-Jan-2026 11:18               34566