{"name":"coqPackages.json","summary":"From JSON to Coq, and vice versa","description":"","homepage_url":"https://github.com/liyishuai/coq-json","license":"BSD-3-Clause","attribute_paths":["coqPackages.json"],"releases":[{"version":"0.2.0","last_updated":"2026-10-05T09:07:57Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.json","commit_hash":"aa48d347080940b8a2b8d2f48228674e280a3514","date":"2026-10-05T09:07:57Z","outputs":[{"name":"out","path":"/nix/store/g13nfkzi0x487nabpfj3mpy1z4d2y9ab-coq9.1-json-0.2.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.json","commit_hash":"aa48d347080940b8a2b8d2f48228674e280a3514","date":"2026-10-05T09:07:57Z","outputs":[{"name":"out","path":"/nix/store/by4pfmq1j9b4215i79z26grsxnfvm3hb-coq9.1-json-0.2.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.json","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/11r9k8hgq2li50hbz2zg364w9shp3l7b-coq9.1-json-0.2.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.json","commit_hash":"aa48d347080940b8a2b8d2f48228674e280a3514","date":"2026-10-05T09:07:57Z","outputs":[{"name":"out","path":"/nix/store/pnz9gh6v6x7lmpk5hb99jyj56b1ym45w-coq9.1-json-0.2.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.1.3","last_updated":"2024-10-13T23:44:06Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.json","commit_hash":"d4f247e89f6e10120f911e2e2d2254a050d0f732","date":"2024-10-13T23:44:06Z","outputs":[{"name":"out","path":"/nix/store/s1xmbn39fj8178m8516dfphk53x4adgh-coq8.20-json-0.1.3","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.json","commit_hash":"d4f247e89f6e10120f911e2e2d2254a050d0f732","date":"2024-10-13T23:44:06Z","outputs":[{"name":"out","path":"/nix/store/77i58qvlc4jnnmf1xrih97f8zi52jvs2-coq8.20-json-0.1.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.json","commit_hash":"d4f247e89f6e10120f911e2e2d2254a050d0f732","date":"2024-10-13T23:44:06Z","outputs":[{"name":"out","path":"/nix/store/hs0v2bsswpi0jcrf41j2dl169bb2fam2-coq8.20-json-0.1.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.json","commit_hash":"d4f247e89f6e10120f911e2e2d2254a050d0f732","date":"2024-10-13T23:44:06Z","outputs":[{"name":"out","path":"/nix/store/8wbk25vcn7kdgqlcxn6885cgz64yz19z-coq8.20-json-0.1.3","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}