ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-09-29 16:57:40 +03:00
Code Issues Projects Releases Wiki Activity
232,593 Commits 96 Branches 102 Tags 4.3 GiB
bcdf475f94
Commit Graph

3 Commits

Author SHA1 Message Date
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
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
Valentin Robert
1bb56de88b coqPackages.coq-bits: init at 20190812 2019-10-24 06:24:33 +00:00