{"name":"compcert","version":"3.7","summary":"Formally verified C compiler","systems":{"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5101b357ec30c1ac4a9273b379e631f841af9fa3"},"attr_path":"compcert"},"last_updated":"2020-12-08T00:54:43Z"}}}