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