From 6d685d67289afaff9f6a09a05a01cbc825d1bc9c Mon Sep 17 00:00:00 2001
From: StepBroBD <ysun@hey.com>
Date: Thu, 17 Oct 2024 05:08:52 -0400
Subject: [PATCH] coqPackages.coqutil: init at {0.0.5,0.0.6} (#349174)

---
 .../coq-modules/coqutil/default.nix           | 30 +++++++++++++++++++
 pkgs/top-level/coq-packages.nix               |  1 +
 2 files changed, 31 insertions(+)
 create mode 100644 pkgs/development/coq-modules/coqutil/default.nix

diff --git a/pkgs/development/coq-modules/coqutil/default.nix b/pkgs/development/coq-modules/coqutil/default.nix
new file mode 100644
index 000000000000..ceac4b17b4c6
--- /dev/null
+++ b/pkgs/development/coq-modules/coqutil/default.nix
@@ -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 ];
+  };
+}
diff --git a/pkgs/top-level/coq-packages.nix b/pkgs/top-level/coq-packages.nix
index e4c1daf1a9df..7b6dd161bd22 100644
--- a/pkgs/top-level/coq-packages.nix
+++ b/pkgs/top-level/coq-packages.nix
@@ -57,6 +57,7 @@ let
       coqprime = callPackage ../development/coq-modules/coqprime {};
       coqtail-math = callPackage ../development/coq-modules/coqtail-math {};
       coquelicot = callPackage ../development/coq-modules/coquelicot {};
+      coqutil = callPackage ../development/coq-modules/coqutil {};
       corn = callPackage ../development/coq-modules/corn {};
       deriving = callPackage ../development/coq-modules/deriving {};
       dpdgraph = callPackage ../development/coq-modules/dpdgraph {};