pkgsrc.se | The NetBSD package collection

Back
Package history:
Update frequency

(2024-11-11) Package updated to version: py312-smt-0.9.6
(2024-11-11) Some files were modified
(2024-08-07) Package updated to version: py311-smt-0.9.6
(2024-08-07) Some files were modified
(2024-08-07) Package updated to version: py311-PySMT-0.9.6
(2024-08-07) Some files were modified
(2023-05-11) Some files were modified
(2023-02-09) Some files were modified
(2023-01-09) Some files were modified
(2023-01-09) Package updated to version: py310-smt-0.9.5
(2022-01-05) Some files were modified
(2022-01-05) Package updated to version: py39-smt-0.9.0nb2
(2022-01-05) Some files were modified
(2022-01-05) Package updated to version: py39-smt-0.9.0nb1
(2021-12-01) Some files were modified
(2021-10-26) Some files were modified
(2021-10-07) Package updated to version: py39-smt-0.9.0
(2021-10-07) Some files were modified
(2020-08-19) Package added to pkgsrc, version 0.9.0 (py37-smt-0.9.0) (created)