nixsearch
nixsearch / pkg / python313Packages.stp / 2.4.1

python313Packages.stp 2.4.1

Simple Theorem Prover
Linux and macOS (Apple Silicon only) last changed

Pin this version

$ devbox add python313Packages.stp@2.4.1
systemsaarch64-darwin, aarch64-linux, x86_64-linux commit02f5696b0e6097e589076d886b317b83ff0437d7 
$ nix shell github:NixOS/nixpkgs/02f5696b0e6097e589076d886b317b83ff0437d7#python313Packages.stp

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 python313Packages.stp 02f5696b0e60
dev
/nix/store/2kak8grpx8kfgidqsyjxkd44hbmzvqfh-stp-2.4.1-dev
out
/nix/store/mf9clvq16vbd0n0bxg1bc2hbxgiw669v-stp-2.4.1
aarch64-linux
Linux · arm64		 python313Packages.stp 02f5696b0e60
dev
/nix/store/md05mx8yzwmw56q6wlqgx9wc0pr4w3y3-stp-2.4.1-dev
out
/nix/store/s719baxvgx9vavdjrj5sihd147b404v8-stp-2.4.1
x86_64-linux
Linux · x86-64		 python313Packages.stp 02f5696b0e60
dev
/nix/store/s9yx9aaqdbyy8xi68rsk57jnswlpg9ll-stp-2.4.1-dev
out
/nix/store/kl8k1c6kqnhp60mb0v1wlgylyi5kmc3f-stp-2.4.1
all 2 releases older: 2.3.4 →

JSON: /v2/pkg?name=python313Packages.stp · /v2/resolve?name=python313Packages.stp&version=2.4.1