ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-11-20 00:53:12 +03:00
Code Issues Projects Releases Wiki Activity

metamath: 0.178 -> 0.180

Browse Source
This commit is contained in:
Nathan van Doorn 2020-02-12 11:50:41 +00:00 committed by Jon
parent 2d3163260b
commit 35853d8a1e
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 {
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