pkgsrc.se | The NetBSD package collection

Back
Package history:
Update frequency

(2023-02-09) Package updated to version: py310-z3solver-4.8.9.0nb2
(2023-02-09) Some files were modified
(2022-05-09) Some files were modified
(2022-01-05) Some files were modified
(2022-01-05) Package updated to version: py39-z3solver-4.8.9.0nb2
(2022-01-05) Package updated to version: py39-z3solver-4.8.9.0nb1
(2022-01-05) Some files were modified
(2021-12-01) Some files were modified
(2021-10-26) Some files were modified
(2021-10-07) Package updated to version: py39-z3solver-4.8.9.0
(2021-10-07) Some files were modified
(2020-09-18) Package updated to version: py37-z3solver-4.8.9.0
(2020-09-18) Some files were modified
(2020-03-18) Some files were modified
(2018-03-20) Package added to pkgsrc, version 4.5.1.0.post2 (py27-z3solver-4.5.1.0.post2) (created)