{"name":"cvise","version":"2.7.0","summary":"Super-parallel Python port of C-Reduce","systems":{"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"358a179550508bf2dafdf1657a94b7f65d91c4bf"},"attr_path":"cvise"},"last_updated":"2023-04-28T21:17:46Z","outputs":[{"name":"out","path":"/nix/store/65h0zj6br1m7cnkzpdqipmxparjqilmp-cvise-2.7.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"358a179550508bf2dafdf1657a94b7f65d91c4bf"},"attr_path":"cvise"},"last_updated":"2023-04-28T21:17:46Z","outputs":[{"name":"out","path":"/nix/store/lm2vk27v0xr87bi04m2la7vdj5avhsak-cvise-2.7.0","default":true}]}}}