diff options
| author | John Wiegley <johnw@newartisans.com> | 2018-03-23 22:09:06 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-23 22:09:06 -0700 |
| commit | bee172501de3b4496ff81cc1621d307f167e9382 (patch) | |
| tree | 408ecb83d11d1719f2e3d9a47d8781ee9d040ac6 /pkgs/development/python-modules/python-sql | |
| parent | 50d41bb624941dd151a6bf0fd4cb17f0b8d8a5e6 (diff) | |
| parent | 6845b248d9c1f897609aa2e1a55302b0475351d4 (diff) | |
Merge pull request #37591 from vbgl/coq-88beta1
coq: init at 8.8+beta1
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions