nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-16 17:14:00 +00:00
Code Issues Packages Projects Releases Wiki Activity

coqPackages.coqutil: init at {0.0.5,0.0.6} (#349174)

Browse Source
This commit is contained in:
StepBroBD 2024-10-17 05:08:52 -04:00 committed by GitHub
parent 84e42f9c31
commit 6d685d6728
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 31 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

30
pkgs/development/coq-modules/coqutil/default.nix Normal file
View File

@ -0,0 +1,30 @@
{
coq,
findutils,
lib,
mkCoqDerivation,
version ? null,
}:
mkCoqDerivation {
pname = "coqutil";
owner = "mit-plv";
inherit version;
defaultVersion = with lib.versions; lib.switch coq.version [
{ case = range "8.18" "8.20"; out = "0.0.6"; }
{ case = range "8.17" "8.20"; out = "0.0.5"; }
] null;
releaseRev = v: "v${v}";
release."0.0.6".sha256 = "sha256-c/ddrj0ahuaj9Zu7YBqK7Q0ur+LK7Fgaa//nxQpQcm4=";
release."0.0.5".sha256 = "sha256-vkZIAAr82GNuCGlCVRgSCj/nqIdD8FITBiX1a8fybqw=";
nativeBuildInputs = [ findutils ];
meta = {
description = "Coq library for tactics, basic definitions, sets, maps";
license = lib.licenses.mit;
maintainers = with lib.maintainers; [ stepbrobd ];
};
}

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

@ -57,6 +57,7 @@ let
coqprime = callPackage ../development/coq-modules/coqprime {}; coqprime = callPackage ../development/coq-modules/coqprime {};
coqtail-math = callPackage ../development/coq-modules/coqtail-math {}; coqtail-math = callPackage ../development/coq-modules/coqtail-math {};
coquelicot = callPackage ../development/coq-modules/coquelicot {}; coquelicot = callPackage ../development/coq-modules/coquelicot {};
coqutil = callPackage ../development/coq-modules/coqutil {};
corn = callPackage ../development/coq-modules/corn {}; corn = callPackage ../development/coq-modules/corn {};
deriving = callPackage ../development/coq-modules/deriving {}; deriving = callPackage ../development/coq-modules/deriving {};
dpdgraph = callPackage ../development/coq-modules/dpdgraph {}; dpdgraph = callPackage ../development/coq-modules/dpdgraph {};