diff options
| author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-10-29 18:56:03 +0100 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2017-11-05 16:59:23 +0100 |
| commit | 1ddadc6b1c43b46bfff3e85ab543bcf8e742ccfb (patch) | |
| tree | e7282015c3fd3af53b10d4f9c68c5ca08d5494a1 /pkgs/development/python-modules/python-sql | |
| parent | f4914d4eb4e966d7dbb66f903de391fc921b5349 (diff) | |
coqPackages.math-classes: 1.0.6 -> 1.0.7
This version introduces compatibility with Coq 8.7.
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions