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

metamath: 0.180 -> 0.181

Browse Source
This commit is contained in:
Nathan van Doorn 2020-02-21 09:47:14 +00:00 committed by Alyssa Ross
parent 50c997c000
commit dd938aa157
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,15 +2,15 @@
stdenv.mkDerivation { stdenv.mkDerivation {
pname = "metamath"; pname = "metamath";
version = "0.180"; version = "0.181";
buildInputs = [ autoreconfHook ]; buildInputs = [ autoreconfHook ];
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "metamath"; owner = "metamath";
repo = "metamath-exe"; repo = "metamath-exe";
rev = "469e1b253f29be838411e2cc9c93d7704297059c"; rev = "67cbfa8468deb6f8ad5bedafc6399bee59064764";
sha256 = "0nazi7z8qrpn7nnmxk99ilwf8smkzh26jcvn17wyfnywxpdsb7wa"; sha256 = "1mk3g41qz26j38j68i9qmnl8khkd8jwrzj4vxkb855h4b819s000";
}; };
# the files necessary to build the DATA target are not in this distribution # the files necessary to build the DATA target are not in this distribution