mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-29 17:10:48 +00:00
Code Issues Wiki Activity

metamath: 0.182 -> 0.193

Browse source
This commit is contained in:
Nathan van Doorn 2020-11-16 11:41:34 +00:00
parent ad37c2c445
commit c1407066c4
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.182";
version = "0.193";
buildInputs = [ autoreconfHook ];
src = fetchFromGitHub {
owner = "metamath";
repo = "metamath-exe";
rev = "5df616efe4119ff88daf77e7041d45b6fa39c578";
sha256 = "0amjdgy42c7jypf6sz98iczlxcyl9bqx67ws1q8w2zdqk2izsyjp";
rev = "f973c81222ebe36580a24f0fa7bbb600990af7d6";
sha256 = "1s9hyknfvhj86g3giayyf3dxzg23iij0rs7bdvj075v9qbyhqn9b";
};
meta = with stdenv.lib; {