Merge pull request #253204 from r-ryantm/auto-update/gama

gama: 2.24 -> 2.25
This commit is contained in:
Weijia Wang 2023-09-05 12:06:00 +02:00 committed by GitHub
commit 4b16df4b63
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,11 +1,11 @@
{ stdenv, fetchurl, lib, expat, octave, libxml2, texinfo, zip }:
stdenv.mkDerivation rec {
pname = "gama";
version = "2.24";
version = "2.25";
src = fetchurl {
url = "mirror://gnu/${pname}/${pname}-${version}.tar.gz";
sha256 = "sha256-AIRqBSO71c26TeQwxjfAGIy8YQddF4tq+ZnWztroyRM=";
sha256 = "sha256-1j4fsPQEaftqmrdk6ZPWKSl7ywA/UPN8bdddGVlPxDQ=";
};
buildInputs = [ expat ];