metamath: refer to tag rather than commit

Co-authored-by: Sandro <sandro.jaeckel@gmail.com>

1 files changed, 5 insertions, 3 deletions

diff --git a/pkgs/development/interpreters/metamath/default.nix b/pkgs/development/interpreters/metamath/default.nix
index 8c916f1b1b33..526ed66a7f9d 100644
--- a/pkgs/development/interpreters/metamath/default.nix
+++ b/pkgs/development/interpreters/metamath/default.nix
@@ -1,15 +1,17 @@
 { stdenv, fetchFromGitHub, autoreconfHook }:
 
-stdenv.mkDerivation {
-  pname = "metamath";
+let
   version = "0.194";
+in stdenv.mkDerivation {
+  pname = "metamath";
+  inherit version;
 
   buildInputs = [ autoreconfHook ];
 
   src = fetchFromGitHub {
     owner = "metamath";
     repo = "metamath-exe";
-    rev = "01ff8f0d7a4b4e90c9885f9021fe8a944771cee6";
+    rev = "v${version}";
     sha256 = "1bc5h2jdqbgna8zbhqyphlqcldz4vddg72r2rnjjjzxnxb2skvj7";
   };