From 222434802ebc1056c4813dceae1b2427eb9b00d6 Mon Sep 17 00:00:00 2001 From: Max Horn Date: Wed, 11 Jan 2023 08:41:45 +0100 Subject: [PATCH] gap: update to 4.12.2 --- srcpkgs/gap/template | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/srcpkgs/gap/template b/srcpkgs/gap/template index 277537fe0fa3..63d1194d45dd 100644 --- a/srcpkgs/gap/template +++ b/srcpkgs/gap/template @@ -1,6 +1,6 @@ # Template file for 'gap' pkgname=gap -version=4.12.1 +version=4.12.2 revision=1 build_style=gnu-configure makedepends="gmp-devel zlib-devel readline-devel" @@ -11,7 +11,7 @@ license="GPL-2.0-or-later" homepage="https://www.gap-system.org/" changelog="https://raw.githubusercontent.com/gap-system/gap/master/CHANGES.md" distfiles="https://github.com/gap-system/gap/releases/download/v${version}/gap-${version}.tar.gz" -checksum=f9ebef11ee31b210ce36e3c70960742b4e253282bbd5270adc9324273c92b016 +checksum=672308745eb78a222494ee8dd6786edd5bc331456fcc6456ac064bdb28d587a8 if [ "$XBPS_CHECK_PKGS" = full ]; then # not sure about this -- takes about 25 minutes