nixsearch / pkg / coqPackages.jasmin / 2025.06.1
coqPackages.jasmin 2025.06.1
Jasmin language & verified compiler
Linux and macOS
last changed
Pin this version
$ devbox add coqPackages.jasmin@2025.06.1
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit12c1f0253aa9a54fdf8ec8aecaafada64a111e24
$ nix shell github:NixOS/nixpkgs/12c1f0253aa9a54fdf8ec8aecaafada64a111e24#coqPackages.jasmin
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
coqPackages.jasmin |
12c1f0253aa9 | out/nix/store/a0ljlbvllbfpcwizhf9crpwmq74jsi0k-coq9.0-jasmin-2025.06.1 |
||
aarch64-linuxLinux · arm64 |
coqPackages.jasmin |
12c1f0253aa9 | out/nix/store/wqg59by236a1r4xl1r17n5l4c79a9ra2-coq9.0-jasmin-2025.06.1 |
||
x86_64-darwinmacOS · x86-64 |
coqPackages.jasmin |
12c1f0253aa9 | out/nix/store/hxs726zb3zv35ff9nzlpabqsx90xqnxh-coq9.0-jasmin-2025.06.1 |
||
x86_64-linuxLinux · x86-64 |
coqPackages.jasmin |
12c1f0253aa9 | out/nix/store/8qhs6zahv0lhx7r3lkvgfabyb3m3wnpy-coq9.0-jasmin-2025.06.1 |
JSON: /v2/pkg?name=coqPackages.jasmin · /v2/resolve?name=coqPackages.jasmin&version=2025.06.1