diff options
| author | Nathan van Doorn <nvd1234@gmail.com> | 2019-01-26 23:19:14 +0000 |
|---|---|---|
| committer | Robin Gloster <mail@glob.in> | 2019-01-29 10:58:21 +0000 |
| commit | 28097a54f1b7f934767b4f0f884caccc1fec6029 (patch) | |
| tree | 61246fa28477361ce26f42b13d4e83a4c32cdfbd /pkgs/development/interpreters | |
| parent | 6715469026a756d40e32c2dd472f68f50595e14e (diff) | |
| download | nixlib-28097a54f1b7f934767b4f0f884caccc1fec6029.tar nixlib-28097a54f1b7f934767b4f0f884caccc1fec6029.tar.gz nixlib-28097a54f1b7f934767b4f0f884caccc1fec6029.tar.bz2 nixlib-28097a54f1b7f934767b4f0f884caccc1fec6029.tar.lz nixlib-28097a54f1b7f934767b4f0f884caccc1fec6029.tar.xz nixlib-28097a54f1b7f934767b4f0f884caccc1fec6029.tar.zst nixlib-28097a54f1b7f934767b4f0f884caccc1fec6029.zip | |
metamath: 0.171 -> 0.172
Diffstat (limited to 'pkgs/development/interpreters')
| -rw-r--r-- | pkgs/development/interpreters/metamath/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/development/interpreters/metamath/default.nix b/pkgs/development/interpreters/metamath/default.nix index fedb9f59f80f..e8e23cee830a 100644 --- a/pkgs/development/interpreters/metamath/default.nix +++ b/pkgs/development/interpreters/metamath/default.nix @@ -2,7 +2,7 @@ stdenv.mkDerivation rec { name = "metamath-${version}"; - version = "0.171"; + version = "0.172"; buildInputs = [ autoreconfHook ]; @@ -13,8 +13,8 @@ stdenv.mkDerivation rec { src = fetchFromGitHub { owner = "Taneb"; repo = "metamath"; - rev = "1c622a844fbdee43f13a629c73d8b33ff7fc4e44"; - sha256 = "0bkz75saddlwinyqwmxx89nilaar401j63kgqfqiak8iw2nk3wln"; + rev = "43141cd17638f8efb409dc5d46e7de6a6c39ec42"; + sha256 = "07c7df0zl0wsb0pvdgkwikpr8kz7fi3mshxzk61vkamyp68djjb5"; }; meta = with stdenv.lib; { |