{"name":"cvise","version":"2.2.0","summary":"Super-parallel Python port of C-Reduce","systems":{"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0867f62742476f513e39113e643d9f1612b31133"},"attr_path":"cvise"},"last_updated":"2021-03-08T20:48:59Z"}}}