nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-14 17:53:37 +00:00
Code Issues Packages Projects Releases Wiki Activity
511bbd4c78
nixpkgs/pkgs/applications/science/logic/z3
History
Ian Macalinao c05b66233e
z3: 4.8 -> 4.11 https://github.com/Z3Prover/z3/releases/tag/z3-4.11.0
2022-08-28 11:06:19 -05:00
..
4.4.0.nix
default.nix z3: 4.8 -> 4.11 https://github.com/Z3Prover/z3/releases/tag/z3-4.11.0 2022-08-28 11:06:19 -05:00
tptp.nix