From 76c5738ef231b19072cd7b1c0fa6d65cb61b1208 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Wed, 22 Nov 2023 10:21:38 +0100 Subject: coqPackages.mathcomp-word: 2.1 → {2.2, 3.0} MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .../coq-modules/mathcomp-word/default.nix | 24 +++++++++++++++------- 1 file changed, 17 insertions(+), 7 deletions(-) (limited to 'pkgs/development/coq-modules') diff --git a/pkgs/development/coq-modules/mathcomp-word/default.nix b/pkgs/development/coq-modules/mathcomp-word/default.nix index c829870e457b..db8a23ea658a 100644 --- a/pkgs/development/coq-modules/mathcomp-word/default.nix +++ b/pkgs/development/coq-modules/mathcomp-word/default.nix @@ -1,22 +1,32 @@ -{ coq, mkCoqDerivation, mathcomp, lib, version ? null }: +{ fetchurl, coq, mkCoqDerivation, mathcomp, lib, version ? null }: -mkCoqDerivation { +let namePrefix = [ "coq" "mathcomp" ]; pname = "word"; + fetcher = { domain, owner, repo, rev, sha256, ...}: + fetchurl { + url = "https://${domain}/${owner}/${repo}/releases/download/${rev}/${lib.concatStringsSep "-" (namePrefix ++ [ pname ])}-${rev}.tbz"; + inherit sha256; + }; +in + +mkCoqDerivation { + inherit namePrefix pname fetcher; owner = "jasmin-lang"; repo = "coqword"; useDune = true; releaseRev = v: "v${v}"; - release."2.1".sha256 = "sha256-oN/zvnePq64Nt7l/zIDLdhb4t9ayKxnZCsn+pzqS030="; - release."2.0".sha256 = "sha256-x9AEFadlYiIIOxAhjv4Vc/dxdRZC7AdWQ6AByvLOFDk="; - release."1.1".sha256 = "sha256:0jb28vgkr4xpg9d6k85rq7abpx5ch612iw9ps5w8q80q1jpjlc4z"; - release."1.0".sha256 = "sha256:0703m97rnivcbc7vvbd9rl2dxs6l8n52cbykynw61c6w9rhxspcg"; + release."3.0".sha256 = "sha256-xEgx5HHDOimOJbNMtIVf/KG3XBemOS9XwoCoW6btyJ4="; + release."2.2".sha256 = "sha256-8BB6SToCrMZTtU78t2K+aExuxk9O1lCqVQaa8wabSm8="; + release."2.1".sha256 = "sha256-895gZzwwX8hN9UUQRhcgRlphHANka9R0PRotfmSEelA="; + release."2.0".sha256 = "sha256-ySg3AviGGY5jXqqn1cP6lTw3aS5DhawXEwNUgj7pIjA="; inherit version; defaultVersion = with lib.versions; lib.switch [ coq.version mathcomp.version ] [ - { cases = [ (range "8.12" "8.18") (isGe "1.12") ]; out = "2.1"; } + { cases = [ (range "8.16" "8.18") (isGe "2.0") ]; out = "3.0"; } + { cases = [ (range "8.12" "8.18") (range "1.12" "1.18") ]; out = "2.2"; } ] null; propagatedBuildInputs = [ mathcomp.algebra mathcomp.ssreflect mathcomp.fingroup ]; -- cgit 1.4.1