aboutsummaryrefslogtreecommitdiff
path: root/math/py-cryptominisat/distinfo
Commit message (Expand)AuthorAgeFilesLines
* math/py-cryptominisat: Update to 5.11.11Gleb Popov2023-07-011-3/+3
* math/py-cryptominisat: Update to 5.11.4Gleb Popov2022-10-151-3/+3
* math/cryptominisat and math/py-cryptominisat: Update to 5.8.0.Gleb Popov2020-10-191-3/+3
* math/cryptominisat and math/py-cryptominisat: Update to 5.7.1Gleb Popov2020-07-091-3/+3
* math/cryptominisat and math/py-cryptominisat to 5.6.8.Gleb Popov2019-02-231-3/+3
* math/cryptominisat: Update to 5.6.3.Gleb Popov2018-08-101-3/+3
* math/cryptominisat and math/py-cryptominisat: Update to 5.6.1.Gleb Popov2018-06-171-3/+3
* - Update math/cryptominisat and math/py-cryptominisat to 5.0.0Carlos J. Puga Medina2016-09-011-2/+3
* math/{py-}cryptominisat: Update to 4.5.3Kubilay Kocak2016-01-061-0/+2