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

../
MESSAGE,v                                          21-Jun-2022 02:21               14788
PLIST.natdynlink,v                                 02-Jul-2013 00:08               20352
PLIST.opt,v                                        02-Jul-2013 00:08               51122