Trac #31025: FPLLL 5.4.0 and FPyLLL 0.5.4

Tarball URLs - see `checksums.ini`

URL: https://trac.sagemath.org/31025
Reported by: malb
Ticket author(s): Martin Albrecht
Reviewer(s): Matthias Koeppe

build/pkgs/fplll/checksums.ini

@@ -1,5 +1,5 @@
 tarball=fplll-VERSION.tar.gz
-sha1=3ab5e269fdf73b6f933b24db656e5c55d83aa690
-md5=31f0f5d2045802d0beb8945dd0fa07f0
-cksum=2692708834
-upstream_url=https://github.com/fplll/fplll/releases/download/VERSION/fplll-VERSION.tar.gz
+sha1=a62fc9aa2a4736e9680a336b092f432c31ddac43
+md5=db2f0f46d4de3e8ab8ed73a79d19ffc3
+cksum=1237963825
+upstream_url=https://github.com/fplll/fplll/releases/download/VERSION/fplll-VERSION.tar.gz

build/pkgs/fplll/package-version.txt

@@ -1 +1 @@
-5.3.3
+5.4.0

build/pkgs/fplll/spkg-configure.m4

@@ -4,8 +4,11 @@ SAGE_SPKG_CONFIGURE([fplll], [
     dnl if there's a usable system copy of fplll. Unless there's
     dnl a system that ships fplll without fplll.pc file, falling
     dnl back to a manual header/library search is pointless.
+    dnl
+    dnl Trac #31025: FPLLL/FPyLLL make no guarantee regarding compatibility
+    dnl other than "whatever versions were released at the same time should work together"
     PKG_CHECK_MODULES([FPLLL],
-                      [fplll >= 5.3],
+                      [fplll == 5.4],
                       [sage_spkg_install_fplll=no],
                       [sage_spkg_install_fplll=yes])
   ])

build/pkgs/fpylll/checksums.ini

@@ -1,4 +1,5 @@
 tarball=fpylll-VERSION.tar.gz
-sha1=b1f2d6eae30ce083c4282384049989fe45bd33cd
-md5=95ad1823e15031f12603c8f38acb1477
-cksum=2108756831
+sha1=4f54d882d2163c54c48a91ea49f9a938227b71c2
+md5=c4131f71e72d5ee6d5eec9d77e438c8d
+cksum=4098460220
+upstream_url=https://github.com/fplll/fpylll/releases/download/VERSION/fpylll-VERSION.tar.gz

build/pkgs/fpylll/install-requires.txt

@@ -1 +1 @@
-fpylll >=0.5.1dev
+fpylll ==0.5.4

build/pkgs/fpylll/package-version.txt

@@ -1 +1 @@
-0.5.2dev
+0.5.4