RedirectedUrl: version 3.1.3_p1-r1: HOMEPAGE: permanently redirected: https://www.flintlib.org/ -> https://flintlib.org/
  RedirectedUrl: version 3.1.3_p1-r1: metadata.xml: remote-id: permanently redirected: https://github.com/wbhart/flint2 -> https://github.com/flintlib/flint