diff options
author | Nathan van Doorn <nvd1234@gmail.com> | 2020-12-28 17:41:20 +0000 |
---|---|---|
committer | Nathan van Doorn <nvd1234@gmail.com> | 2020-12-28 17:45:29 +0000 |
commit | a856e800f7a019c10598b11496cf21890f856fb6 (patch) | |
tree | fc81fb4045ef0325c316c6eadedc221d8c89dd8c | |
parent | 3de56b05a38a2d3dacaf282e9ae9b18413ea8b72 (diff) |
metamath: refer to tag rather than commit
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
-rw-r--r-- | pkgs/development/interpreters/metamath/default.nix | 8 |
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"; }; |