nixsearch / pkg / python313Packages.model-checker
python313Packages.model-checker
Hyperintensional theorem prover for counterfactual conditionals and modal operators
version1.3.9
attributepython313Packages.model-checker
revd54020a6ac3211e9f4201631bdf67678818c0cdf · one commit for every system
systems✓ aarch64-darwin✓ aarch64-linuxx86_64-darwin✓ x86_64-linux
$ devbox add python313Packages.model-checker@1.3.9
$ nix shell github:NixOS/nixpkgs/d54020a6ac3211e9f4201631bdf67678818c0cdf#python313Packages.model-checker
JSON: /v2/resolve?name=python313Packages.model-checker&version=latest
Releases
newest first, as/v2/pkg orders them
| Version | arm mac | arm linux | x86 mac | x86 linux | Attribute | Commit | Date | Outputs |
|---|---|---|---|---|---|---|---|---|
| 1.3.9resolved | ✓ | ✓ | – | ✓ | python313Packages.model-checker |
02f5696b0e | out, dist | |
| 1.3.3 | ✓ | ✓ | – | ✓ | python313Packages.model-checker |
c27cdad491 | out, dist | |
| 1.2.12 | ✓ | ✓ | ✓ | ✓ | python313Packages.model-checker |
varies | out, dist | |
| 1.2.11 | ✓ | ✓ | ✓ | ✓ | python313Packages.model-checker |
01b6809f7f | out, dist | |
| 1.2.10 | ✓ | ✓ | ✓ | ✓ | python313Packages.model-checker |
varies | out, dist | |
| 1.0.2 | ✓ | ✓ | ✓ | ✓ | python313Packages.model-checker |
f4b140d5b2 | out, dist | |
| 0.9.35 | ✓ | ✓ | ✓ | ✓ | python313Packages.model-checker |
a3f3e3f2c9 | out, dist | |
| 0.9.31 | ✓ | ✓ | ✓ | ✓ | python313Packages.model-checker |
648f70160c | out, dist | |
| 0.9.28 | ✓ | ✓ | ✓ | ✓ | python313Packages.model-checker |
b74a30dbc0 | out, dist | |
| 0.9.26 | ✓ | ✓ | ✓ | ✓ | python313Packages.model-checker |
a421ac6595 | out, dist | |
| 0.9.21 | ✓ | ✓ | ✓ | ✓ | python313Packages.model-checker |
076e8c6678 | out, dist | |
| 0.9.20 | ✓ | ✓ | ✓ | ✓ | python313Packages.model-checker |
e314d5c6d3 | out, dist | |
| 0.9.19 | ✓ | ✓ | ✓ | ✓ | python313Packages.model-checker |
varies | out, dist | |
| 0.9.18 | ✓ | ✓ | ✓ | ✓ | python313Packages.model-checker |
29335f23be | out, dist | |
| 0.9.17 | ✓ | ✓ | ✓ | ✓ | python313Packages.model-checker |
507b63021a | out, dist | |
| 0.9.16 | ✓ | ✓ | ✓ | ✓ | python313Packages.model-checker |
ebe4301cbd | out, dist | |
| 0.8.25 | ✓ | ✓ | ✓ | ✓ | python313Packages.model-checker |
varies | out, dist | |
| 0.8.20 | ✓ | ✓ | ✓ | ✓ | python313Packages.model-checker |
b0b4b5f8f6 | out, dist | |
| 0.8.19 | ✓ | ✓ | ✓ | ✓ | python313Packages.model-checker |
74a4041036 | out, dist | |
| 0.8.13 | ✓ | ✓ | ✓ | ✓ | python313Packages.model-checker |
2bfc080955 | out, dist | |
| 0.8.8 | ✓ | ✓ | ✓ | ✓ | python313Packages.model-checker |
varies | out, dist | |
| 0.8.6 | ✓ | ✓ | ✓ | ✓ | python313Packages.model-checker |
varies | out, dist | |
| 0.8.5 | ✓ | ✓ | ✓ | ✓ | python313Packages.model-checker |
6c5c5f5100 | out, dist | |
| 0.8.2 | ✓ | ✓ | ✓ | ✓ | python313Packages.model-checker |
2d068ae5c6 | out, dist | |
| 0.7.17 | ✓ | ✓ | ✓ | ✓ | python313Packages.model-checker |
d98abf5cf5 | out, dist | |
| 0.7.3 | ✓ | ✓ | ✓ | ✓ | python313Packages.model-checker |
50165c4f7e | out, dist | |
| 0.7.1 | ✓ | ✓ | ✓ | ✓ | python313Packages.model-checker |
32af3611f6 | out, dist | |
| 0.6.10 | ✓ | ✓ | ✓ | ✓ | python313Packages.model-checker |
3df3c47c19 | out, dist | |
| 0.6.6 | ✓ | ✓ | ✓ | ✓ | python313Packages.model-checker |
9e09ce2d47 | out, dist | |
| 0.6.2 | ✓ | ✓ | ✓ | ✓ | python313Packages.model-checker |
7cc0bff31a | out, dist | |
| 0.5.6 | ✓ | ✓ | ✓ | ✓ | python313Packages.model-checker |
de1864217b | out, dist |
Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.