diff options
author | Nathan van Doorn <nathan@myrtlesoftware.com> | 2020-02-12 11:50:41 +0000 |
---|---|---|
committer | Jon <jonringer@users.noreply.github.com> | 2020-02-12 10:36:05 -0800 |
commit | 35853d8a1e61ce34721a5f469263cb6b2852c2ff (patch) | |
tree | 5115da51791b96096d43a5b199494b0fa5264abe /pkgs | |
parent | 2d3163260b2e45726e2cb9b3bb9d2fa3f7907041 (diff) | |
download | nixlib-35853d8a1e61ce34721a5f469263cb6b2852c2ff.tar nixlib-35853d8a1e61ce34721a5f469263cb6b2852c2ff.tar.gz nixlib-35853d8a1e61ce34721a5f469263cb6b2852c2ff.tar.bz2 nixlib-35853d8a1e61ce34721a5f469263cb6b2852c2ff.tar.lz nixlib-35853d8a1e61ce34721a5f469263cb6b2852c2ff.tar.xz nixlib-35853d8a1e61ce34721a5f469263cb6b2852c2ff.tar.zst nixlib-35853d8a1e61ce34721a5f469263cb6b2852c2ff.zip |
metamath: 0.178 -> 0.180
Diffstat (limited to 'pkgs')
-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 2213ace8f572..423352955853 100644 --- a/pkgs/development/interpreters/metamath/default.nix +++ b/pkgs/development/interpreters/metamath/default.nix @@ -2,15 +2,15 @@ stdenv.mkDerivation { pname = "metamath"; - version = "0.178"; + version = "0.180"; buildInputs = [ autoreconfHook ]; src = fetchFromGitHub { owner = "metamath"; repo = "metamath-exe"; - rev = "4f59d60aeb03f92aea3cc7ecf5a2c0fcf08900a5"; - sha256 = "0nrl4nzp6rm2sn365xyjf3g5l5fl58kca7rq08lqyz5gla0wgfcf"; + rev = "469e1b253f29be838411e2cc9c93d7704297059c"; + sha256 = "0nazi7z8qrpn7nnmxk99ilwf8smkzh26jcvn17wyfnywxpdsb7wa"; }; # the files necessary to build the DATA target are not in this distribution |