Index of /pub/NetBSD-CVS/pkgsrc/lang/coq/

../
Attic/                                             21-Jun-2022 02:21                   -
patches/                                           30-Mar-2025 02:00                   -
DESCR,v                                            30-Mar-2025 02:00                5956
Makefile,v                                         24-Apr-2025 14:14              372910
PLIST,v                                            30-Mar-2025 02:00             1673291
distinfo,v                                         30-Mar-2025 02:00              122648
options.mk,v                                       30-Mar-2025 02:00               33797