diff options
| author | Damien Cassou <damien@cassou.me> | 2016-04-05 19:15:52 +0200 |
|---|---|---|
| committer | Damien Cassou <damien@cassou.me> | 2016-04-05 19:15:52 +0200 |
| commit | 8f7d11e39c662bf7acd4e8cb05b6d3596bdbf203 (patch) | |
| tree | c8822600dd97279a5996a3fa5d9745feafc1d33b /pkgs/development/python-modules/python-sql | |
| parent | a269e43cefb612d864811df9ed6b5edc07bb89f4 (diff) | |
| parent | 9dfa26d2cee4c5309f24e5cc4a5b5185cccbd08a (diff) | |
Merge pull request #14468 from vbgl/why3-0.87
why3: 0.86.3 -> 0.87.0
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions