Will Dietz e397f4716c z3: 4.8.4 -> 4.8.5 ...

* drop included patch
* pname-ify

2019-06-10 17:55:26 -07:00

..

default.nix

z3: 4.8.4 -> 4.8.5

2019-06-10 17:55:26 -07:00

tptp.nix

z3-tptp: init

2019-01-22 16:51:18 +01:00