nixsearch / pkg / coqPackages.MenhirLib / 20250903
coqPackages.MenhirLib 20250903
Support library for verified Coq parsers produced by Menhir
Linux and macOS
last changed
Pin this version
$ devbox add coqPackages.MenhirLib@20250903
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit26eaeac4e409d7b5a6bf6f90a2a2dc223c78d915
$ nix shell github:NixOS/nixpkgs/26eaeac4e409d7b5a6bf6f90a2a2dc223c78d915#coqPackages.MenhirLib
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
coqPackages.MenhirLib |
26eaeac4e409 | out/nix/store/wj1mk07k75bd0a3mxqj6dkvd5haa6029-coq9.0-MenhirLib-20250903 |
||
aarch64-linuxLinux · arm64 |
coqPackages.MenhirLib |
26eaeac4e409 | out/nix/store/9sc30cshcbjyagwiqj6p8spwh23gwaa1-coq9.0-MenhirLib-20250903 |
||
x86_64-darwinmacOS · x86-64 |
coqPackages.MenhirLib |
26eaeac4e409 | out/nix/store/vrnjq3ql91jxx0z861f2yhszhjbj8bh9-coq9.0-MenhirLib-20250903 |
||
x86_64-linuxLinux · x86-64 |
coqPackages.MenhirLib |
26eaeac4e409 | out/nix/store/57nwpdxigqfzp8y4j1bdffh94n02mnrk-coq9.0-MenhirLib-20250903 |
JSON: /v2/pkg?name=coqPackages.MenhirLib · /v2/resolve?name=coqPackages.MenhirLib&version=20250903