Cyril Cohen 18f9a74a18

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>

2021-03-15 12:59:05 +01:00

..

default.nix

coqPackages.mathcomp: etc (#115417)

2021-03-15 12:59:05 +01:00