nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-22 15:03:28 +00:00
Code Issues Packages Projects Releases Wiki Activity

goose-lang: init at 0.9.1 (#349128)

Browse Source
This commit is contained in:
Peder Bergebakken Sundt 2024-10-19 22:59:32 +02:00 committed by GitHub
commit 9d72554949
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 33 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

33
pkgs/by-name/go/goose-lang/package.nix Normal file
View File

@ -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";
};
}