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
