nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-09-29 11:20:10 +00:00
Code Issues Packages Projects Releases Wiki Activity

verifpal: 1.4.10 -> 1.6.1

Browse Source
This commit is contained in:
R. Ryantm
2026-09-25 07:33:10 +00:00
parent ffb2a6e0df
commit 2b1bcbf5ca
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -6,16 +6,16 @@
rustPlatform.buildRustPackage (finalAttrs: {
pname = "verifpal";
version = "1.4.10";
version = "1.6.1";
src = fetchFromGitHub {
owner = "symbolicsoft";
repo = "verifpal";
tag = "v${finalAttrs.version}";
hash = "sha256-Cg8qaOGAGRYPacbv4WswcEkQrNRSh5xtO5y6gsUW3x8=";
hash = "sha256-7OeGuZV8M/0/Hjn3gD+iEqsPmSNAgUK/Usf4eEXoNJ4=";
};
cargoHash = "sha256-c5cnkZD5XPpYab0JOF8L5h7U5GbvHBzLXH1jq4b5Y1w=";
cargoHash = "sha256-7uMs6DSZVUFZh1UBzAtyqJhQjuUVen0O9Mx8vmbMedY=";
meta = {
homepage = "https://verifpal.com/";