nixsearch / pkg / coqPackages.jasmin / 2025.02.0
coqPackages.jasmin 2025.02.0
Jasmin language & verified compiler
Linux and macOS
last changed
Pin this version
$ devbox add coqPackages.jasmin@2025.02.0
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commita3f3e3f2c983e957af6b07a1db98bafd1f87b7a1
$ nix shell github:NixOS/nixpkgs/a3f3e3f2c983e957af6b07a1db98bafd1f87b7a1#coqPackages.jasmin
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
coqPackages.jasmin |
a3f3e3f2c983 | out/nix/store/j1w4mgvbzpis7f1fs10yd3h8ggci1hxh-coq9.0-jasmin-2025.02.0 |
||
aarch64-linuxLinux · arm64 |
coqPackages.jasmin |
a3f3e3f2c983 | out/nix/store/qyl5w6ay9g2rr5qz7hz3r1mq74shf699-coq9.0-jasmin-2025.02.0 |
||
x86_64-darwinmacOS · x86-64 |
coqPackages.jasmin |
a3f3e3f2c983 | out/nix/store/bhy0vq6mldavj2bbdfddm9qaabzl2jzz-coq9.0-jasmin-2025.02.0 |
||
x86_64-linuxLinux · x86-64 |
coqPackages.jasmin |
a3f3e3f2c983 | out/nix/store/80lfc9rggqsm7gbabq53g0hazbi1qrj3-coq9.0-jasmin-2025.02.0 |
JSON: /v2/pkg?name=coqPackages.jasmin · /v2/resolve?name=coqPackages.jasmin&version=2025.02.0