<<< ebuild_homepage_redirections >>> 7|200|2023-04-28|dev-lang/spark|spark-2021.ebuild|http://libre.adacore.com|https://www.adacore.com/download|ada@gentoo.org <<< packages_pkgcheck_scan >>> HttpsUrlAvailable: version 2021: HOMEPAGE: HTTPS url available: http://libre.adacore.com -> https://www.adacore.com/download <<< open bugs >>> https://bugs.gentoo.org/836784 dev-lang/spark-2021_leaks_CFLAGS_into_ada_(warning:_command-line_option_‘-Wimplicit-function-declaration’_is_valid_for_C/ObjC_but_not_for_Ada) https://bugs.gentoo.org/659724 dev-lang/spark-2017:_gnatprove_ignores_-aP_option https://bugs.gentoo.org/883387 dev-lang/spark-2021_does_not_respect_LDFLAGS