<<< ebuild_homepage_redirections >>> 8|200|2023-07-04|sci-mathematics/picosat|picosat-965.ebuild|http://fmv.jku.at/picosat/|https://fmv.jku.at/picosat/|sci-mathematics@gentoo.org <<< packages_pkgcheck_scan >>> HttpsUrlAvailable: version 965: HOMEPAGE: HTTPS url available: http://fmv.jku.at/picosat/ -> https://fmv.jku.at/picosat/ HttpsUrlAvailable: version 965: SRC_URI: HTTPS url available: http://fmv.jku.at/picosat/picosat-965.tar.gz -> https://fmv.jku.at/picosat/picosat-965.tar.gz <<< open bugs >>> https://bugs.gentoo.org/884531 sci-mathematics/picosat-965_fails_to_compile:_picomcs.c:(.text.startup+0x4ad):_undefined_reference_to_picosat_init https://bugs.gentoo.org/884867 sci-mathematics/picosat-965_fails_to_compile_(MUSL-SYSTEM):_picosat.c:8150:10:_fatal_error:_unistd.h:_No_such_file_or_directory https://bugs.gentoo.org/910686 sci-mathematics/picosat-965_-_collect2:_error:_ld_returned_1_exit_status:_./libpicosat.so:_file_not_recognized:_file_format_not_recognized