diff options
author | Nathan van Doorn <nathan@myrtlesoftware.com> | 2020-02-21 09:47:14 +0000 |
---|---|---|
committer | Alyssa Ross <hi@alyssa.is> | 2020-03-14 03:24:44 +0000 |
commit | dd938aa1575aa7fccde823b58ed2b302940691e3 (patch) | |
tree | 31cfcc0da267b3d9f6cb8167b1d3580803f5a47c /pkgs/development/interpreters/metamath | |
parent | 50c997c0009c2b69b8e2f23dd66d7821d0328efa (diff) |
metamath: 0.180 -> 0.181
Diffstat (limited to 'pkgs/development/interpreters/metamath')
-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 423352955853..42b95f341ba9 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.180"; + version = "0.181"; buildInputs = [ autoreconfHook ]; src = fetchFromGitHub { owner = "metamath"; repo = "metamath-exe"; - rev = "469e1b253f29be838411e2cc9c93d7704297059c"; - sha256 = "0nazi7z8qrpn7nnmxk99ilwf8smkzh26jcvn17wyfnywxpdsb7wa"; + rev = "67cbfa8468deb6f8ad5bedafc6399bee59064764"; + sha256 = "1mk3g41qz26j38j68i9qmnl8khkd8jwrzj4vxkb855h4b819s000"; }; # the files necessary to build the DATA target are not in this distribution |