{"name":"cvise","version":"2.12.0","summary":"Super-parallel Python port of C-Reduce","systems":{"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5adc50831c259f87faeb09ddf930d43597197473"},"attr_path":"cvise"},"last_updated":"2026-10-20T14:23:57Z","outputs":[{"name":"out","path":"/nix/store/kd01c9d2dl1wcv5r9ippnhwriz29pjm7-cvise-2.12.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5adc50831c259f87faeb09ddf930d43597197473"},"attr_path":"cvise"},"last_updated":"2026-10-20T14:23:57Z","outputs":[{"name":"out","path":"/nix/store/jgwp3ld2kkv8yxh0lhhf5fwsmjrh8qaz-cvise-2.12.0","default":true}]}}}