diff options
| author | John Wiegley <johnw@newartisans.com> | 2016-12-14 13:27:03 -0800 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2016-12-14 13:46:07 -0800 |
| commit | 838a3b4294aa475f686a1d748b8979fca3a8becb (patch) | |
| tree | e55377f0c6b8c9a4477660ff102c4c81e5a48b07 /pkgs/development/python-modules/python-sql | |
| parent | fbc8a43355ccb41143cc69f9408515ef3d287526 (diff) | |
coq_8_6: 8.6rc1 -> 8.6
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions