Gleb Popov eade3b3c0e math/cryptominisat: Update to 5.11.11 ... Reported by: portscout!		2023-07-01 16:37:49 +03:00
..
distinfo	math/cryptominisat: Update to 5.11.11	2023-07-01 16:37:49 +03:00
Makefile	math/cryptominisat: Update to 5.11.11	2023-07-01 16:37:49 +03:00
pkg-descr
pkg-plist