Index of /macports/trunk/dports/math/minisat/files

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[TXT]patch-utils-System.cc.diff2020-11-17 00:40 348
[TXT]patch-simp-Makefile.diff2020-11-17 00:40 232
[TXT]patch-mtl-template.mk.diff2020-11-17 00:40 2.0K
[TXT]patch-friend-declaration.diff2020-11-17 00:40 917
[   ]configure2020-11-17 00:40 85

Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80