nixsearch / pkg / python313Packages.python-sat / 1.8.dev25
python313Packages.python-sat 1.8.dev25
Toolkit for SAT-based prototyping in Python (without optional dependencies)
Linux and macOS
last changed
outputs: out, dist
Pin this version
$ devbox add python313Packages.python-sat@1.8.dev25
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commitf665af0cdb70ed27e1bd8f9fdfecaf451260fc55
$ nix shell github:NixOS/nixpkgs/f665af0cdb70ed27e1bd8f9fdfecaf451260fc55#python313Packages.python-sat
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
python313Packages.python-sat |
f665af0cdb70 | out/nix/store/cw0y7qxhxznkb1f6ip4i343r2bvlzp1p-python3.13-python-sat-1.8.dev25 dist (not default)/nix/store/ar9wxszmaq9bay280d2s1r7aa1zdk2kw-python3.13-python-sat-1.8.dev25-dist |
||
aarch64-linuxLinux · arm64 |
python313Packages.python-sat |
f665af0cdb70 | out/nix/store/cdr47cdzzzhy9ay51czzzhmi3l4bzq44-python3.13-python-sat-1.8.dev25 dist (not default)/nix/store/2mz9ahbn3608r0yk1clzqc74mzmazyvj-python3.13-python-sat-1.8.dev25-dist |
||
x86_64-darwinmacOS · x86-64 |
python313Packages.python-sat |
f665af0cdb70 | out/nix/store/imw434zflixcc2qlksmlkynpv3l44lr6-python3.13-python-sat-1.8.dev25 dist (not default)/nix/store/brg3z2b6m51r6fz9v9rc9xi6w7ljr06w-python3.13-python-sat-1.8.dev25-dist |
||
x86_64-linuxLinux · x86-64 |
python313Packages.python-sat |
f665af0cdb70 | out/nix/store/wz0rlr389b0cmksg1zrz1561i6h19yhv-python3.13-python-sat-1.8.dev25 dist (not default)/nix/store/qlhadmbhv55izrv25vlmzsc0n9jj63q3-python3.13-python-sat-1.8.dev25-dist |
JSON: /v2/pkg?name=python313Packages.python-sat · /v2/resolve?name=python313Packages.python-sat&version=1.8.dev25