Gleb Popov 7e177f3a69 math/cryptominisat: Update to 5.11.15 ... Reported by: repology		2023-12-29 23:27:15 +03:00
..
distinfo	math/cryptominisat: Update to 5.11.15	2023-12-29 23:27:15 +03:00
Makefile	math/cryptominisat: Update to 5.11.15	2023-12-29 23:27:15 +03:00
pkg-descr
pkg-plist