{"name":"cvise","version":"2.9.0","summary":"Super-parallel Python port of C-Reduce","systems":{"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a343533bccc62400e8a9560423486a3b6c11a23b"},"attr_path":"cvise"},"last_updated":"2024-03-08T13:51:52Z","outputs":[{"name":"out","path":"/nix/store/qnipzxbbkbis542lvbqxmjlrrf215922-cvise-2.9.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a343533bccc62400e8a9560423486a3b6c11a23b"},"attr_path":"cvise"},"last_updated":"2024-03-08T13:51:52Z","outputs":[{"name":"out","path":"/nix/store/267k7kdi7j3akzpfw9z6k43w30g28xlr-cvise-2.9.0","default":true}]}}}