{"name":"cvise","version":"2.10.0","summary":"Super-parallel Python port of C-Reduce","systems":{"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4ae2e647537bcdbb82265469442713d066675275"},"attr_path":"cvise"},"last_updated":"2024-11-03T14:18:04Z","outputs":[{"name":"out","path":"/nix/store/4mn013h9yh50kyqpxzlzzn97r8fqgb9s-cvise-2.10.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4ae2e647537bcdbb82265469442713d066675275"},"attr_path":"cvise"},"last_updated":"2024-11-03T14:18:04Z","outputs":[{"name":"out","path":"/nix/store/dkyvpl18fdkvjmf4jag5mc2ynvccl3z5-cvise-2.10.0","default":true}]}}}