Index of /MacPorts/release/ports/math/minisat/files/


../
configure                                          16-Nov-2020 23:40      85
patch-friend-declaration.diff                      16-Nov-2020 23:40     917
patch-mtl-template.mk.diff                         16-Nov-2020 23:40    2070
patch-simp-Makefile.diff                           16-Nov-2020 23:40     232
patch-utils-System.cc.diff                         16-Nov-2020 23:40     348