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 /pkgs/development/interpreters | |
| parent | 3de56b05a38a2d3dacaf282e9ae9b18413ea8b72 (diff) | |
| download | nixpkgs-a856e800f7a019c10598b11496cf21890f856fb6.tar nixpkgs-a856e800f7a019c10598b11496cf21890f856fb6.tar.gz nixpkgs-a856e800f7a019c10598b11496cf21890f856fb6.tar.bz2 nixpkgs-a856e800f7a019c10598b11496cf21890f856fb6.tar.lz nixpkgs-a856e800f7a019c10598b11496cf21890f856fb6.tar.xz nixpkgs-a856e800f7a019c10598b11496cf21890f856fb6.tar.zst nixpkgs-a856e800f7a019c10598b11496cf21890f856fb6.zip | |
metamath: refer to tag rather than commit
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
Diffstat (limited to 'pkgs/development/interpreters')
| -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 8c916f1b1b3..526ed66a7f9 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"; }; |