Dima Panov e1287d0d12 */*: bump libboost*.so libraries consumert after Boost upgrade

2023-01-16 22:32:07 +03:00

..

distinfo

math/cryptominisat: Update to 5.11.4

2022-10-15 18:48:57 +03:00

Makefile

*/*: bump libboost*.so libraries consumert after Boost upgrade

2023-01-16 22:32:07 +03:00

pkg-descr

Remove WWW entries moved into port Makefiles

2022-09-07 23:58:51 +02:00

pkg-plist

math/cryptominisat: Add a missing item to the plist.

2022-10-17 11:04:26 +03:00