{"name":"compcert","version":"3.9","summary":"Formally verified C compiler","systems":{"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"24c33ab7952544ad355d0677c9eea931b23f371c"},"attr_path":"compcert"},"last_updated":"2022-05-03T02:40:48Z"},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"24c33ab7952544ad355d0677c9eea931b23f371c"},"attr_path":"compcert"},"last_updated":"2022-05-03T02:40:48Z"}}}