diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-03-14 08:03:53 +0000 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2018-03-21 09:27:50 +0100 |
| commit | 1ce37ab8a9ab9ca8f450474d28f0655193fa8ad6 (patch) | |
| tree | 7ab480aedbe105a38cbf1c25c6ab3bbbf2535d2e /pkgs/development/python-modules/python-sql | |
| parent | 06f49163938dc11a097c4828e445bed728f234ec (diff) | |
coqPackages.contribs.containers: make available for Coq 8.7
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions