nixsearch / pkg / emacsPackages.proof-general
emacsPackages.proof-general
version20260825.1221
attributeemacsPackages.proof-general
revf45c6f04c2f013f004bf94e284e95d72898d9393 · one commit for every system
systems✓ aarch64-darwin✓ aarch64-linuxx86_64-darwin✓ x86_64-linux
$ devbox add emacsPackages.proof-general@20260825.1221
$ nix shell github:NixOS/nixpkgs/f45c6f04c2f013f004bf94e284e95d72898d9393#emacsPackages.proof-general
JSON: /v2/resolve?name=emacsPackages.proof-general&version=latest
Releases
newest first, as/v2/pkg orders them
| Version | arm mac | arm linux | x86 mac | x86 linux | Attribute | Commit | Date | Outputs |
|---|---|---|---|---|---|---|---|---|
| 20260825.1221resolved | ✓ | ✓ | – | ✓ | emacsPackages.proof-general |
varies | ||
| 20260622.1503 | ✓ | ✓ | ✓ | ✓ | emacsPackages.proof-general |
varies | ||
| 20260124.1351 | ✓ | ✓ | ✓ | ✓ | emacsPackages.proof-general |
173d0ad7a9 | ||
| 20260113.1228 | ✓ | ✓ | ✓ | ✓ | emacsPackages.proof-general |
varies | ||
| 20251120.1746 | ✓ | ✓ | ✓ | ✓ | emacsPackages.proof-general |
varies | ||
| 20250915.1038 | ✓ | ✓ | ✓ | ✓ | emacsPackages.proof-general |
ee09932ced | ||
| 20250623.2108 | ✓ | ✓ | ✓ | ✓ | emacsPackages.proof-general |
8b5c9dd885 | ||
| 20250527.1439 | ✓ | ✓ | ✓ | ✓ | emacsPackages.proof-general |
varies | ||
| 20250516.913 | ✓ | ✓ | ✓ | ✓ | emacsPackages.proof-general |
varies | ||
| 20250402.804 | ✓ | ✓ | ✓ | ✓ | emacsPackages.proof-general |
12a5540765 | ||
| 20250125.1556 | ✓ | ✓ | ✓ | ✓ | emacsPackages.proof-general |
varies | ||
| 20241126.32 | ✓ | ✓ | ✓ | ✓ | emacsPackages.proof-general |
50165c4f7e | ||
| 20240912.1558 | ✓ | ✓ | ✓ | ✓ | emacsPackages.proof-general |
566e53c2ad | ||
| 20240708.1525 | ✓ | ✓ | ✓ | ✓ | emacsPackages.proof-general |
d4f247e89f | ||
| 20240513.720 | ✓ | ✓ | ✓ | ✓ | emacsPackages.proof-general |
b60793b862 | ||
| 20240425.939 | ✓ | ✓ | ✓ | ✓ | emacsPackages.proof-general |
3f316d2a50 | ||
| 20240306.2002 | ✓ | ✓ | ✓ | ✓ | emacsPackages.proof-general |
5fd8536a9a | ||
| 20240223.1405 | ✓ | ✓ | ✓ | ✓ | emacsPackages.proof-general |
varies | ||
| 20240123.1014 | ✓ | ✓ | ✓ | ✓ | emacsPackages.proof-general |
9a9dae8f63 | ||
| 20231005.1645 | ✓ | ✓ | ✓ | ✓ | emacsPackages.proof-general |
dd7b7a8f7b | ||
| 20230414.931 | ✓ | ✓ | ✓ | ✓ | emacsPackages.proof-general |
517501bcf1 | ||
| 20230326.2334 | ✓ | ✓ | ✓ | ✓ | emacsPackages.proof-general |
96ba1c52e5 | ||
| 20230130.1024 | ✓ | ✓ | ✓ | ✓ | emacsPackages.proof-general |
98f3b08f58 | ||
| 20220930.1309 | ✓ | ✓ | ✓ | ✓ | emacsPackages.proof-general |
0a25e2c87e |
Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.