Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | *: apply refactor.remove-consecutive-empty-lines | Tobias Kortkamp | 2021-10-19 | 1 | -1/+0 |
| | | | | Submitted by: portedit | ||||
* | One more small cleanup, forgotten yesterday. | Mathieu Arnold | 2021-04-07 | 1 | -1/+0 |
| | | | | Reported by: lwhsu | ||||
* | 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 |
| | | | | | | | | | | | Release notes: https://github.com/pysmt/pysmt/releases/tag/v0.9.0 Also: - Add some solvers to TEST_DEPENDS to skip less tests - Drop support for Python 2, it's not longer supported upstream Notes: svn path=/head/; revision=544530 | ||||
* | Rename math/py-PySMT to math/py-pysmt | Mateusz Piotrowski | 2020-03-08 | 3 | -0/+54 |
This is done in order to follow the policy set out by the Python team: https://wiki.freebsd.org/Python/PortsPolicy#PORTNAME Reported by: koobs Notes: svn path=/head/; revision=528050 |