nixsearch / pkg / python312Packages.model-checker
python312Packages.model-checker
Hyperintensional theorem prover for counterfactual conditionals and modal operators
version1.2.12
attributepython312Packages.model-checker
revee09932cedcef15aaf476f9343d1dea2cb77e261 · one commit for every system
systems✓ aarch64-darwin✓ aarch64-linux✓ x86_64-darwin✓ x86_64-linux
$ devbox add python312Packages.model-checker@1.2.12
$ nix shell github:NixOS/nixpkgs/ee09932cedcef15aaf476f9343d1dea2cb77e261#python312Packages.model-checker
JSON: /v2/resolve?name=python312Packages.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.2.12resolved | ✓ | ✓ | ✓ | ✓ | python312Packages.model-checker |
ee09932ced | out, dist | |
| 1.2.11 | ✓ | ✓ | ✓ | ✓ | python312Packages.model-checker |
01b6809f7f | out, dist | |
| 1.2.10 | ✓ | ✓ | ✓ | ✓ | python312Packages.model-checker |
varies | out, dist | |
| 1.0.2 | ✓ | ✓ | ✓ | ✓ | python312Packages.model-checker |
f4b140d5b2 | out, dist | |
| 0.9.35 | ✓ | ✓ | ✓ | ✓ | python312Packages.model-checker |
a3f3e3f2c9 | out, dist | |
| 0.9.31 | ✓ | ✓ | ✓ | ✓ | python312Packages.model-checker |
648f70160c | out, dist | |
| 0.9.28 | ✓ | ✓ | ✓ | ✓ | python312Packages.model-checker |
b74a30dbc0 | out, dist | |
| 0.9.26 | ✓ | ✓ | ✓ | ✓ | python312Packages.model-checker |
a421ac6595 | out, dist | |
| 0.9.21 | ✓ | ✓ | ✓ | ✓ | python312Packages.model-checker |
076e8c6678 | out, dist | |
| 0.9.20 | ✓ | ✓ | ✓ | ✓ | python312Packages.model-checker |
e314d5c6d3 | out, dist | |
| 0.9.19 | ✓ | ✓ | ✓ | ✓ | python312Packages.model-checker |
varies | out, dist | |
| 0.9.18 | ✓ | ✓ | ✓ | ✓ | python312Packages.model-checker |
29335f23be | out, dist | |
| 0.9.17 | ✓ | ✓ | ✓ | ✓ | python312Packages.model-checker |
507b63021a | out, dist | |
| 0.9.16 | ✓ | ✓ | ✓ | ✓ | python312Packages.model-checker |
ebe4301cbd | out, dist | |
| 0.8.25 | ✓ | ✓ | ✓ | ✓ | python312Packages.model-checker |
b2b0718004 | out, dist | |
| 0.8.20 | ✓ | ✓ | ✓ | ✓ | python312Packages.model-checker |
b0b4b5f8f6 | out, dist | |
| 0.8.19 | ✓ | ✓ | ✓ | ✓ | python312Packages.model-checker |
74a4041036 | out, dist | |
| 0.8.13 | ✓ | ✓ | ✓ | ✓ | python312Packages.model-checker |
2bfc080955 | out, dist | |
| 0.8.8 | ✓ | ✓ | ✓ | ✓ | python312Packages.model-checker |
varies | out, dist | |
| 0.8.6 | ✓ | ✓ | ✓ | ✓ | python312Packages.model-checker |
0d534853a5 | out, dist | |
| 0.8.5 | ✓ | ✓ | ✓ | ✓ | python312Packages.model-checker |
6c5c5f5100 | out, dist | |
| 0.8.2 | ✓ | ✓ | ✓ | ✓ | python312Packages.model-checker |
2d068ae5c6 | out, dist | |
| 0.7.17 | ✓ | ✓ | ✓ | ✓ | python312Packages.model-checker |
d98abf5cf5 | out, dist | |
| 0.7.3 | ✓ | ✓ | ✓ | ✓ | python312Packages.model-checker |
50165c4f7e | out, dist | |
| 0.7.1 | ✓ | ✓ | ✓ | ✓ | python312Packages.model-checker |
32af3611f6 | out, dist | |
| 0.6.10 | ✓ | ✓ | ✓ | ✓ | python312Packages.model-checker |
3df3c47c19 | out, dist | |
| 0.6.6 | ✓ | ✓ | ✓ | ✓ | python312Packages.model-checker |
9e09ce2d47 | out, dist | |
| 0.6.2 | ✓ | ✓ | ✓ | ✓ | python312Packages.model-checker |
7cc0bff31a | out, dist | |
| 0.5.6 | ✓ | ✓ | ✓ | ✓ | python312Packages.model-checker |
varies | out, dist | |
| 0.4.12 | ✓ | ✓ | ✓ | ✓ | python312Packages.model-checker |
0cb2fd7c59 | out, dist | |
| 0.4.9 | ✓ | ✓ | ✓ | ✓ | python312Packages.model-checker |
b60793b862 | out, dist | |
| 0.4.4 | ✓ | ✓ | ✓ | ✓ | python312Packages.model-checker |
f7207adcc6 | out, dist | |
| 0.3.21 | ✓ | ✓ | ✓ | ✓ | python312Packages.model-checker |
3305b2b25e | 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.