BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

coqPackages.deriving: init at 0.1.0

Browse source
This commit is contained in:
Vincent Laporte 2021-10-19 21:52:17 +02:00 committed by Vincent Laporte
parent d0f06b9e34
commit 78085b01ef
2 changed files with 30 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

29
pkgs/development/coq-modules/deriving/default.nix Normal file
View file

@ -0,0 +1,29 @@
{ lib, mkCoqDerivation, coq, version ? null
, ssreflect
}:
with lib;
mkCoqDerivation {
pname = "deriving";
owner = "arthuraa";
inherit version;
defaultVersion = with versions; switch coq.coq-version [
{ case = range "8.11" "8.14"; out = "0.1.0"; }
] null;
releaseRev = v: "v${v}";
release."0.1.0".sha256 = "sha256:11crnjm8hyis1qllkks3d7r07s1rfzwvyvpijya3s6iqfh8c7xwh";
propagatedBuildInputs = [ ssreflect ];
mlPlugin = true;
meta = {
description = "Generic instances of MathComp classes";
license = licenses.mit;
maintainers = [ maintainers.vbgl ];
};
}

1
pkgs/top-level/coq-packages.nix
View file

@ -37,6 +37,7 @@ let
coqtail-math = callPackage ../development/coq-modules/coqtail-math {};
coquelicot = callPackage ../development/coq-modules/coquelicot {};
corn = callPackage ../development/coq-modules/corn {};
deriving = callPackage ../development/coq-modules/deriving {};
dpdgraph = callPackage ../development/coq-modules/dpdgraph {};
equations = callPackage ../development/coq-modules/equations { };
fiat_HEAD = callPackage ../development/coq-modules/fiat/HEAD.nix {};