Index of /pub/NetBSD/packages/pkgsrc/lang/coq/

Name                                     Last modified          Size

Parent Directory                         08-Sep-2008 01:04         4kB
CVS/                                     28-Apr-2008 01:14         0kB
patches/                                 13-Jan-2008 01:05         0kB
PLIST.opt                                28-Apr-2008 01:14         0kB
Makefile                                 28-Apr-2008 01:14         1kB
DESCR                                    22-Mar-2003 20:21         0kB
MESSAGE                                  22-Mar-2003 20:21         0kB
README.html                              04-Sep-2008 07:25         4kB
PLIST                                    13-Apr-2008 01:05        13kB
distinfo                                 13-Jan-2008 01:05         0kB