nixsearch
nixsearch / pkg / satallax / 2.7

satallax 2.7

Automated theorem prover for higher-order logic
Linux and macOS last changed

Pin this version

$ devbox add satallax@2.7
systemsaarch64-darwin, aarch64-linux, x86_64-linux commitb6c8664de9b6cc07fe5666a29f91884ba81197c4 
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#satallax
systemsx86_64-darwin commit3d46470bb3030020f7e1361f33514854f5bfa86d 
$ nix shell github:NixOS/nixpkgs/3d46470bb3030020f7e1361f33514854f5bfa86d#satallax

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 satallax b6c8664de9b6
out
/nix/store/s1v5cjqd862hx1smyhw010rp9kkgrd7i-satallax-2.7
aarch64-linux
Linux · arm64		 satallax b6c8664de9b6
out
/nix/store/pwclgjpvk3bdjrlq09awy4vdgd6a7r04-satallax-2.7
x86_64-darwin
macOS · x86-64		 satallax 3d46470bb303
out
/nix/store/wvbvzk0095sk4rh2ka04c7mcxfbf4gnw-satallax-2.7
x86_64-linux
Linux · x86-64		 satallax b6c8664de9b6
out
/nix/store/0l1c8vrzirlwdq9c9xgpjhpxqqhv85qr-satallax-2.7
all 1 releases

JSON: /v2/pkg?name=satallax · /v2/resolve?name=satallax&version=2.7