Merge pull request #184193 from r-ryantm/auto-update/gmm

gmm: 5.4 -> 5.4.2
This commit is contained in:
Jonas Heinrich 2022-08-21 15:08:36 +02:00 committed by GitHub
commit 1f89efee02
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,11 +2,11 @@
stdenv.mkDerivation rec {
pname = "gmm";
version = "5.4";
version = "5.4.2";
src = fetchurl {
url = "mirror://savannah/getfem/stable/${pname}-${version}.tar.gz";
sha256 = "0mhygfpsdyr0d4h3sn6g7nxn149yrlqv7r2h34yqkrpv1q4daqvi";
sha256 = "sha256-UgbnMmQ/aTQQkCiy8XNmDywu3LDuJpIo1pSsym4iyIo=";
};
meta = with lib; {