nixsearch
nixsearch / pkg / python313Packages.stp / 2.3.4

python313Packages.stp 2.3.4

Simple Theorem Prover
Linux and macOS last changed

Pin this version

$ devbox add python313Packages.stp@2.3.4
systemsaarch64-darwin, aarch64-linux, x86_64-linux commitc27cdad491a991b11ed731760aa2ef8db0cb0410 
$ nix shell github:NixOS/nixpkgs/c27cdad491a991b11ed731760aa2ef8db0cb0410#python313Packages.stp
systemsx86_64-darwin commit3d46470bb3030020f7e1361f33514854f5bfa86d 
$ nix shell github:NixOS/nixpkgs/3d46470bb3030020f7e1361f33514854f5bfa86d#python313Packages.stp

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 python313Packages.stp c27cdad491a9
dev
/nix/store/c77z6l8k1gzbx6wh1jm1855idyc85bmm-stp-2.3.4-dev
out
/nix/store/gvmn4ninp6259dk8rzcc5d23wigqhr7w-stp-2.3.4
aarch64-linux
Linux · arm64		 python313Packages.stp c27cdad491a9
dev
/nix/store/3sadb11dnnmyj1wddzfja36lrgj8smjf-stp-2.3.4-dev
out
/nix/store/654nvwys606xic4jk7fj3lrwng9iw4s6-stp-2.3.4
x86_64-darwin
macOS · x86-64		 python313Packages.stp 3d46470bb303
dev
/nix/store/1scq4v0y35n6l57cv589wihhv6kdv2y8-stp-2.3.4-dev
out
/nix/store/an5x7hga2mbk9285bi4h37yylbn5ayy9-stp-2.3.4
x86_64-linux
Linux · x86-64		 python313Packages.stp c27cdad491a9
dev
/nix/store/2hlk2vs2skdg5gld7w9jpqldcy32jxiw-stp-2.3.4-dev
out
/nix/store/b1phw1pxza5jjswagrlfhrv3a4if2ci6-stp-2.3.4
← newer: 2.4.1 all 2 releases

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