nixsearch / pkg / coqPackages.MenhirLib / 20240715
coqPackages.MenhirLib 20240715
Support library for verified Coq parsers produced by Menhir
Linux and macOS
last changed
Pin this version
$ devbox add coqPackages.MenhirLib@20240715
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit8679b16e11becd487b45d568358ddf9d5640d860
$ nix shell github:NixOS/nixpkgs/8679b16e11becd487b45d568358ddf9d5640d860#coqPackages.MenhirLib
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
coqPackages.MenhirLib |
8679b16e11be | out/nix/store/kkn2j8bnsqz52235igblsffjsbdnd3mh-coq9.0-MenhirLib-20240715 |
||
aarch64-linuxLinux · arm64 |
coqPackages.MenhirLib |
8679b16e11be | out/nix/store/bddmmf7m6pbw197nva4ica8njripaikl-coq9.0-MenhirLib-20240715 |
||
x86_64-darwinmacOS · x86-64 |
coqPackages.MenhirLib |
8679b16e11be | out/nix/store/b5m8v35dc7k0rsnrxk3ayj06ggv9nyhz-coq9.0-MenhirLib-20240715 |
||
x86_64-linuxLinux · x86-64 |
coqPackages.MenhirLib |
8679b16e11be | out/nix/store/bm0i0q1i08jkdc8j8wa83wm0i025l538-coq9.0-MenhirLib-20240715 |
JSON: /v2/pkg?name=coqPackages.MenhirLib · /v2/resolve?name=coqPackages.MenhirLib&version=20240715