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