verifpal: 0.26.1 -> 0.27.0 (#240880)

This commit is contained in:
Aaron Jheng 2023-07-02 04:26:36 +08:00 committed by GitHub
parent 931b8a4979
commit b03ec6c15f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -6,15 +6,15 @@
buildGoModule rec {
pname = "verifpal";
version = "0.26.1";
version = "0.27.0";
src = fetchgit {
url = "https://source.symbolic.software/verifpal/verifpal.git";
rev = "v${version}";
sha256 = "sha256-y07RXv2QSyUJpGuFsLJ2sGNo4YzhoCYQr3PkUj4eIOY=";
hash = "sha256-rihY5p6nJ1PKjI+gn3NNXy+uzeBG2UNyRYy3UjScf2Q=";
};
vendorSha256 = "sha256-gUpgnd/xiLqRNl1bPzVp+0GM/J5GEx0VhUfo6JsX8N8=";
vendorHash = "sha256-XOCRwh2nEIC+GjGwqd7nhGWQD7vBMLEZZ2FNxs0NX+E=";
nativeBuildInputs = [ pigeon ];