nixsearch
nixsearch / pkg / python313Packages.python-sat / 1.8.dev24

python313Packages.python-sat 1.8.dev24

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.dev24
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commitee09932cedcef15aaf476f9343d1dea2cb77e261
$ nix shell github:NixOS/nixpkgs/ee09932cedcef15aaf476f9343d1dea2cb77e261#python313Packages.python-sat

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64
python313Packages.python-sat ee09932cedce
out
/nix/store/8q1x6q553qbj4aaixy2pdcmr0kk98w1y-python3.13-python-sat-1.8.dev24
dist (not default)
/nix/store/47klqimgc27vj0v52na32m2aa2w6h7d5-python3.13-python-sat-1.8.dev24-dist
aarch64-linux
Linux · arm64
python313Packages.python-sat ee09932cedce
out
/nix/store/20vnmzlcf9xa0rpnjl4k325h3zlaki95-python3.13-python-sat-1.8.dev24
dist (not default)
/nix/store/9xvk33nycvqr1cv3pc3vyzjgkgv9h868-python3.13-python-sat-1.8.dev24-dist
x86_64-darwin
macOS · x86-64
python313Packages.python-sat ee09932cedce
out
/nix/store/08ilzspi5ic35dj8b55jbbbqg7b668pm-python3.13-python-sat-1.8.dev24
dist (not default)
/nix/store/cgbldanvdfcfyqdiv41avbavpci937hh-python3.13-python-sat-1.8.dev24-dist
x86_64-linux
Linux · x86-64
python313Packages.python-sat ee09932cedce
out
/nix/store/9q03n202vs6d661gmqw6zy8xl6k6gqk1-python3.13-python-sat-1.8.dev24
dist (not default)
/nix/store/1cpv3l42z8g4838f1vlv1dspvrvlmgi0-python3.13-python-sat-1.8.dev24-dist
← newer: 1.8.dev25 all 13 releases older: 0.1.8.dev20 →

JSON: /v2/pkg?name=python313Packages.python-sat · /v2/resolve?name=python313Packages.python-sat&version=1.8.dev24