Index of pub/pkgsrc/current/pkgsrc/lang/coq/index.html

Name                                     Last modified          Size

Parent Directory                         27-May-2012 01:15         5kB
CVS/                                     28-Apr-2012 01:00         0kB
DESCR                                    22-Mar-2003 20:21         0kB
MESSAGE                                  22-Mar-2003 20:21         0kB
Makefile                                 28-Apr-2012 01:00         1kB
PLIST                                    15-Nov-2010 01:02        32kB
PLIST.natdynlink                         14-Nov-2010 20:53         1kB
PLIST.opt                                15-Nov-2010 01:02         0kB
README.html                              12-May-2012 07:14         6kB
distinfo                                 29-Mar-2011 01:02         0kB
patches/                                 29-Mar-2011 01:02         0kB