Merge pull request #206769 from collares/gap-4.12.2

gap: 4.12.1 -> 4.12.2
This commit is contained in:
7c6f434c 2022-12-22 18:27:13 +00:00 committed by GitHub
commit 7fd752872e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -66,11 +66,11 @@ in
stdenv.mkDerivation rec {
pname = "gap";
# https://www.gap-system.org/Releases/
version = "4.12.1";
version = "4.12.2";
src = fetchurl {
url = "https://github.com/gap-system/gap/releases/download/v${version}/gap-${version}.tar.gz";
sha256 = "sha256-+evvEe4xshDONuPHCWB0K04lMoK71ScK3JMkJzySsBY=";
sha256 = "sha256-ZyMIdF63iiIklO6N1nhu3VvDMUVvzGRWrAZL2yjVh6g=";
};
# remove all non-essential packages (which take up a lot of space)