souffle 2.2
Translator of declarative Datalog programs into the C++ language
Linux and macOS
last changed
Pin this version
$ devbox add souffle@2.2
$ nix shell github:NixOS/nixpkgs/cce0667703fce3a1162dd252cf0864fdf83466ab#souffle
$ nix shell github:NixOS/nixpkgs/6c6409e965a6c883677be7b9d87a95fab6c3472e#souffle
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
souffle |
cce0667703fc | out/nix/store/7bcz5iw183l7hcyr6lcnkhdp2csyz1sd-souffle-2.2 |
||
aarch64-linuxLinux · arm64 |
souffle |
6c6409e965a6 | out/nix/store/9k4lhd44rilicmr0wj1rx6v61g17z1dk-souffle-2.2 |
||
x86_64-darwinmacOS · x86-64 |
souffle |
cce0667703fc | out/nix/store/ymxw5nmahfl99qnb0p26bhdp4bbdfgjq-souffle-2.2 |
||
x86_64-linuxLinux · x86-64 |
souffle |
6c6409e965a6 | out/nix/store/1hjsinx20kb3lk0dapkhgpzr83z2v3j1-souffle-2.2 |
JSON: /v2/pkg?name=souffle · /v2/resolve?name=souffle&version=2.2