diff options
| author | Michael Raskin <7c6f434c@mail.ru> | 2017-07-08 22:37:12 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-08 22:37:12 +0200 |
| commit | dcbe96d260ce05c554a0b3152aaa703d343ad8be (patch) | |
| tree | c674fd683d549740b24e458d7e847d4e23d61bd0 /pkgs/development/python-modules/python-sql | |
| parent | 0d2d5e214762d328015e613227f88bfcc2fe32e6 (diff) | |
| parent | 6cbd9ce8f9e0ca111a99a8f57adb7a8ba6cd957d (diff) | |
Merge pull request #27197 from kquick/master
yices library: enable full functionality by adding libpoly polynomial library and fix soname linking.
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions