nixpkgs/pkgs/development/coq-modules/mathcomp
Cyril Cohen 8d05e53561
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.
2020-05-09 07:47:47 +02:00
..
default.nix Coq: refactoring of mathcomp packages (#86088) 2020-05-09 07:47:47 +02:00
extra.nix Coq: refactoring of mathcomp packages (#86088) 2020-05-09 07:47:47 +02:00