Gleb Popov b637cabb60 math/cryptominisat: Add a missing item to the plist.		2022-10-17 11:04:26 +03:00
..
distinfo	math/cryptominisat: Update to 5.11.4	2022-10-15 18:48:57 +03:00
Makefile	math/cryptominisat: Update to 5.11.4	2022-10-15 18:48:57 +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