{"name":"compcert","version":"3.11","summary":"Formally verified C compiler","systems":{"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7d0ed7f2e5aea07ab22ccb338d27fbe347ed2f11"},"attr_path":"compcert"},"last_updated":"2023-02-24T09:01:09Z"},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7d0ed7f2e5aea07ab22ccb338d27fbe347ed2f11"},"attr_path":"compcert"},"last_updated":"2023-02-24T09:01:09Z"}}}