nixsearch
nixsearch / pkg / isabelle / 2022

isabelle 2022

Generic proof assistant
Linux and macOS last changed

Pin this version

$ devbox add isabelle@2022
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit2873a73123077953f3e6f34964466018876d87c4 
$ nix shell github:NixOS/nixpkgs/2873a73123077953f3e6f34964466018876d87c4#isabelle

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 isabelle 2873a7312307
out
/nix/store/qlq2b19xm27gkfywl8wvxb0ld2vsa83a-isabelle-2022
aarch64-linux
Linux · arm64		 isabelle 2873a7312307
out
/nix/store/3r67s3clmvcvfavqs63dj5dia1p7y74d-isabelle-2022
x86_64-darwin
macOS · x86-64		 isabelle 2873a7312307
out
/nix/store/m58cfw3wm5234ykx0mhamvm8dy62hlj7-isabelle-2022
x86_64-linux
Linux · x86-64		 isabelle 2873a7312307
out
/nix/store/7sgbazr4sv7ji1v00daj3828ja4lqkd5-isabelle-2022
← newer: 2023 all 10 releases older: 2021-1 →

JSON: /v2/pkg?name=isabelle · /v2/resolve?name=isabelle&version=2022