{"name":"cvise","version":"2.8.0","summary":"Super-parallel Python port of C-Reduce","systems":{"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"75a52265bda7fd25e06e3a67dee3f0354e73243c"},"attr_path":"cvise"},"last_updated":"2023-10-25T20:49:13Z","outputs":[{"name":"out","path":"/nix/store/s8ypvykrmj4ca9gisvdajlyqkhv156bg-cvise-2.8.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"75a52265bda7fd25e06e3a67dee3f0354e73243c"},"attr_path":"cvise"},"last_updated":"2023-10-25T20:49:13Z","outputs":[{"name":"out","path":"/nix/store/vdnw0x5y38bgrrfgmr13hdf3q8083r4a-cvise-2.8.0","default":true}]}}}