{"name":"ocamlPackages.name_matcher_parser","summary":"Parser to define name matchers","description":"","homepage_url":"https://github.com/AeneasVerif/charon","license":"Apache-2.0","attribute_paths":["ocamlPackages.name_matcher_parser"],"releases":[{"version":"2026.08.15","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.name_matcher_parser","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/gfh4azibxc4g5vxjrf46q0z87lhs7kks-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.name_matcher_parser","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/rh0pxik9qsfid60y9j9aj87b1xd3j3gh-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.name_matcher_parser","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/x22ngwhjzvdybpa0dsmsn0jsjl81jcpg-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.name_matcher_parser","commit_hash":"044bfe75bfe4c7bbe043dc17b5e42ea823b84a09","date":"2026-08-12T11:28:58Z","outputs":[{"name":"out","path":"/nix/store/jc2qshvxh6mhz62hjqwplw8l1br90my8-ocaml5.4.1-name_matcher_parser-2026.08.06","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.name_matcher_parser","commit_hash":"044bfe75bfe4c7bbe043dc17b5e42ea823b84a09","date":"2026-08-12T11:28:58Z","outputs":[{"name":"out","path":"/nix/store/bjwcp29dfq4k3qvnkf78nf8xir1jg4lj-ocaml5.4.1-name_matcher_parser-2026.08.06","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.name_matcher_parser","commit_hash":"044bfe75bfe4c7bbe043dc17b5e42ea823b84a09","date":"2026-08-12T11:28:58Z","outputs":[{"name":"out","path":"/nix/store/7l4i9kj5rmdazyv84y5c9hv6zggr1g6b-ocaml5.4.1-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.name_matcher_parser","commit_hash":"3a971fa2e67dcb0f2f2cfed2d37e7956567d73d1","date":"2026-08-05T07:53:23Z","outputs":[{"name":"out","path":"/nix/store/l68pkywrq0ma25bxcczk99qjgv8hd127-ocaml5.4.1-name_matcher_parser-2026.08.03","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.name_matcher_parser","commit_hash":"3a971fa2e67dcb0f2f2cfed2d37e7956567d73d1","date":"2026-08-05T07:53:23Z","outputs":[{"name":"out","path":"/nix/store/ri1zfmbnbnxcq1fp0qhl7a13hpqcysg4-ocaml5.4.1-name_matcher_parser-2026.08.03","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.name_matcher_parser","commit_hash":"3a971fa2e67dcb0f2f2cfed2d37e7956567d73d1","date":"2026-08-05T07:53:23Z","outputs":[{"name":"out","path":"/nix/store/wdcmn7idpcg8c4bjj2jpasq5mnl7m5bf-ocaml5.4.1-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.name_matcher_parser","commit_hash":"a5cbcfe954791221bfffe2307f7d1a1bf61a871e","date":"2026-08-01T16:34:20Z","outputs":[{"name":"out","path":"/nix/store/mchcnxll45fqyd7ixqn6m0m8kn4ii8zy-ocaml5.4.1-name_matcher_parser-2026.07.16","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.name_matcher_parser","commit_hash":"a5cbcfe954791221bfffe2307f7d1a1bf61a871e","date":"2026-08-01T16:34:20Z","outputs":[{"name":"out","path":"/nix/store/27gnxf0wacf32r48sqsv72p833g9cr56-ocaml5.4.1-name_matcher_parser-2026.07.16","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.name_matcher_parser","commit_hash":"a5cbcfe954791221bfffe2307f7d1a1bf61a871e","date":"2026-08-01T16:34:20Z","outputs":[{"name":"out","path":"/nix/store/m1zhggh4dgkfyxp864xx0xy9nr49c8zi-ocaml5.4.1-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.name_matcher_parser","commit_hash":"389ed85304b281ca7f306cf8a1eb4378651ca44e","date":"2026-07-08T21:13:06Z","outputs":[{"name":"out","path":"/nix/store/g0lh3dlywf0ih04ysff2dgzmj4qg9kx1-ocaml5.4.1-name_matcher_parser-2026.07.01","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.name_matcher_parser","commit_hash":"389ed85304b281ca7f306cf8a1eb4378651ca44e","date":"2026-07-08T21:13:06Z","outputs":[{"name":"out","path":"/nix/store/f6z19rr2shgf2rhmrns957m24xh1cmfs-ocaml5.4.1-name_matcher_parser-2026.07.01","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.name_matcher_parser","commit_hash":"0c190cd98e1f30cdbeff0ca149b2b17564a4a30e","date":"2026-07-03T16:41:56Z","outputs":[{"name":"out","path":"/nix/store/npbx6dyzqy9a2fad7nns4ii41xvm7wah-ocaml5.4.1-name_matcher_parser-2026.07.01","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.name_matcher_parser","commit_hash":"389ed85304b281ca7f306cf8a1eb4378651ca44e","date":"2026-07-08T21:13:06Z","outputs":[{"name":"out","path":"/nix/store/dhnvhj9ghi39gicybk8r8ibhi1hyw5zx-ocaml5.4.1-name_matcher_parser-2026.07.01","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2026.06.22","last_updated":"2026-06-27T07:37:20Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.name_matcher_parser","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/h9wy5dqxsz0p7jcbkgxsdmsajj9d1mnz-ocaml5.4.1-name_matcher_parser-2026.06.22","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.name_matcher_parser","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/f1d5c91cn09pz4n201kgj0w4sbmmv7rw-ocaml5.4.1-name_matcher_parser-2026.06.22","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.name_matcher_parser","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/aszlknnrfc6c0mx50f5i5skzx7288jxm-ocaml5.4.1-name_matcher_parser-2026.06.22","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.name_matcher_parser","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/w5icvlp7kgkpqpfw1qrib7fcslk6wqg0-ocaml5.4.1-name_matcher_parser-2026.06.22","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2026.06.14","last_updated":"2026-06-14T16:21:05Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.name_matcher_parser","commit_hash":"9eac87a12312b8f60dd52e1c6e1a265f6fc7f5fc","date":"2026-06-14T16:21:05Z","outputs":[{"name":"out","path":"/nix/store/64cnv77lk5rgf8nf0iq3knc8w2knh3qw-ocaml5.4.1-name_matcher_parser-2026.06.14","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.name_matcher_parser","commit_hash":"9eac87a12312b8f60dd52e1c6e1a265f6fc7f5fc","date":"2026-06-14T16:21:05Z","outputs":[{"name":"out","path":"/nix/store/bx70y4k2vigwx51142lg14llr7c459sr-ocaml5.4.1-name_matcher_parser-2026.06.14","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.name_matcher_parser","commit_hash":"9eac87a12312b8f60dd52e1c6e1a265f6fc7f5fc","date":"2026-06-14T16:21:05Z","outputs":[{"name":"out","path":"/nix/store/7qx8mjmi9ha53mvklfnx2cfzy7h7878n-ocaml5.4.1-name_matcher_parser-2026.06.14","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.name_matcher_parser","commit_hash":"9eac87a12312b8f60dd52e1c6e1a265f6fc7f5fc","date":"2026-06-14T16:21:05Z","outputs":[{"name":"out","path":"/nix/store/bxrjl4apc5fq5mx097h168hlf45523zb-ocaml5.4.1-name_matcher_parser-2026.06.14","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}