nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-26 23:54:01 +00:00
Code Issues Packages Projects Releases Wiki Activity
76d2c3f2bf
nixpkgs/pkgs/applications/science/logic/z3
History
Aaron Jheng 3452c10bb4
z3_4_4_0: remove, z3_4_7: remove
2023-01-13 03:44:17 +00:00
..
default.nix z3_4_4_0: remove, z3_4_7: remove 2023-01-13 03:44:17 +00:00
tptp.nix