pkgsrc.se | The NetBSD package collection

Back
Package history:
Update frequency

(2024-08-13) Package updated to version: py312-z3-4.13.0
(2024-08-13) Some files were modified
(2024-01-23) Some files were modified
(2024-01-23) Package updated to version: py311-z3-4.12.5
(2023-05-16) Some files were modified
(2023-05-11) Some files were modified
(2023-05-11) Package updated to version: py310-z3-4.12.1
(2021-12-01) Some files were modified
(2021-12-01) Package updated to version: py39-z3-4.8.3
(2020-06-01) Some files were modified
(2019-11-02) Package updated to version: py37-z3-4.8.3
(2019-11-02) Some files were modified
(2018-12-23) Some files were modified
(2018-12-23) Package updated to version: py27-z3-4.8.3
(2018-03-13) Package added to pkgsrc, version 4.5.0 (py27-z3-4.5.0) (created)