{"name":"coqPackages.compcert","summary":"Formally verified C compiler","description":"","homepage_url":"https://compcert.org","license":"","attribute_paths":["coqPackages.compcert"],"releases":[{"version":"3.18","last_updated":"2026-10-02T22:55:44Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.compcert","commit_hash":"55ba7f49ef2962b42cbd126522b7df5f95037679","date":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/kdg2q9fg477ls06hm6dwlf89w1687sk2-coq9.1-compcert-3.18","default":true},{"name":"man","path":"/nix/store/ixmbxd194fb9j71ndv9vc9kmdhbawpis-coq9.1-compcert-3.18-man","default":true},{"name":"doc","path":"/nix/store/vjylp8jnx8mgm6xyd5hi6y834w678z72-coq9.1-compcert-3.18-doc"},{"name":"lib","path":"/nix/store/vsqi42bpjaaia3vfniby4xmqn45i6092-coq9.1-compcert-3.18-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.compcert","commit_hash":"55ba7f49ef2962b42cbd126522b7df5f95037679","date":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/275gwnbxvlpn7h9v10rcwrvqkn060sx2-coq9.1-compcert-3.18","default":true},{"name":"man","path":"/nix/store/j4h0w4h8k88pjapi389q4xy3x2xzl1lh-coq9.1-compcert-3.18-man","default":true},{"name":"doc","path":"/nix/store/7q9qlxgivpjqhh2n6inb2zxlk70aw708-coq9.1-compcert-3.18-doc"},{"name":"lib","path":"/nix/store/qr1rrbvw6bvha5pp87hfgaps1294w9kr-coq9.1-compcert-3.18-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.compcert","commit_hash":"55ba7f49ef2962b42cbd126522b7df5f95037679","date":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/yy02r796gxkxjrfmkkyn61q7r1n6qagj-coq9.1-compcert-3.18","default":true},{"name":"man","path":"/nix/store/x9hnw160izddlnrbmkp212v7kdv9v65z-coq9.1-compcert-3.18-man","default":true},{"name":"doc","path":"/nix/store/z704vjx7zh2wzvhdjqply7y3kz0lsnm6-coq9.1-compcert-3.18-doc"},{"name":"lib","path":"/nix/store/iby75fliy5wvb8h6ralyjm7rz0ygw86n-coq9.1-compcert-3.18-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Apple Silicon only)","outputs_summary":"man, out, doc, lib","prerelease":false,"broken":false,"insecure":false},{"version":"3.17","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.compcert","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/mwjibgmiv4fbqki0gfpqq3q3h6rkxbxq-coq9.1-compcert-3.17","default":true},{"name":"man","path":"/nix/store/ry1af01m6bp203zf32vp6ka61gvd3qzj-coq9.1-compcert-3.17-man","default":true},{"name":"doc","path":"/nix/store/m2qjxk37s4sa7n4mflq5pychz5ygkfk2-coq9.1-compcert-3.17-doc"},{"name":"lib","path":"/nix/store/6y65cbrwsm0id43033gpxh8nqsgwwgar-coq9.1-compcert-3.17-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.compcert","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/25qkdag4zcx488gsdmxsz4xq1g06wlc8-coq9.1-compcert-3.17","default":true},{"name":"man","path":"/nix/store/91maqnzdz3a4glh0kiq1cvbdja9avy3g-coq9.1-compcert-3.17-man","default":true},{"name":"doc","path":"/nix/store/wl3476scz07y33vlq5ip15lj83gj7d7r-coq9.1-compcert-3.17-doc"},{"name":"lib","path":"/nix/store/2lb67xfqmmanllyknjm39jcq1fv40x5m-coq9.1-compcert-3.17-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.compcert","commit_hash":"d33369954a67ae3322177dc9a3d564092912120c","date":"2026-07-02T07:55:03Z","outputs":[{"name":"out","path":"/nix/store/41vqgpbb19vdbkg66f98raw0pgx7287k-coq9.1-compcert-3.17","default":true},{"name":"man","path":"/nix/store/imqq249azlh4rz0hy3dfqfhs3la0s7k8-coq9.1-compcert-3.17-man","default":true},{"name":"doc","path":"/nix/store/lic05l54hfs2fcd5y0gsmbpgnjn1a6rw-coq9.1-compcert-3.17-doc"},{"name":"lib","path":"/nix/store/7pd908sfdy00lks48x02ifxy2sx17fj9-coq9.1-compcert-3.17-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.compcert","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/jhwd86v5nlg8npf9a97yjvzgzpnqsxi4-coq9.1-compcert-3.17","default":true},{"name":"man","path":"/nix/store/nb21fwmz81x40fz8kpfj66lv9vw05f2l-coq9.1-compcert-3.17-man","default":true},{"name":"doc","path":"/nix/store/3agrngbswy4lyyjvj733dggh3iwb172z-coq9.1-compcert-3.17-doc"},{"name":"lib","path":"/nix/store/ifvm3l0alw79kmlbq9078i438bqh8hjb-coq9.1-compcert-3.17-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"man, out, doc, lib","prerelease":false,"broken":false,"insecure":false},{"version":"3.16","last_updated":"2025-09-28T14:42:27Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.compcert","commit_hash":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde","date":"2025-09-18T16:33:27Z","outputs":[{"name":"out","path":"/nix/store/cdjvj0vymww1sbz9cmmjkg6xzjs5axki-coq9.0-compcert-3.16","default":true},{"name":"man","path":"/nix/store/zw2n1a1w85qpdc5wgm4wccph6nanz0cg-coq9.0-compcert-3.16-man","default":true},{"name":"doc","path":"/nix/store/1ck4j7slibqy88hyxg2bmxax289k70ly-coq9.0-compcert-3.16-doc"},{"name":"lib","path":"/nix/store/x7qva4j5kacihgvqb6hkzs36fscmhx7g-coq9.0-compcert-3.16-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.compcert","commit_hash":"90ade7da38aa49c2e2693a04a44662a0e61530e9","date":"2025-09-19T15:05:15Z","outputs":[{"name":"out","path":"/nix/store/1xnagcl6sp2zbw88ahmbv70nv309fkfp-coq9.0-compcert-3.16","default":true},{"name":"man","path":"/nix/store/6rhjdw8589ar10zkiavp7hwglj1hbnz4-coq9.0-compcert-3.16-man","default":true},{"name":"doc","path":"/nix/store/75gnlvpmy6y260zhvc7ai91gv50mwf2g-coq9.0-compcert-3.16-doc"},{"name":"lib","path":"/nix/store/r2jxar35p4pwrfjcchljsgdxbg66v635-coq9.0-compcert-3.16-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.compcert","commit_hash":"647e5c14cbd5067f44ac86b74f014962df460840","date":"2025-09-28T14:42:27Z","outputs":[{"name":"out","path":"/nix/store/ajji0px2hn2g0fvxxr5f6wyqsbcyf8a0-coq9.0-compcert-3.16","default":true},{"name":"man","path":"/nix/store/g6hnbfdbkkg02090wx1iv3vma6yhdmlp-coq9.0-compcert-3.16-man","default":true},{"name":"lib","path":"/nix/store/30clfb9v86xriw0g1hhplkaspvalsk6s-coq9.0-compcert-3.16-lib"},{"name":"doc","path":"/nix/store/iw918akikpvniqd4vgmrqjmlyy3p46fs-coq9.0-compcert-3.16-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.compcert","commit_hash":"90ade7da38aa49c2e2693a04a44662a0e61530e9","date":"2025-09-19T15:05:15Z","outputs":[{"name":"out","path":"/nix/store/hg8cd9vwhhp1zfa9zw0l16aizxfqbm77-coq9.0-compcert-3.16","default":true},{"name":"man","path":"/nix/store/4n3s6liyfbm0b891vlz694pnvan4mfyk-coq9.0-compcert-3.16-man","default":true},{"name":"doc","path":"/nix/store/9zc0npc2v8cmqqjksvydn0fg7kjfr8k4-coq9.0-compcert-3.16-doc"},{"name":"lib","path":"/nix/store/vqi9i4w3m2akvg5wd1899gmyhwax29pv-coq9.0-compcert-3.16-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"man, out, doc, lib","prerelease":false,"broken":false,"insecure":false},{"version":"3.11","last_updated":"2023-02-24T09:01:09Z","platforms":[{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.compcert","commit_hash":"7d0ed7f2e5aea07ab22ccb338d27fbe347ed2f11","date":"2023-02-24T09:01:09Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.compcert","commit_hash":"7d0ed7f2e5aea07ab22ccb338d27fbe347ed2f11","date":"2023-02-24T09:01:09Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Intel only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"3.10","last_updated":"2022-06-20T04:45:15Z","platforms":[{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.compcert","commit_hash":"24c33ab7952544ad355d0677c9eea931b23f371c","date":"2022-05-03T02:40:48Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.compcert","commit_hash":"72bbea9db7d727ed044e60b5f5febc60a3c5c955","date":"2022-06-20T04:45:15Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Intel only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"3.9","last_updated":"2021-11-17T22:04:49Z","platforms":[{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.compcert","commit_hash":"7fad01d9d5a3f82081c00fb57918d64145dc904c","date":"2021-11-17T22:04:49Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.compcert","commit_hash":"7fad01d9d5a3f82081c00fb57918d64145dc904c","date":"2021-11-17T22:04:49Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Intel only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"3.8","last_updated":"2021-06-15T07:46:17Z","platforms":[{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.compcert","commit_hash":"4b7c8d538e1aed2bc30b6e7eb1cbd96063ad4132","date":"2021-06-15T07:46:17Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.compcert","commit_hash":"4b7c8d538e1aed2bc30b6e7eb1cbd96063ad4132","date":"2021-06-15T07:46:17Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Intel only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}