Index of /cvsroot/pkgsrc/math/coq/Attic/

../
DESCR,v                                            02-Jul-2013 00:08                2455
MESSAGE,v                                          02-Jul-2013 00:08                2827
Makefile,v                                         02-Jul-2013 00:08                2851
PLIST,v                                            02-Jul-2013 00:08               11336
PLIST.opt,v                                        02-Jul-2013 00:08                2336
distinfo,v                                         02-Jul-2013 00:08                2390