public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

metamath: 0.171 -> 0.172

Browse Source
This commit is contained in:
Nathan van Doorn 2019-01-26 23:19:14 +00:00 committed by Robin Gloster
parent 6715469026
commit 28097a54f1
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/development/interpreters/metamath/default.nix
View File

@ -2,7 +2,7 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "metamath-${version}"; name = "metamath-${version}";
version = "0.171"; version = "0.172";
buildInputs = [ autoreconfHook ]; buildInputs = [ autoreconfHook ];
@ -13,8 +13,8 @@ stdenv.mkDerivation rec {
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "Taneb"; owner = "Taneb";
repo = "metamath"; repo = "metamath";
rev = "1c622a844fbdee43f13a629c73d8b33ff7fc4e44"; rev = "43141cd17638f8efb409dc5d46e7de6a6c39ec42";
sha256 = "0bkz75saddlwinyqwmxx89nilaar401j63kgqfqiak8iw2nk3wln"; sha256 = "07c7df0zl0wsb0pvdgkwikpr8kz7fi3mshxzk61vkamyp68djjb5";
}; };
meta = with stdenv.lib; { meta = with stdenv.lib; {