diff options
| author | marcnnn <marcnnn@users.noreply.github.com> | 2017-05-20 15:00:39 +0200 |
|---|---|---|
| committer | Jörg Thalheim <Mic92@users.noreply.github.com> | 2017-05-20 14:00:39 +0100 |
| commit | e46ca1b95f4d91791c180346c8f78e1496b83499 (patch) | |
| tree | a64f2830ef46e37dcf8c06e38018352520356f2a /pkgs/development/python-modules/python-sql | |
| parent | b21540c4a668ebe34e1868c21e7dd8cc653fdabd (diff) | |
cvc4: 1.5pre-smtcomp2016 -> unstable-2017-05-18 (#25808)
* cvc4: 1.5pre-smtcomp2016 -> 1.5pre-20170514
* cvc4: use stable url
upstream delete their tarballs
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions