diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-11-13 07:31:22 +0000 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-11-13 08:42:51 +0000 |
| commit | 985cfa7a8ac30484efaf1fe26dd88413340a8cd9 (patch) | |
| tree | ddf1e176cac9d39d6d5f6bee71fef20b3844ee0c /pkgs/development/python-modules/python-sql | |
| parent | 469bddcd36a5a90e80d49caedf074f4561af56f3 (diff) | |
coqPackages.bignums: do not fail with Coq 8.5
The bignums library is part of the standard library
of Coq ≤ 8.6.
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions