dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

verifpal: 0.27.0 -> 0.27.4

Browse Source
This commit is contained in:
error 2024-11-18 11:32:24 +01:00
parent 22354d579d
commit 8dd8ed68a1
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 ];