Index: GNU/gdb/Makefile
===================================================================
--- GNU/gdb/Makefile (revision 33)
+++ GNU/gdb/Makefile (revision 34)
@@ -15,7 +15,7 @@
url = $(DOWNLOAD_SERVER)/sources/GNU/gdb
-versions = 13.2
+versions = 14.1
tarballs = $(addsuffix .tar.xz, $(addprefix gdb-, $(versions)))
sha1s = $(addsuffix .sha1sum, $(tarballs))
Index: GNU/gmp/Makefile
===================================================================
--- GNU/gmp/Makefile (revision 33)
+++ GNU/gmp/Makefile (revision 34)
@@ -15,7 +15,7 @@
url = $(DOWNLOAD_SERVER)/sources/GNU/gmp
-versions = 6.2.1
+versions = 6.3.0
tarballs = $(addsuffix .tar.xz, $(addprefix gmp-, $(versions)))
sha1s = $(addsuffix .sha1sum, $(tarballs))
Index: GNU/mpc/Makefile
===================================================================
--- GNU/mpc/Makefile (revision 33)
+++ GNU/mpc/Makefile (revision 34)
@@ -15,7 +15,7 @@
url = $(DOWNLOAD_SERVER)/sources/GNU/mpc
-versions = 1.2.1
+versions = 1.3.1
tarballs = $(addsuffix .tar.gz, $(addprefix mpc-, $(versions)))
sha1s = $(addsuffix .sha1sum, $(tarballs))
Index: GNU/mpfr/Makefile
===================================================================
--- GNU/mpfr/Makefile (revision 33)
+++ GNU/mpfr/Makefile (revision 34)
@@ -15,7 +15,7 @@
url = $(DOWNLOAD_SERVER)/sources/GNU/mpfr
-versions = 4.1.0
+versions = 4.2.1
tarballs = $(addsuffix .tar.xz, $(addprefix mpfr-, $(versions)))
sha1s = $(addsuffix .sha1sum, $(tarballs))
Index: inria/isl/Makefile
===================================================================
--- inria/isl/Makefile (revision 33)
+++ inria/isl/Makefile (revision 34)
@@ -7,7 +7,7 @@
url = $(DOWNLOAD_SERVER)/sources/packages/l/isl
-versions = 0.25
+versions = 0.26
pkg_name = isl
suffix = tar.xz