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

Merge pull request #149818 from r-ryantm/auto-update/metamath

Browse Source 
metamath: 0.196 -> 0.198
This commit is contained in:
Ryan Mulligan 2021-12-09 20:46:40 -08:00 committed by GitHub
commit bb042ead2c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/development/interpreters/metamath/default.nix
View File

@ -2,7 +2,7 @@
stdenv.mkDerivation rec {
pname = "metamath";
version = "0.196";
version = "0.198";
nativeBuildInputs = [ autoreconfHook ];
@ -10,7 +10,7 @@ stdenv.mkDerivation rec {
owner = "metamath";
repo = "metamath-exe";
rev = "v${version}";
sha256 = "sha256-/ofH5fq7lUxbbRBAczsLNG3UPsOMbCdcxkB3el5OPcU=";
sha256 = "sha256-Cg1dgz+uphDlGhKH3mTywtAccWinC5+pwNv4TB3YAnI=";
};
meta = with lib; {