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