nixsearch
nixsearch / pkg / coqPackages.jasmin / 2026.03.3

coqPackages.jasmin 2026.03.3

Jasmin language & verified compiler
Linux and macOS (Apple Silicon only) last changed

Pin this version

$ devbox add coqPackages.jasmin@2026.03.3
systemsaarch64-darwin, aarch64-linux, x86_64-linux commitaa48d347080940b8a2b8d2f48228674e280a3514 
$ nix shell github:NixOS/nixpkgs/aa48d347080940b8a2b8d2f48228674e280a3514#coqPackages.jasmin

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coqPackages.jasmin aa48d3470809
out
/nix/store/6kn36jsx4zd69fxw2dl5hzc56baj3gz2-coq9.1-jasmin-2026.03.3
aarch64-linux
Linux · arm64		 coqPackages.jasmin aa48d3470809
out
/nix/store/fqgfi18mz8a0x49g9ygci9zg92ngcyxb-coq9.1-jasmin-2026.03.3
x86_64-linux
Linux · x86-64		 coqPackages.jasmin aa48d3470809
out
/nix/store/bkfalwv9gyly1lgk2v35vigvynjmdpz4-coq9.1-jasmin-2026.03.3
all 5 releases older: 2026.03.1 →

JSON: /v2/pkg?name=coqPackages.jasmin · /v2/resolve?name=coqPackages.jasmin&version=2026.03.3