Index of /debian/pkgsrc/pkgsrc/lang/coq/

../
CVS/                                               04-Nov-2017 01:00                   -
patches/                                           04-Nov-2017 01:00                   -
DESCR                                              22-Mar-2003 20:21                 306
MESSAGE                                            22-Mar-2003 20:21                 663
Makefile                                           04-Nov-2017 01:00                2382
PLIST                                              04-Nov-2017 01:00              313636
distinfo                                           04-Nov-2017 01:00                 604
options.mk                                         11-Oct-2014 01:29                1653