{"name":"coqPackages.MenhirLib","version":"20250903","summary":"Support library for verified Coq parsers produced by Menhir","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"26eaeac4e409d7b5a6bf6f90a2a2dc223c78d915"},"attr_path":"coqPackages.MenhirLib"},"last_updated":"2026-02-26T05:06:13Z","outputs":[{"name":"out","path":"/nix/store/wj1mk07k75bd0a3mxqj6dkvd5haa6029-coq9.0-MenhirLib-20250903","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"26eaeac4e409d7b5a6bf6f90a2a2dc223c78d915"},"attr_path":"coqPackages.MenhirLib"},"last_updated":"2026-02-26T05:06:13Z","outputs":[{"name":"out","path":"/nix/store/9sc30cshcbjyagwiqj6p8spwh23gwaa1-coq9.0-MenhirLib-20250903","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"26eaeac4e409d7b5a6bf6f90a2a2dc223c78d915"},"attr_path":"coqPackages.MenhirLib"},"last_updated":"2026-02-26T05:06:13Z","outputs":[{"name":"out","path":"/nix/store/vrnjq3ql91jxx0z861f2yhszhjbj8bh9-coq9.0-MenhirLib-20250903","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"26eaeac4e409d7b5a6bf6f90a2a2dc223c78d915"},"attr_path":"coqPackages.MenhirLib"},"last_updated":"2026-02-26T05:06:13Z","outputs":[{"name":"out","path":"/nix/store/57nwpdxigqfzp8y4j1bdffh94n02mnrk-coq9.0-MenhirLib-20250903","default":true}]}}}