{"name":"compcert","version":"3.13.1","summary":"Formally verified C compiler","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"bcd44e224fd68ce7d269b4f44d24c2220fd821e7"},"attr_path":"compcert"},"last_updated":"2024-05-01T11:18:24Z","outputs":[{"name":"out","path":"/nix/store/65ks8fbpllq72kxzgn3052wjs07br0qx-coq8.19-compcert-3.13.1","default":true},{"name":"man","path":"/nix/store/fjczk0swiz8zwwhda7xd20qwvfrsb05s-coq8.19-compcert-3.13.1-man","default":true},{"name":"doc","path":"/nix/store/g2zd19f684mrah2iync0rfaf8zzp0y0w-coq8.19-compcert-3.13.1-doc"},{"name":"lib","path":"/nix/store/w39wgqqjm09av5a9zc3b63349x9f6gba-coq8.19-compcert-3.13.1-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"94035b482d181af0a0f8f77823a790b256b7c3cc"},"attr_path":"compcert"},"last_updated":"2024-05-02T13:23:16Z","outputs":[{"name":"out","path":"/nix/store/62shf6c39pzbs3gp1pg8hq1lgdwxvf32-coq8.19-compcert-3.13.1","default":true},{"name":"man","path":"/nix/store/6xac22fmya8i3gr6p7imn2f4l2gdc0w9-coq8.19-compcert-3.13.1-man","default":true},{"name":"lib","path":"/nix/store/cn4za1zvl4qs6bkgn0zmkjkl8j6rzvdz-coq8.19-compcert-3.13.1-lib"},{"name":"doc","path":"/nix/store/b7awikdbsv1a94wham3bk13a90rliixz-coq8.19-compcert-3.13.1-doc"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"1c74cc292b61614e74c1cf0d372f79d57fb4936b"},"attr_path":"compcert"},"last_updated":"2024-05-01T20:12:28Z","outputs":[{"name":"out","path":"/nix/store/chjig4mzxyd896wnjxr2ravyy61dcjk9-coq8.19-compcert-3.13.1","default":true},{"name":"man","path":"/nix/store/whzvixsj65k1wr2j38mrngqwnbalk1zf-coq8.19-compcert-3.13.1-man","default":true},{"name":"doc","path":"/nix/store/2k1sm1b2cifzzj3ihkn5p96986knf7l8-coq8.19-compcert-3.13.1-doc"},{"name":"lib","path":"/nix/store/zhhcgzyq6gjy57yz9h0pfsw4ckyshkrq-coq8.19-compcert-3.13.1-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"1c74cc292b61614e74c1cf0d372f79d57fb4936b"},"attr_path":"compcert"},"last_updated":"2024-05-01T20:12:28Z","outputs":[{"name":"out","path":"/nix/store/p4g10411ii5fb1jq11wfp0nx16g6hq6n-coq8.19-compcert-3.13.1","default":true},{"name":"man","path":"/nix/store/j2y32k1y3pk882jds7qjr3p7afw7mp11-coq8.19-compcert-3.13.1-man","default":true},{"name":"doc","path":"/nix/store/3xmzrpc0imz6z68nx51n1kmy64sd913q-coq8.19-compcert-3.13.1-doc"},{"name":"lib","path":"/nix/store/xbcb9hbx3987q4imp97ic116ygs7cnbs-coq8.19-compcert-3.13.1-lib"}]}}}