diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-04-25 06:27:21 +0000 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-04-25 06:27:21 +0000 |
| commit | 72ec248eda744ccdf1233cebbeeb176355f4b0d8 (patch) | |
| tree | 7da3475852f474ce5ca56d37301b24abf03da612 /pkgs/development/python-modules/python-sql | |
| parent | 42c87d4716ebab88db1e7bd388dc24c37689c73d (diff) | |
coqPackages.contribs.containers: make available for Coq 8.8
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions