b12f/nixpkgs
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

metamath: 0.196 -> 0.198

Browse source
This commit is contained in:
R. Ryantm 2021-12-09 09:30:38 +00:00
parent 9f329731b5
commit 60b93d500e
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 { stdenv.mkDerivation rec {
pname = "metamath"; pname = "metamath";
version = "0.196"; version = "0.198";
nativeBuildInputs = [ autoreconfHook ]; nativeBuildInputs = [ autoreconfHook ];
@ -10,7 +10,7 @@ stdenv.mkDerivation rec {
owner = "metamath"; owner = "metamath";
repo = "metamath-exe"; repo = "metamath-exe";
rev = "v${version}"; rev = "v${version}";
sha256 = "sha256-/ofH5fq7lUxbbRBAczsLNG3UPsOMbCdcxkB3el5OPcU="; sha256 = "sha256-Cg1dgz+uphDlGhKH3mTywtAccWinC5+pwNv4TB3YAnI=";
}; };
meta = with lib; { meta = with lib; {