From 31ac1380013356a9985ab2b634f8c60f4eff88ea Mon Sep 17 00:00:00 2001
From: Yifei Sun <ysun@hey.com>
Date: Wed, 16 Oct 2024 21:33:47 -0400
Subject: [PATCH] coqPackages.coq-tactical: init at unstable-2022-02-15

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

diff --git a/pkgs/development/coq-modules/coq-tactical/default.nix b/pkgs/development/coq-modules/coq-tactical/default.nix
new file mode 100644
index 000000000000..55254fc86a3e
--- /dev/null
+++ b/pkgs/development/coq-modules/coq-tactical/default.nix
@@ -0,0 +1,39 @@
+{
+  coq,
+  lib,
+  mkCoqDerivation,
+  version ? null,
+}:
+
+mkCoqDerivation {
+  pname = "coq-tactical";
+  owner = "tchajed";
+
+  inherit version;
+  displayVersion.coq-tactical = v: "unstable-${v}";
+  defaultVersion =
+    with lib.versions;
+    lib.switch coq.version [
+      {
+        case = range "8.11" "8.20";
+        out = "2022-02-15";
+      }
+    ] null;
+
+  release."2022-02-15" = {
+    rev = "7c26f9a017395c240845184dfed23489d29dbae5";
+    sha256 = "sha256-SNoQzGYw5tuabHUDwMAyUsAa/WNoYjmyR85b7a0hVl4=";
+  };
+
+  installPhase = ''
+    COQLIB=$out/lib/coq/${coq.coq-version}
+    mkdir -p $COQLIB/user-contrib/Tactical
+    cp -pR src/* $COQLIB/user-contrib/Tactical
+  '';
+
+  meta = {
+    description = "Library of Coq proof automation";
+    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..0e44d88738d3 100644
--- a/pkgs/top-level/coq-packages.nix
+++ b/pkgs/top-level/coq-packages.nix
@@ -47,6 +47,7 @@ let
       coq-haskell = callPackage ../development/coq-modules/coq-haskell { };
       coq-lsp = callPackage ../development/coq-modules/coq-lsp {};
       coq-record-update = callPackage ../development/coq-modules/coq-record-update { };
+      coq-tactical = callPackage ../development/coq-modules/coq-tactical {};
       coqeal = callPackage ../development/coq-modules/coqeal (
         (lib.optionalAttrs (lib.versions.range "8.13" "8.14" self.coq.coq-version) {
           bignums = self.bignums.override { version = "${self.coq.coq-version}.0"; };