{"name":"coqPackages.stdlib","summary":"Rocq Proof Assistant -- Standard Library","description":"","homepage_url":"https://github.com/rocq-prover/stdlib","license":"LGPL-2.1-only","attribute_paths":["coqPackages.stdlib"],"releases":[{"version":"9.0.0","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.stdlib","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/cxhs7waq7afc21lp1dxvk1arrlzfvvfx-rocq9.1-stdlib-9.0.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.stdlib","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/bjdp5by4nbdxaj2vkq87a61air8ch2w5-rocq9.1-stdlib-9.0.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.stdlib","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/h4j9hf9zj6ssc9m2c10g7gyabyjivdgw-rocq-core9.1-stdlib-9.0.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.stdlib","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/gn5w44vagsvhm3f33a0mnszfmvx7vv10-rocq9.1-stdlib-9.0.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"8.20","last_updated":"2025-03-11T17:52:14Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.stdlib","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/chfk98zvl4yz2cnrjxvsq6b72asjcly6-coq8.20-stdlib-8.20","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.stdlib","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/qnsp2qp7ayb259z27a06kbcp2ihfilf0-coq8.20-stdlib-8.20","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.stdlib","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/jjqilj6wmffgiblv4amgxw3flf8mdgif-coq8.20-stdlib-8.20","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.stdlib","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/r3l3jzfcx0nlh3kklfzpm9p91wx6mxh1-coq8.20-stdlib-8.20","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}