diff options
| author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-09-06 14:45:23 +0200 |
|---|---|---|
| committer | vbgl <vbgl@users.noreply.github.com> | 2017-09-06 21:16:41 +0200 |
| commit | 9efd7a9b6eac19c5d782e3c4d53c78a8228a1200 (patch) | |
| tree | 05204078485e23855e41e04ac619be3ce678be00 /pkgs/development/python-modules/python-sql | |
| parent | a26bbe547e27048dcdfe87da38777514089f479d (diff) | |
coq_8_7: init at 8.7+beta1
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions