diff options
| author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-10-22 19:49:16 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2017-11-05 16:59:23 +0100 |
| commit | f4914d4eb4e966d7dbb66f903de391fc921b5349 (patch) | |
| tree | 7192967268a11abf8fb5c4f03434599dfcbb39c8 /pkgs/development/python-modules/python-sql | |
| parent | 585e9ccace739657da14e0f3068d6549527edaa8 (diff) | |
bignums: init at various versions
Bignums used to be part of the standard library of Coq.
We provide a version for Coq 8.6, and one for Coq 8.7.
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions