nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-08-25 01:35:21 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
4daff6a343aa80098151fe3d6839cce7886e985a
nixpkgs/pkgs/development/coq-modules/mathcomp
History
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