diff options
| author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2018-04-08 09:18:07 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-04-08 09:18:07 +0100 |
| commit | f9b95e9ca0397d3606126bde9246c3e1da9ee4f1 (patch) | |
| tree | a854505ad10c780fad02d71f86784b4f91793039 /pkgs/development/python-modules/python-sql | |
| parent | ed649f0cb3b8d863b2c564e384a56adca83c828d (diff) | |
| parent | 86c5420a2e8ff0ece4fd90db4e42fd52d069f533 (diff) | |
Merge pull request #38597 from thoughtpolice/rm-rf-z3-4.5.0
nixpkgs: remove z3 4.5.0
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions