nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-08-23 16:56:38 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
8a8500c2adadee055ee1b5200ccd492d7e707933
nixpkgs/pkgs/development/coq-modules/mathcomp
History
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