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

[Backport release-24.11] verifpal: 0.27.0 -> 0.27.4 (#356999)

Browse Source
This commit is contained in:
Nick Cao 2024-11-19 09:44:26 -05:00 committed by GitHub
commit 5ba4ec6c69
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 7 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
pkgs/by-name/ve/verifpal/package.nix
View File

@ -1,20 +1,21 @@
{ lib
, fetchgit
, fetchFromGitHub
, buildGoModule
, pigeon
}:
buildGoModule rec {
pname = "verifpal";
version = "0.27.0";
version = "0.27.4";
src = fetchgit {
url = "https://source.symbolic.software/verifpal/verifpal.git";
src = fetchFromGitHub {
owner = "symbolicsoft";
repo = "verifpal";
rev = "v${version}";
hash = "sha256-rihY5p6nJ1PKjI+gn3NNXy+uzeBG2UNyRYy3UjScf2Q=";
hash = "sha256-kBeQ7U97Ezj85A/FbNnE1dXR7VJzx0EUrDbzwOgKl8E=";
};
vendorHash = "sha256-XOCRwh2nEIC+GjGwqd7nhGWQD7vBMLEZZ2FNxs0NX+E=";
vendorHash = "sha256-FvboLGdT+/W5on7NSzRp9QfV2peNVICypSFWAGFakLU=";
nativeBuildInputs = [ pigeon ];