Index of /cvsroot/pkgsrc/lang/coq/

../
Attic/                                             21-Jun-2022 02:21                   -
patches/                                           30-Jun-2025 09:02                   -
DESCR,v                                            30-Jun-2025 09:01                6013
Makefile,v                                         07-Jul-2025 03:04              373265
PLIST,v                                            30-Jun-2025 09:01             1673340
distinfo,v                                         30-Jun-2025 09:01              122697
options.mk,v                                       30-Jun-2025 09:01               33846