pkgs/by-name/go/goose-lang/package.nix

   1 {
   2   buildGoModule,
   3   fetchFromGitHub,
   4   lib,
   5 }:
   6
   7 buildGoModule rec {
   8   pname = "goose-lang";
   9   version = "0.9.1";
  10
  11   src = fetchFromGitHub {
  12     owner = "goose-lang";
  13     repo = "goose";
  14     rev = "v${version}";
  15     hash = "sha256-P26Q21MWrne1pB3/EvLYp2i8Xw7oG9Waer2hhHyco1A=";
  16   };
  17
  18   vendorHash = "sha256-HCJ8v3TSv4UrkOsRuENWVz5Z7zQ1UsOygx0Mo7MELzY=";
  19
  20   ldflags = [
  21     "-s"
  22     "-w"
  23   ];
  24
  25   meta = {
  26     description = "Goose converts a small subset of Go to Coq";
  27     homepage = "https://github.com/goose-lang/goose";
  28     changelog = "https://github.com/goose-lang/goose/releases/tag/v${version}";
  29     license = lib.licenses.mit;
  30     maintainers = with lib.maintainers; [ stepbrobd ];
  31     mainProgram = "goose";
  32   };
  33 }