Index of /ports/math/minisat/files/

Icon  Name                          Last modified      Size  
[PARENTDIR] Parent Directory                                   -   
[   ] configure                     2020-11-16 23:40   85   
[TXT] patch-friend-declaration.diff 2020-11-16 23:40  917   
[TXT] patch-mtl-template.mk.diff    2020-11-16 23:40  2.0K  
[TXT] patch-simp-Makefile.diff      2020-11-16 23:40  232   
[TXT] patch-utils-System.cc.diff    2020-11-16 23:40  348