cvise 2.5.0
Super-parallel Python port of C-Reduce
Linux
last changed
Pin this version
$ devbox add cvise@2.5.0
$ nix shell github:NixOS/nixpkgs/27a89ba43b0fb735ce867e8ab3d2442f8cc61dad#cvise
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-linuxLinux · arm64 |
cvise |
27a89ba43b0f | out/nix/store/6fksaa8qprdzfs4vyxq8g55mkapzzacv-cvise-2.5.0 |
||
x86_64-linuxLinux · x86-64 |
cvise |
27a89ba43b0f | out/nix/store/aq2yl2i7cbpdv9r7jyvwbp7ga069j1jr-cvise-2.5.0 |
JSON: /v2/pkg?name=cvise · /v2/resolve?name=cvise&version=2.5.0