gap: update to 4.14.0.
This commit is contained in:
parent
155027b63d
commit
4925d5f452
@ -1,6 +1,6 @@
|
||||
# Template file for 'gap'
|
||||
pkgname=gap
|
||||
version=4.13.1
|
||||
version=4.14.0
|
||||
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=9794dbdba6fb998e0a2d0aa8ce21fc8848ad3d3f9cc9993b0b8e20be7e1dbeba
|
||||
checksum=845f5272c26feb1b8eb9ef294bf0545f264c1fe5a19b0601bbc65d79d9506487
|
||||
|
||||
if [ "$XBPS_CHECK_PKGS" = full ]; then
|
||||
do_check() {
|
||||
|
Loading…
x
Reference in New Issue
Block a user