nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-08-25 17:55:21 +00:00
Code Issues Packages Projects Releases Wiki Activity

rocqPackages.coqeal: use mkRocqDerivation

Browse Source
This commit is contained in:
Pierre Roux
2026-08-20 14:21:25 +02:00
parent d466116ac4
commit a5e4492673
1 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/development/rocq-modules/coqeal/default.nix
View File

@@ -1,6 +1,6 @@
{
coq,
mkCoqDerivation,
mkRocqDerivation,
mathcomp,
bignums,
paramcoq,
@@ -11,7 +11,7 @@
}:
let
derivation = mkCoqDerivation {
derivation = mkRocqDerivation {
pname = "CoqEAL";
@@ -59,6 +59,8 @@ let
release."1.0.4".hash = "sha256:1g5m26lr2lwxh6ld2gykailhay4d0ayql4bfh0aiwqpmmczmxipk";
release."1.0.3".hash = "sha256:0hc63ny7phzbihy8l7wxjvn3haxx8jfnhi91iw8hkq8n29i23v24";
useCoqifVersion = v: v != null && v != "dev" && lib.versions.isLe "2.1.2" v;
propagatedBuildInputs = [
mathcomp.algebra
bignums