diff options
author | Nathan van Doorn <nvd1234@gmail.com> | 2020-04-28 00:03:56 +0100 |
---|---|---|
committer | Frederik Rietdijk <freddyrietdijk@fridh.nl> | 2020-05-01 09:22:33 +0200 |
commit | 229cdf3d9948b58eee79d1cee81d14eedb3a157b (patch) | |
tree | e130bc083dc07cb75a4fb5a50ea0d396313ca284 /pkgs/development/interpreters/metamath | |
parent | 839e958f14c00e0a89db8a57d1cd56ef83590989 (diff) | |
download | nixlib-229cdf3d9948b58eee79d1cee81d14eedb3a157b.tar nixlib-229cdf3d9948b58eee79d1cee81d14eedb3a157b.tar.gz nixlib-229cdf3d9948b58eee79d1cee81d14eedb3a157b.tar.bz2 nixlib-229cdf3d9948b58eee79d1cee81d14eedb3a157b.tar.lz nixlib-229cdf3d9948b58eee79d1cee81d14eedb3a157b.tar.xz nixlib-229cdf3d9948b58eee79d1cee81d14eedb3a157b.tar.zst nixlib-229cdf3d9948b58eee79d1cee81d14eedb3a157b.zip |
metamath: 0.181 -> 0.182
Also includes a fix to the makefile that lets the autoconf stuff Just Work(tm)
Diffstat (limited to 'pkgs/development/interpreters/metamath')
-rw-r--r-- | pkgs/development/interpreters/metamath/default.nix | 12 |
1 files changed, 3 insertions, 9 deletions
diff --git a/pkgs/development/interpreters/metamath/default.nix b/pkgs/development/interpreters/metamath/default.nix index 680e4106695b..66352cfdda4b 100644 --- a/pkgs/development/interpreters/metamath/default.nix +++ b/pkgs/development/interpreters/metamath/default.nix @@ -2,23 +2,17 @@ stdenv.mkDerivation { pname = "metamath"; - version = "0.181"; + version = "0.182"; buildInputs = [ autoreconfHook ]; src = fetchFromGitHub { owner = "metamath"; repo = "metamath-exe"; - rev = "67cbfa8468deb6f8ad5bedafc6399bee59064764"; - sha256 = "1mk3g41qz26j38j68i9qmnl8khkd8jwrzj4vxkb855h4b819s000"; + rev = "5df616efe4119ff88daf77e7041d45b6fa39c578"; + sha256 = "0amjdgy42c7jypf6sz98iczlxcyl9bqx67ws1q8w2zdqk2izsyjp"; }; - # the files necessary to build the DATA target are not in this distribution - # luckily, they're not really needed so we don't build it. - makeFlags = [ "DATA=" ]; - - installTargets = [ "install-exec" ]; - meta = with stdenv.lib; { description = "Interpreter for the metamath proof language"; longDescription = '' |