Skip to content

Commit ab138e1

Browse files
committed
update GAP to 4.12.2
1 parent 8db52f7 commit ab138e1

File tree

3 files changed

+4
-15
lines changed

3 files changed

+4
-15
lines changed

build/pkgs/gap/checksums.ini

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
tarball=gap-VERSION.tar.gz
2-
sha1=72e1e31c16cb4b343dc0defef1357198c2e68ef5
3-
md5=daeb412b41a518903e60d39b94f8797b
4-
cksum=1088892847
2+
sha1=a6e36f3f874a2c46f51561402634497eab705cca
3+
md5=c5cd9f272f2703d7a3649ad7193b2d90
4+
cksum=2760477284
55
upstream_url=https://github.com/gap-system/gap/releases/download/vVERSION/gap-VERSION.tar.gz

build/pkgs/gap/package-version.txt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
4.12.1.p1
1+
4.12.2

build/pkgs/gap/patches/pr5235.patch

Lines changed: 0 additions & 11 deletions
This file was deleted.

0 commit comments

Comments
 (0)