{"name":"coqPackages.metarocq-pcuic","summary":"","description":"","homepage_url":"https://metarocq.github.io/","license":"MIT","attribute_paths":["coqPackages.metarocq-pcuic"],"releases":[{"version":"1.5.1-9.1","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.metarocq-pcuic","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/bij206vz3vbsfx39iq23brr7q6r0912a-coq9.1-metarocq-pcuic-1.5.1-9.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.metarocq-pcuic","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/p14yixadhjhn9zpk26pl64dqhm177i94-coq9.1-metarocq-pcuic-1.5.1-9.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.metarocq-pcuic","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/yzgn5yjqvgpg3vac3vks33886a8sv79m-coq9.1-metarocq-pcuic-1.5.1-9.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.metarocq-pcuic","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/mfgsps2cn5vkqli22y7j6dj5c8hwj7i2-coq9.1-metarocq-pcuic-1.5.1-9.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.4-9.0.1","last_updated":"2026-04-01T01:09:41Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.metarocq-pcuic","commit_hash":"62e3050a29278c985725a86704faa1e99236b51a","date":"2026-04-01T01:09:41Z","outputs":[{"name":"out","path":"/nix/store/pg2iqqn532a4ynjj7xdgqfkhb7zbcvf8-coq9.0-metarocq-pcuic-1.4-9.0.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.metarocq-pcuic","commit_hash":"62e3050a29278c985725a86704faa1e99236b51a","date":"2026-04-01T01:09:41Z","outputs":[{"name":"out","path":"/nix/store/pa3qjyw3ry8yrzmadigbm4wcp74hijfg-coq9.0-metarocq-pcuic-1.4-9.0.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.metarocq-pcuic","commit_hash":"62e3050a29278c985725a86704faa1e99236b51a","date":"2026-04-01T01:09:41Z","outputs":[{"name":"out","path":"/nix/store/bwrz3m2mr1cyc8rd0sg9w8ndc5a7af0h-coq9.0-metarocq-pcuic-1.4-9.0.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.metarocq-pcuic","commit_hash":"62e3050a29278c985725a86704faa1e99236b51a","date":"2026-04-01T01:09:41Z","outputs":[{"name":"out","path":"/nix/store/jx61q6am89m9c2mf8s6dfr03wrkf42pz-coq9.0-metarocq-pcuic-1.4-9.0.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.4-9.0","last_updated":"2025-10-22T20:59:19Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.metarocq-pcuic","commit_hash":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09","date":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/fs761013w64b37q1xp13s94lnh84rv2v-coq9.0-metarocq-pcuic-1.4-9.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.metarocq-pcuic","commit_hash":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09","date":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/lwll7wbpjdw9nks7i393si9r2cy50hvl-coq9.0-metarocq-pcuic-1.4-9.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.metarocq-pcuic","commit_hash":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09","date":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/h4yqbb5bvzzcrjnwhpazpnx9qhq3f9wj-coq9.0-metarocq-pcuic-1.4-9.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.metarocq-pcuic","commit_hash":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09","date":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/m2lcxm0vqa3c9qv6cnz3isd4csg8vkk4-coq9.0-metarocq-pcuic-1.4-9.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}