From ffcfc42d4435d09c2c7e56da5564409518dd1871 Mon Sep 17 00:00:00 2001
From: Yifei Sun <ysun@hey.com>
Date: Wed, 16 Oct 2024 16:06:03 -0400
Subject: [PATCH] goose-lang: init at 0.9.1

---
 pkgs/by-name/go/goose-lang/package.nix | 33 ++++++++++++++++++++++++++
 1 file changed, 33 insertions(+)
 create mode 100644 pkgs/by-name/go/goose-lang/package.nix

diff --git a/pkgs/by-name/go/goose-lang/package.nix b/pkgs/by-name/go/goose-lang/package.nix
new file mode 100644
index 000000000000..4d2f96fca783
--- /dev/null
+++ b/pkgs/by-name/go/goose-lang/package.nix
@@ -0,0 +1,33 @@
+{
+  buildGoModule,
+  fetchFromGitHub,
+  lib,
+}:
+
+buildGoModule rec {
+  pname = "goose-lang";
+  version = "0.9.1";
+
+  src = fetchFromGitHub {
+    owner = "goose-lang";
+    repo = "goose";
+    rev = "v${version}";
+    hash = "sha256-P26Q21MWrne1pB3/EvLYp2i8Xw7oG9Waer2hhHyco1A=";
+  };
+
+  vendorHash = "sha256-HCJ8v3TSv4UrkOsRuENWVz5Z7zQ1UsOygx0Mo7MELzY=";
+
+  ldflags = [
+    "-s"
+    "-w"
+  ];
+
+  meta = {
+    description = "Goose converts a small subset of Go to Coq";
+    homepage = "https://github.com/goose-lang/goose";
+    changelog = "https://github.com/goose-lang/goose/releases/tag/v${version}";
+    license = lib.licenses.mit;
+    maintainers = with lib.maintainers; [ stepbrobd ];
+    mainProgram = "goose";
+  };
+}