| Age | Commit message (Expand) | Author |
|---|---|---|
| 2023-01-21 | treewide: switch to nativeCheckInputs | Guillaume Girol |
| 2022-07-03 | python310Packages.pysmt: 0.9.1.dev132 -> 0.9.5 | Fabian Affolter |
| 2021-05-24 | python3packages.pysmt: 0.9.0 -> 0.9.1.dev132 | Fabian Affolter |
| 2021-02-09 | python3Packages.pysmt: init at 0.9.0 | Fabian Affolter |
 |
index : nixos/nixpkgs.git | |
| Nix Packages collection | Octavian Cerna |
| summaryrefslogtreecommitdiff |