diff options
| author | Kevin Quick <quick@sparq.org> | 2017-07-06 21:31:38 -0700 |
|---|---|---|
| committer | Kevin Quick <quick@sparq.org> | 2017-07-06 21:31:38 -0700 |
| commit | 6387a7ec8bd626ffae610bc08d4bc441f9afef15 (patch) | |
| tree | 581d14de56175fb9034582fdbd45d4156bcb92f8 /pkgs/development/python-modules/python-sql | |
| parent | 8ff05c85ee89bbb3241a194d85db2f37b057d178 (diff) | |
Update yices to add libpoly/mcsat functionality and add soname target.
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions