This package is a GAP interface to 4ti2.
gap-pkg-4ti2interface-2023.02.04-1.fc41.src.rpm
For the purpose of submitting this package to Fedora, here is the RPM spec file.