Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/cryptominisat
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/cryptominisat: enable python supportMaciej Barć2024-06-132-1/+69
* sci-mathematics/cryptominisat: patch unistd includeMaciej Barć2024-06-132-0/+16
* sci-mathematics/cryptominisat: drop old 5.11.15Maciej Barć2024-06-132-40/+0
* sci-mathematics/cryptominisat: bump to 5.11.21Maciej Barć2024-02-142-0/+41
* sci-mathematics/cryptominisat: drop old 5.11.14Maciej Barć2024-02-142-40/+0
* sci-mathematics/cryptominisat: bump to 5.11.15Maciej Barć2023-10-222-0/+40
* sci-mathematics/cryptominisat: drop old 5.11.12Maciej Barć2023-10-222-38/+0
* sci-mathematics/cryptominisat: drop old 5.11.11Maciej Barć2023-10-222-38/+0
* sci-mathematics/cryptominisat: bump to 5.11.14Maciej Barć2023-09-242-0/+40
* sci-mathematics/cryptominisat: drop old 5.11.4Maciej Barć2023-08-133-52/+0
* sci-mathematics/cryptominisat: bump to 5.11.12Maciej Barć2023-08-132-0/+38
* sci-mathematics/cryptominisat: bump to 5.11.11Maciej Barć2023-06-252-0/+38
* sci-mathematics/cryptominisat: fix build with GCC 13Maciej Barć2023-04-182-0/+13
* sci-mathematics/cryptominisat: drop old 5.8.0Maciej Barć2023-04-183-67/+0
* */*: remove py3.8 from PYTHON_COMPATDavid Seifert2023-01-141-2/+2
* sci-mathematics/cryptominisat: bump to 5.11.4Maciej Barć2023-01-122-0/+39
* sci-mathematics/cryptominisat: fix sysconfig importMaciej Barć2022-04-032-1/+26
* sci-mathematics/cryptominisat: new package; add version 5.8.0Maciej Barć2021-12-263-0/+62