Index of /pkgsrc/stable/pkgsrc/math/minisat/


../
CVS/                                               04-Oct-2019 21:27                   -
patches/                                           04-Oct-2019 21:24                   -
DESCR                                              28-Oct-2013 12:15                 146
Makefile                                           18-Jul-2018 08:06                 724
PLIST                                              28-Oct-2013 12:15                  77
distinfo                                           04-Nov-2015 07:33                 549