gap: update to 4.12.2
This commit is contained in:
parent
15d93b643b
commit
ff6ee5eb31
@ -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
|
||||
|
Loading…
x
Reference in New Issue
Block a user