aboutsummaryrefslogtreecommitdiff
path: root/math/py-cryptominisat/Makefile
Commit message (Expand)AuthorAgeFilesLines
* python: bump all USE_PYTHON=distutils consumers after RUN_DEPENDS removalCharlie Li2025-03-081-0/+1
* math/py-cryptominisat: Update to 5.11.21Gleb Popov2024-02-111-1/+1
* math/py-cryptominisat: Update to 5.11.11Gleb Popov2023-07-011-1/+3
* all: remove explicit versions in USES=python for "3.x+"Rene Ladan2023-06-271-1/+1
* math/py-cryptominisat: Update to 5.11.4Gleb Popov2022-10-151-17/+3
* Add WWW entries to port MakefilesStefan Eßer2022-09-071-0/+1
* */*: bump all consumers after recent boost upgradeDima Panov2022-08-121-0/+1
* One more small cleanup, forgotten yesterday.Mathieu Arnold2021-04-071-1/+0
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
* Drop python 2.7 support from a few portsAntoine Brodin2020-12-281-1/+1
* Relax hardcoded paths to fix build with Python 3.8.7Kai Knoblich2020-12-241-1/+1
* math/cryptominisat and math/py-cryptominisat: Update to 5.8.0.Gleb Popov2020-10-191-1/+1
* math/cryptominisat and math/py-cryptominisat: Update to 5.7.1Gleb Popov2020-07-091-2/+1
* math/py-cryptominisat: Drop nop PYDISTUTILS_BUILDTARGETTobias Kortkamp2019-10-121-2/+0
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2019-07-261-0/+1
* math/cryptominisat and math/py-cryptominisat to 5.6.8.Gleb Popov2019-02-231-2/+3
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2018-12-121-0/+1
* math/cryptominisat: Update to 5.6.3.Gleb Popov2018-08-101-2/+1
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2018-07-291-0/+1
* math/cryptominisat and math/py-cryptominisat: Update to 5.6.1.Gleb Popov2018-06-171-7/+13
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2017-09-101-1/+1
* Bump PORTREVISIONs for ports depending on the canonical version of GCC andGerald Pfeifer2017-04-011-0/+1
* Correct dependencyChris Rees2016-09-041-1/+1
* - Update math/cryptominisat and math/py-cryptominisat to 5.0.0Carlos J. Puga Medina2016-09-011-2/+3
* Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.Mathieu Arnold2016-04-011-1/+1
* math/{py-}cryptominisat: Update to 4.5.3Kubilay Kocak2016-01-061-8/+16
* math/cryptominisat, math/py-cryptominisat: add new portsJan Beich2015-05-051-0/+24
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-02 22:06:36 +0000