swendel/nixpkgs
1
0
Fork 0
mirror of https://github.com/SebastianWendel/nixpkgs.git synced 2024-11-06 02:06:46 +01:00
Code Issues Packages Projects Releases Wiki Activity
354089 commits 5 branches 0 tags 31 GiB
Commit graph

10 commits

Author SHA1 Message Date
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