diff options
| author | Will Dietz <w@wdtz.org> | 2017-08-26 21:50:45 -0500 |
|---|---|---|
| committer | Will Dietz <w@wdtz.org> | 2017-08-27 10:10:48 -0500 |
| commit | db66c996bf9dc1900d42aaf8392df17435bf957c (patch) | |
| tree | 0702d51929c6f86327ed99b86aef319b492d81e9 /pkgs/development/python-modules/python-sql | |
| parent | 3ab85383a0859623e5f5e53cb1c1115befe4ac1e (diff) | |
yices: 2.5.2 -> 2.5.3
Move to github URL, homepage seems to be down currently.
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions