From 7516618e2d0b08ed1a621253f76feec6a32ca8ab Mon Sep 17 00:00:00 2001
From: figsoda <figsoda@pm.me>
Date: Sun, 25 Sep 2022 15:14:36 -0400
Subject: [PATCH] kind2: init at 0.2.77

---
 pkgs/development/compilers/kind2/default.nix | 20 ++++++++++++++++++++
 pkgs/top-level/all-packages.nix              |  2 ++
 2 files changed, 22 insertions(+)
 create mode 100644 pkgs/development/compilers/kind2/default.nix

diff --git a/pkgs/development/compilers/kind2/default.nix b/pkgs/development/compilers/kind2/default.nix
new file mode 100644
index 000000000000..ffb02b3a90cb
--- /dev/null
+++ b/pkgs/development/compilers/kind2/default.nix
@@ -0,0 +1,20 @@
+{ lib, rustPlatform, fetchCrate }:
+
+rustPlatform.buildRustPackage rec {
+  pname = "kind2";
+  version = "0.2.77";
+
+  src = fetchCrate {
+    inherit pname version;
+    sha256 = "sha256-drWAWiSALq8rb3J2phNE/dt4e6xmJY7Ob8cES1kYEPo=";
+  };
+
+  cargoSha256 = "sha256-rF0TvNWE90sUqslBGPnGmD6mZFPlCCkM1jyuFt8n8Nw=";
+
+  meta = with lib; {
+    description = "A functional programming language and proof assistant";
+    homepage = "https://github.com/kindelia/kind2";
+    license = licenses.mit;
+    maintainers = with maintainers; [ figsoda ];
+  };
+}
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index a47449477019..459d38a9caad 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -14190,6 +14190,8 @@ with pkgs;
 
   jwasm =  callPackage ../development/compilers/jwasm { };
 
+  kind2 = callPackage ../development/compilers/kind2 { };
+
   knightos-genkfs = callPackage ../development/tools/knightos/genkfs { };
 
   regenkfs = callPackage ../development/tools/knightos/regenkfs { };