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


../
CVS/                                               29-Jun-2020 21:36                   -
patches/                                           29-Jun-2020 21:32                   -
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