colin/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
578,052 Commits 125 Branches 0 Tags 3.4 GiB
9c5f3ba92f
Commit Graph

21 Commits

Author SHA1 Message Date
Pierre Roux
2114214e50 coqPackages_8_19.multinomials 2024-01-26 19:35:30 +01:00
Pierre Roux
49e703cde2 Add Coqeal 2.0.1 and algebra-tactics 1.2.3 2024-01-19 10:46:00 +01:00
Pierre Roux
2c7c560330 coqPackages.mathcomp: 2.1.0 -> 2.2.0 2024-01-17 15:40:16 +01:00
Pierre Roux
c2892b3fc9
coqPackages.mathcomp: 1.17.0 -> 1.18.0 (#265046) 
* coqPackages.mathcomp: 1.17.0 -> 1.18.0

* coqPackages.mathcomp-analysis: 0.6.5 -> 0.6.6
 2023-11-15 13:22:46 +01:00
Pierre Roux
fc9f61fa96 Add various mathcomp 2.1 versions 2023-10-31 08:17:03 +01:00
Pierre Roux
ae24e3e528 Add a few packages for Coq 8.18 and MathComp 2.0 2023-09-04 10:02:59 +02:00
Pierre Roux
7a3bc4f18f coqPackages.multinomials: 1.5.6 -> 1.6.0 2023-05-17 16:24:06 +02:00
Pierre Roux
2959062362 coqPackages: various 8.16 -> 8.17 2023-03-09 13:13:00 +01:00
Shawn8901
4dcb03a5c3 treewide: remove global with lib; statements in pkgs/coq-modules 2023-01-21 23:19:48 +01:00
Théo Zimmermann
2dc3552aa1 coqPackages.mkCoqDerivation: upgrade to Dune 3 
And remove the version number from the corresponding attributes.
 2022-10-02 14:42:28 +02:00
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
Pierre Roux
2768c9d4cb Adapt to Coq 8.15 and MathCOmp 1.14 2022-02-02 08:56:55 +01:00
Cyril Cohen
c5c34f6be1 coqPackages.mathcomp: 1.12.0 -> 1.13.0 2021-10-29 21:05:07 +02:00
Théo Zimmermann
3437b543fd coq_8_14: init at 8.14+rc1 2021-10-13 10:44:09 +02:00
Cyril Cohen
4f762132b0 coqPackages.multinomials: fix 2021-10-04 11:35:53 +02:00
Théo Zimmermann
20291381c1 coqPackages.mkCoqDerivation: rely on namePrefix to compute default opam-name 
As suggested by Cyril Cohen in https://github.com/NixOS/nixpkgs/pull/134362#discussion_r698379405.
 2021-09-20 11:10:23 +02:00
Théo Zimmermann
90654cce7d
coqPackages.mkCoqDerivation: fix useDune2 
- Reuse build phase from the `buildDunePackage` function.
- Only install the package that was just built (useful for monorepo support).
- Introduces `opam-name` to override the default package name to build with Dune.
 2021-08-17 14:38:47 +02:00
Cyril Cohen
1550a4fe6b
coqPackages.multinomials: 1.5.2 -> 1.5.4 (#115427) 
- This is the first packages which uses Dune in order to build and install
  so I had to refactor build-support/coq/default.nix in order to support it.
- I added a new feature: one can now release.v.sha256 empty to try to download
  with a fake sha256, hence failures are reported and one can copy paste the
  sha256 given by the error message.
- I updated the documentation of languages-frameworks/coq.section.md accordingly.
 2021-03-10 16:25:32 +01:00
Cyril Cohen
9ffd16b385 coqPackages: refactor 2021-01-09 11:56:17 +01:00
Cyril Cohen
b71c308591
coqPackages: refactor mathcomp packages 
Closes #61456
 2019-05-15 14:11:21 +00:00
Vincent Laporte
fcb89df111
coqPackages.multinomials: init at 1.0 2017-12-18 15:30:38 +00:00