{"name":"coqPackages.compcert","version":"3.9","summary":"Formally verified C compiler","systems":{"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7fad01d9d5a3f82081c00fb57918d64145dc904c"},"attr_path":"coqPackages.compcert"},"last_updated":"2021-11-17T22:04:49Z"},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7fad01d9d5a3f82081c00fb57918d64145dc904c"},"attr_path":"coqPackages.compcert"},"last_updated":"2021-11-17T22:04:49Z"}}}