nixsearch / pkg / coqPackages.jasmin / 2024.07.2
coqPackages.jasmin 2024.07.2
Jasmin language & verified compiler
Linux and macOS
last changed
Pin this version
$ devbox add coqPackages.jasmin@2024.07.2
$ nix shell github:NixOS/nixpkgs/212518a3623f5451efad314323e2c6b847eab45a#coqPackages.jasmin
$ nix shell github:NixOS/nixpkgs/0d534853a55b5d02a4ababa1d71921ce8f0aee4c#coqPackages.jasmin
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
coqPackages.jasmin |
212518a3623f | out/nix/store/lc3f0xiikv6br4ahpgg3mzp9w62q0mqk-coq8.20-jasmin-2024.07.2 |
||
aarch64-linuxLinux · arm64 |
coqPackages.jasmin |
0d534853a55b | out/nix/store/z01z6x47z0prhic4v4g7v9j46hj98a8y-coq8.20-jasmin-2024.07.2 |
||
x86_64-darwinmacOS · x86-64 |
coqPackages.jasmin |
0d534853a55b | out/nix/store/5pn16dlv95jv406cg2fwmhn728abidg1-coq8.20-jasmin-2024.07.2 |
||
x86_64-linuxLinux · x86-64 |
coqPackages.jasmin |
212518a3623f | out/nix/store/iq28b1fp23k7k6202hzmf4jwnda8v86r-coq8.20-jasmin-2024.07.2 |
JSON: /v2/pkg?name=coqPackages.jasmin · /v2/resolve?name=coqPackages.jasmin&version=2024.07.2