verifpal: 0.27.0 > 0.27.2

NixOS · Aug 27, 2023 · a37864e · a37864e
1 parent 16007bb
commit a37864e
Show file tree

Hide file tree

Showing 2 changed files with 37 additions and 35 deletions.
diff --git a/pkgs/tools/security/verifpal/default.nix b/pkgs/tools/security/verifpal/default.nix
@@ -1,35 +1,2 @@
-{ lib
-, fetchgit
-, buildGoModule
-, pigeon
-}:
-
-buildGoModule rec {
-  pname = "verifpal";
-  version = "0.27.0";
-
-  src = fetchgit {
-    url = "https://source.symbolic.software/verifpal/verifpal.git";
-    rev = "v${version}";
-    hash = "sha256-rihY5p6nJ1PKjI+gn3NNXy+uzeBG2UNyRYy3UjScf2Q=";
-  };
-
-  vendorHash = "sha256-XOCRwh2nEIC+GjGwqd7nhGWQD7vBMLEZZ2FNxs0NX+E=";
-
-  nativeBuildInputs = [ pigeon ];
-
-  subPackages = [ "cmd/verifpal" ];
-
-  # goversioninfo is for Windows only and can be skipped during go generate
-  preBuild = ''
-    substituteInPlace cmd/verifpal/main.go --replace "go:generate goversioninfo" "(disabled goversioninfo)"
-    go generate verifpal.com/cmd/verifpal
-  '';
-
-  meta = {
-    homepage = "https://verifpal.com/";
-    description = "Cryptographic protocol analysis for students and engineers";
-    maintainers = with lib.maintainers; [ zimbatm ];
-    license = with lib.licenses; [ gpl3 ];
-  };
-}
+{ pkgs ? import <nixpkgs> {} }:
+pkgs.callPackage ./derivation.nix {}
diff --git a/pkgs/tools/security/verifpal/derivation.nix b/pkgs/tools/security/verifpal/derivation.nix
@@ -0,0 +1,35 @@
+{ lib
+, fetchgit
+, buildGoModule
+, pigeon
+}:
+
+buildGoModule rec {
+  pname = "verifpal";
+  version = "0.27.2";
+
+  src = fetchgit {
+    url = "https://github.com/symbolicsoft/verifpal.git";
+    rev = "v${version}";
+    hash = "sha256-2R9yljkCTH/eKgssKV5XThQbzZ3wLEtScKsuG+YOeNk=";
+  };
+
+  vendorHash = "sha256-XOCRwh2nEIC+GjGwqd7nhGWQD7vBMLEZZ2FNxs0NX+E=";
+
+  nativeBuildInputs = [ pigeon ];
+
+  subPackages = [ "cmd/verifpal" ];
+
+  # goversioninfo is for Windows only and can be skipped during go generate
+  preBuild = ''
+    substituteInPlace cmd/verifpal/main.go --replace "go:generate goversioninfo" "(disabled goversioninfo)"
+    go generate verifpal.com/cmd/verifpal
+  '';
+
+  meta = {
+    homepage = "https://verifpal.com/";
+    description = "Cryptographic protocol analysis for students and engineers";
+    maintainers = with lib.maintainers; [ zimbatm ];
+    license = with lib.licenses; [ gpl3 ];
+  };
+}