diff options
author | Guillaume Girol <symphorien@users.noreply.github.com> | 2021-01-23 14:37:41 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-23 14:37:41 +0000 |
commit | f168a3dd784bbc6892a9832552f2ab120553e6e2 (patch) | |
tree | 606e037aa05043d3135fb760c2f3bacdc11ddf76 /pkgs/development/interpreters | |
parent | 79c610283db1fba2ab50515151e7bf09639cd433 (diff) | |
parent | ed299a44e00ce8df083d5e9e83253296b9a19e4d (diff) | |
download | nixpkgs-f168a3dd784bbc6892a9832552f2ab120553e6e2.tar nixpkgs-f168a3dd784bbc6892a9832552f2ab120553e6e2.tar.gz nixpkgs-f168a3dd784bbc6892a9832552f2ab120553e6e2.tar.bz2 nixpkgs-f168a3dd784bbc6892a9832552f2ab120553e6e2.tar.lz nixpkgs-f168a3dd784bbc6892a9832552f2ab120553e6e2.tar.xz nixpkgs-f168a3dd784bbc6892a9832552f2ab120553e6e2.tar.zst nixpkgs-f168a3dd784bbc6892a9832552f2ab120553e6e2.zip |
Merge pull request #107785 from Taneb/metamath-194
metamath: 0.193 -> 0.194
Diffstat (limited to 'pkgs/development/interpreters')
-rw-r--r-- | pkgs/development/interpreters/metamath/default.nix | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/pkgs/development/interpreters/metamath/default.nix b/pkgs/development/interpreters/metamath/default.nix index 4612142c782..34591c4c84b 100644 --- a/pkgs/development/interpreters/metamath/default.nix +++ b/pkgs/development/interpreters/metamath/default.nix @@ -1,16 +1,18 @@ { lib, stdenv, fetchFromGitHub, autoreconfHook }: -stdenv.mkDerivation { +let + version = "0.194"; +in stdenv.mkDerivation { pname = "metamath"; - version = "0.193"; + inherit version; buildInputs = [ autoreconfHook ]; src = fetchFromGitHub { owner = "metamath"; repo = "metamath-exe"; - rev = "f973c81222ebe36580a24f0fa7bbb600990af7d6"; - sha256 = "1s9hyknfvhj86g3giayyf3dxzg23iij0rs7bdvj075v9qbyhqn9b"; + rev = "v${version}"; + sha256 = "1bc5h2jdqbgna8zbhqyphlqcldz4vddg72r2rnjjjzxnxb2skvj7"; }; meta = with lib; { @@ -23,7 +25,7 @@ stdenv.mkDerivation { ''; homepage = "http://us.metamath.org"; downloadPage = "http://us.metamath.org/#downloads"; - license = licenses.gpl2; + license = licenses.gpl2Only; maintainers = [ maintainers.taneb ]; platforms = platforms.all; }; |