{"name":"coqPackages.MenhirLib","version":"20240715","summary":"Support library for verified Coq parsers produced by Menhir","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8679b16e11becd487b45d568358ddf9d5640d860"},"attr_path":"coqPackages.MenhirLib"},"last_updated":"2025-07-31T04:07:16Z","outputs":[{"name":"out","path":"/nix/store/kkn2j8bnsqz52235igblsffjsbdnd3mh-coq9.0-MenhirLib-20240715","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8679b16e11becd487b45d568358ddf9d5640d860"},"attr_path":"coqPackages.MenhirLib"},"last_updated":"2025-07-31T04:07:16Z","outputs":[{"name":"out","path":"/nix/store/bddmmf7m6pbw197nva4ica8njripaikl-coq9.0-MenhirLib-20240715","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8679b16e11becd487b45d568358ddf9d5640d860"},"attr_path":"coqPackages.MenhirLib"},"last_updated":"2025-07-31T04:07:16Z","outputs":[{"name":"out","path":"/nix/store/b5m8v35dc7k0rsnrxk3ayj06ggv9nyhz-coq9.0-MenhirLib-20240715","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8679b16e11becd487b45d568358ddf9d5640d860"},"attr_path":"coqPackages.MenhirLib"},"last_updated":"2025-07-31T04:07:16Z","outputs":[{"name":"out","path":"/nix/store/bm0i0q1i08jkdc8j8wa83wm0i025l538-coq9.0-MenhirLib-20240715","default":true}]}}}