diff options
| author | Cyril Cohen <CohenCyril@users.noreply.github.com> | 2021-03-15 12:59:05 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-15 12:59:05 +0100 |
| commit | 18f9a74a187517f1ffaef07046dedbdd2173dbe6 (patch) | |
| tree | 42e2939990e7db6a2d6be10f67e5c9d9131cdf07 /pkgs/development/python-modules/python-mapnik | |
| parent | fe3c3a2641bc659d7fdb17afb576d889aac8aba2 (diff) | |
coqPackages.mathcomp: etc (#115417)
* Fixing doc generation for mathcomp
* Update pkgs/development/coq-modules/mathcomp/default.nix
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
* More robust patchShebangs directives
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik')
0 files changed, 0 insertions, 0 deletions