diff options
| author | Matthew Justin Bauer <mjbauer95@gmail.com> | 2018-05-01 10:21:58 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-01 10:21:58 -0500 |
| commit | 738f9a9673a6528bb92a563d8ea1f41f42c0c0e7 (patch) | |
| tree | 5150901737162dad596d13109d524513d0e54cab /pkgs/development/python-modules/python-sql | |
| parent | 587112b7dd6c8851fd685d45cfac9dd67ed21ffd (diff) | |
| parent | 72ec248eda744ccdf1233cebbeeb176355f4b0d8 (diff) | |
Merge pull request #39469 from vbgl/coq-contribs-containers-8.8
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