{"name":"ocamlPackages_latest.name_matcher_parser","summary":"Parser to define name matchers","description":"","homepage_url":"https://github.com/AeneasVerif/charon","license":"Apache-2.0","attribute_paths":["ocamlPackages_latest.name_matcher_parser"],"releases":[{"version":"2026.08.15","last_updated":"2026-08-27T07:16:00Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages_latest.name_matcher_parser","commit_hash":"c27cdad491a991b11ed731760aa2ef8db0cb0410","date":"2026-08-27T07:16:00Z","outputs":[{"name":"out","path":"/nix/store/x16kfv6ksjcs0fm3zgbzpc046ranyhhh-ocaml5.5.0-name_matcher_parser-2026.08.15","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages_latest.name_matcher_parser","commit_hash":"c27cdad491a991b11ed731760aa2ef8db0cb0410","date":"2026-08-27T07:16:00Z","outputs":[{"name":"out","path":"/nix/store/qgmyjix1b0q7b6dlqcm0991a2bkm5ll1-ocaml5.5.0-name_matcher_parser-2026.08.15","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages_latest.name_matcher_parser","commit_hash":"c27cdad491a991b11ed731760aa2ef8db0cb0410","date":"2026-08-27T07:16:00Z","outputs":[{"name":"out","path":"/nix/store/g369rwvlzazcq4bfx3bff1q31l9fw5dj-ocaml5.5.0-name_matcher_parser-2026.08.15","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Apple Silicon only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2026.08.06","last_updated":"2026-08-12T11:28:58Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages_latest.name_matcher_parser","commit_hash":"044bfe75bfe4c7bbe043dc17b5e42ea823b84a09","date":"2026-08-12T11:28:58Z","outputs":[{"name":"out","path":"/nix/store/685w5sgsan9v45l8ryf398jgs1fwy63h-ocaml5.5.0-name_matcher_parser-2026.08.06","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages_latest.name_matcher_parser","commit_hash":"044bfe75bfe4c7bbe043dc17b5e42ea823b84a09","date":"2026-08-12T11:28:58Z","outputs":[{"name":"out","path":"/nix/store/y8l6fnajbl1gdbcpgryqd829qy2q0n4v-ocaml5.5.0-name_matcher_parser-2026.08.06","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages_latest.name_matcher_parser","commit_hash":"044bfe75bfe4c7bbe043dc17b5e42ea823b84a09","date":"2026-08-12T11:28:58Z","outputs":[{"name":"out","path":"/nix/store/6dzlkmhnjs6bnq0zqmnv5r2mni5nlzvn-ocaml5.5.0-name_matcher_parser-2026.08.06","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Apple Silicon only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2026.08.03","last_updated":"2026-08-05T07:53:23Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages_latest.name_matcher_parser","commit_hash":"3a971fa2e67dcb0f2f2cfed2d37e7956567d73d1","date":"2026-08-05T07:53:23Z","outputs":[{"name":"out","path":"/nix/store/1yi25v0cvspa2n5c5pg5ls1hx7pnf0rj-ocaml5.5.0-name_matcher_parser-2026.08.03","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages_latest.name_matcher_parser","commit_hash":"3a971fa2e67dcb0f2f2cfed2d37e7956567d73d1","date":"2026-08-05T07:53:23Z","outputs":[{"name":"out","path":"/nix/store/1hmq7p83v121pw5qcraf5x4gmixhqdqn-ocaml5.5.0-name_matcher_parser-2026.08.03","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages_latest.name_matcher_parser","commit_hash":"3a971fa2e67dcb0f2f2cfed2d37e7956567d73d1","date":"2026-08-05T07:53:23Z","outputs":[{"name":"out","path":"/nix/store/fd69qn13jk687jminqrac6fkl45xl7dc-ocaml5.5.0-name_matcher_parser-2026.08.03","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Apple Silicon only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2026.07.16","last_updated":"2026-08-01T16:34:20Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages_latest.name_matcher_parser","commit_hash":"a5cbcfe954791221bfffe2307f7d1a1bf61a871e","date":"2026-08-01T16:34:20Z","outputs":[{"name":"out","path":"/nix/store/63ykv37dx79bhs6am5x06dly3azh9g00-ocaml5.5.0-name_matcher_parser-2026.07.16","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages_latest.name_matcher_parser","commit_hash":"a5cbcfe954791221bfffe2307f7d1a1bf61a871e","date":"2026-08-01T16:34:20Z","outputs":[{"name":"out","path":"/nix/store/z4456q7bp78yssyqgxb9ysz33by0xd0d-ocaml5.5.0-name_matcher_parser-2026.07.16","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages_latest.name_matcher_parser","commit_hash":"a5cbcfe954791221bfffe2307f7d1a1bf61a871e","date":"2026-08-01T16:34:20Z","outputs":[{"name":"out","path":"/nix/store/il0f8aypcqr128v59c5qb1z1sw6dvsvj-ocaml5.5.0-name_matcher_parser-2026.07.16","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Apple Silicon only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2026.07.01","last_updated":"2026-07-08T21:13:06Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages_latest.name_matcher_parser","commit_hash":"389ed85304b281ca7f306cf8a1eb4378651ca44e","date":"2026-07-08T21:13:06Z","outputs":[{"name":"out","path":"/nix/store/r6srbygk5d4m83a88sk3w78xpyvpk7gf-ocaml5.5.0-name_matcher_parser-2026.07.01","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages_latest.name_matcher_parser","commit_hash":"389ed85304b281ca7f306cf8a1eb4378651ca44e","date":"2026-07-08T21:13:06Z","outputs":[{"name":"out","path":"/nix/store/yp7gz0igzza4apy0gvafhibwc6lar3yx-ocaml5.5.0-name_matcher_parser-2026.07.01","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages_latest.name_matcher_parser","commit_hash":"389ed85304b281ca7f306cf8a1eb4378651ca44e","date":"2026-07-08T21:13:06Z","outputs":[{"name":"out","path":"/nix/store/9cdwlfmkp2sp6ripqgklhkp179wdp3qn-ocaml5.5.0-name_matcher_parser-2026.07.01","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Apple Silicon only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}