b12f/nixpkgs
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity
365951 commits 2 branches 0 tags 3.3 GiB
Commit graph

7 commits

Author SHA1 Message Date
Ulrik Strid 7e20e9039e coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true 
Co-authored-by: Vincent Laporte <vbgl@users.noreply.github.com>
 2022-02-25 07:54:17 +01:00
Valentin Robert 30c56e2e10 coq-bits: 1.0.0 -> 1.1.0 2021-11-16 13:43:32 -08:00
Cyril Cohen 9ffd16b385 coqPackages: refactor 2021-01-09 11:56:17 +01:00
Vincent Laporte f6db90a389 coqPackages.coq-bits: enable for Coq 8.11 and 8.12 2020-07-09 08:17:49 +02:00
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