{"name":"coqPackages.MenhirLib","summary":"Support library for verified Coq parsers produced by Menhir","description":"","homepage_url":"https://gitlab.inria.fr/fpottier/menhir/-/tree/master/coq-menhirlib","license":"LGPL-3.0-or-later","attribute_paths":["coqPackages.MenhirLib"],"releases":[{"version":"20260203","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.MenhirLib","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/avdh981n57lflb7r2kyasb7043hbgd6b-coq9.1-MenhirLib-20260203","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.MenhirLib","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/9crmk2vk0g09d8z231b658ska5h1dg4i-coq9.1-MenhirLib-20260203","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.MenhirLib","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/6zwzjsf0dsywnym8cvyc3jmh2jn40mp6-coq9.1-MenhirLib-20260203","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.MenhirLib","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/j9mxd0zy0xfi7mk6f4kplicpagznf1nj-coq9.1-MenhirLib-20260203","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20250903","last_updated":"2026-02-26T05:06:13Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.MenhirLib","commit_hash":"26eaeac4e409d7b5a6bf6f90a2a2dc223c78d915","date":"2026-02-26T05:06:13Z","outputs":[{"name":"out","path":"/nix/store/wj1mk07k75bd0a3mxqj6dkvd5haa6029-coq9.0-MenhirLib-20250903","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.MenhirLib","commit_hash":"26eaeac4e409d7b5a6bf6f90a2a2dc223c78d915","date":"2026-02-26T05:06:13Z","outputs":[{"name":"out","path":"/nix/store/9sc30cshcbjyagwiqj6p8spwh23gwaa1-coq9.0-MenhirLib-20250903","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.MenhirLib","commit_hash":"26eaeac4e409d7b5a6bf6f90a2a2dc223c78d915","date":"2026-02-26T05:06:13Z","outputs":[{"name":"out","path":"/nix/store/vrnjq3ql91jxx0z861f2yhszhjbj8bh9-coq9.0-MenhirLib-20250903","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.MenhirLib","commit_hash":"26eaeac4e409d7b5a6bf6f90a2a2dc223c78d915","date":"2026-02-26T05:06:13Z","outputs":[{"name":"out","path":"/nix/store/57nwpdxigqfzp8y4j1bdffh94n02mnrk-coq9.0-MenhirLib-20250903","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20240715","last_updated":"2025-07-31T04:07:16Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.MenhirLib","commit_hash":"8679b16e11becd487b45d568358ddf9d5640d860","date":"2025-07-31T04:07:16Z","outputs":[{"name":"out","path":"/nix/store/kkn2j8bnsqz52235igblsffjsbdnd3mh-coq9.0-MenhirLib-20240715","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.MenhirLib","commit_hash":"8679b16e11becd487b45d568358ddf9d5640d860","date":"2025-07-31T04:07:16Z","outputs":[{"name":"out","path":"/nix/store/bddmmf7m6pbw197nva4ica8njripaikl-coq9.0-MenhirLib-20240715","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.MenhirLib","commit_hash":"8679b16e11becd487b45d568358ddf9d5640d860","date":"2025-07-31T04:07:16Z","outputs":[{"name":"out","path":"/nix/store/b5m8v35dc7k0rsnrxk3ayj06ggv9nyhz-coq9.0-MenhirLib-20240715","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.MenhirLib","commit_hash":"8679b16e11becd487b45d568358ddf9d5640d860","date":"2025-07-31T04:07:16Z","outputs":[{"name":"out","path":"/nix/store/bm0i0q1i08jkdc8j8wa83wm0i025l538-coq9.0-MenhirLib-20240715","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}