diff options
| author | Vincent Laporte <vbgl@users.noreply.github.com> | 2019-06-13 06:58:44 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-13 06:58:44 +0000 |
| commit | b58ada326aa612ea1e2fb9a53d550999e94f1985 (patch) | |
| tree | e087012523ef57ff97f6ac5f313874495836e3a8 /pkgs/development/python-modules/python-sql | |
| parent | 4bfbcdbe817b03e112d363c2314e642348901ca9 (diff) | |
| parent | 7af35549ed609c8497caec8ebbcc58d5736ef0d9 (diff) | |
Merge pull request #62776 from vbgl/coq-simple-io-1.2.0
[coq] simple-io: 1.0.0 -> 1.2.0; QuickChick: init at 1.1.0 for Coq 8.9
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions