|
patches
|
math/minisat: Fix for clang 6.
|
2018-04-11 14:36:14 +00:00 |
|
pkg
|
Update to latest git master.
|
2017-08-20 16:39:44 +00:00 |
|
distinfo
|
Update to latest git master.
|
2017-08-20 16:39:44 +00:00 |
|
Makefile
|
Update to latest git master.
|
2017-08-20 16:39:44 +00:00 |
