| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | python: bump all USE_PYTHON=distutils consumers after RUN_DEPENDS removal | Charlie Li | 2025-03-08 | 1 | -0/+1 |
| * | math/py-pysmt: update 0.9.0 → 0.9.6 | Yuri Victorovich | 2024-07-18 | 2 | -11/+7 |
| * | all: remove explicit versions in USES=python for "3.x+" | Rene Ladan | 2023-06-27 | 1 | -1/+1 |
| * | math/py-pysmt: Test dependency changed to CVC5 | Yuri Victorovich | 2023-01-04 | 1 | -1/+1 |
| * | Remove WWW entries moved into port Makefiles | Stefan Eßer | 2022-09-07 | 1 | -2/+0 |
| * | Add WWW entries to port Makefiles | Stefan Eßer | 2022-09-07 | 1 | -0/+1 |
| * | *: apply refactor.remove-consecutive-empty-lines | Tobias Kortkamp | 2021-10-19 | 1 | -1/+0 |
| * | One more small cleanup, forgotten yesterday. | Mathieu Arnold | 2021-04-07 | 1 | -1/+0 |
| * | Remove # $FreeBSD$ from Makefiles. | Mathieu Arnold | 2021-04-06 | 1 | -1/+0 |
| * | math/py-pysmt: Update to 0.9.0 | Mateusz Piotrowski | 2020-08-08 | 2 | -7/+10 |
| * | Rename math/py-PySMT to math/py-pysmt | Mateusz Piotrowski | 2020-03-08 | 3 | -0/+54 |
