nixpkgs/pkgs/applications/science/logic/z3
2022-03-23 22:55:50 +01:00
..
4.4.0.nix treewide: rename name to pname&version 2022-03-23 22:55:50 +01:00
default.nix z3: 4.8.12 -> 4.8.14 2022-01-02 12:45:59 -06:00
tptp.nix treewide: remove meta.version 2021-07-18 00:07:38 +02:00