diff options
| author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2017-08-27 16:57:01 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-27 16:57:01 +0100 |
| commit | cf7be87348667e92cc9d02da53628401c2f40cba (patch) | |
| tree | 12eb5d8ca55fcd6ab281387da6fd42c971a60ad2 /pkgs/development/python-modules/python-sql | |
| parent | f64d87252986fbda9bead1003de9949a1d855772 (diff) | |
| parent | db66c996bf9dc1900d42aaf8392df17435bf957c (diff) | |
Merge pull request #28614 from dtzWill/update/yices-2.5.3
yices: 2.5.2 -> 2.5.3, libpoly: 0.1.3 -> 0.1.4
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions