diff options
| author | Cyril Cohen <CohenCyril@users.noreply.github.com> | 2020-05-09 07:47:47 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-09 07:47:47 +0200 |
| commit | 8d05e53561678e67dc51c4d52270a0d0cd8761fc (patch) | |
| tree | c97f1f1640842507d76eec125ed07bc249c6cc03 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 0c0f353d62188ba676a2396ed3be4fcfdd88d632 (diff) | |
Coq: refactoring of mathcomp packages (#86088)
- fixed bignum version
- fixed coq-bits version
- fixed coqprime version
- fixed mathcomp and mathcomp extra packages
(reworked building scheme and removed unused ssreflect directory)
- giving the user access to function filterCoqPackages, because overrideScope' does not re-apply it.
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions