diff options
| author | Vincent Laporte <vbgl@users.noreply.github.com> | 2018-06-01 19:31:02 +0200 |
|---|---|---|
| committer | xeji <36407913+xeji@users.noreply.github.com> | 2018-06-01 19:31:02 +0200 |
| commit | 44659fcbe162b8dbce50df6fc32ca63637e2f9ca (patch) | |
| tree | 63be09ff46c177ea4f61240c6e7e42d15526adc5 /pkgs/development/python-modules/python-sql | |
| parent | 7a2dd975695623723b40811c4b60eac6da4b1eb6 (diff) | |
coqPackages.contribs.aac-tactics: enable for Coq 8.7 and 8.8 (#41351)
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions