nixsearch / pkg / python310Packages.pysmt
python310Packages.pysmt
Python library for SMT formulae manipulation and solving
version0.9.5
attributepython310Packages.pysmt
revfd04bea4cbf76f86f244b9e2549fca066db8ddff · one commit for every system
systems✓ aarch64-darwin✓ aarch64-linux✓ x86_64-darwin✓ x86_64-linux
$ devbox add python310Packages.pysmt@0.9.5
$ nix shell github:NixOS/nixpkgs/fd04bea4cbf76f86f244b9e2549fca066db8ddff#python310Packages.pysmt
JSON: /v2/resolve?name=python310Packages.pysmt&version=latest
Releases
newest first, as/v2/pkg orders them
| Version | arm mac | arm linux | x86 mac | x86 linux | Attribute | Commit | Date | Outputs |
|---|---|---|---|---|---|---|---|---|
| 0.9.5resolved | ✓ | ✓ | ✓ | ✓ | python310Packages.pysmt |
fd04bea4cb | out, dist | |
| 0.9.1.dev132 | ✓ | ✓ | ✓ | ✓ | python310Packages.pysmt |
0c4852c7bc |
Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.