<<< packages_pkgcheck_scan >>> DeadUrl: version 2009.11a-r1: SRC_URI: 404 Client Error: Not Found for url: https://dev.gentoo.org/~jlec/distfiles/LADR-2009-11A-makefile.patch.xz <<< open bugs >>> https://bugs.gentoo.org/728030 sci-mathematics/prover9-2009.11a-r1_does_not_respect_LDFLAGS https://bugs.gentoo.org/871261 sci-mathematics/prover9-2009.11a_-_select.c:_error:_parameter_max_constrained_was_not_declared,_defaults https://bugs.gentoo.org/881475 sci-mathematics/prover9-2009.11a_-_/.../cp:_cannot_stat_mace4:_No_such_file_or_directory https://bugs.gentoo.org/886597 sci-mathematics/prover9-2009.11a-r1_fails_to_compile_(CLANG-STRICTER-SYSTEM):_select.c:236:44:_error:_parameter_max_constrained_was_not_declared,_defaults_to_int;_ISO_C99_and_later_do_not_support_implicit_int_[-Werror,-Wimplicit-int] https://bugs.gentoo.org/887409 sci-mathematics/prover9-2009.11a_-_/.../ld:_cannot_find_index_lits.o:_No_such_file_or_directory https://bugs.gentoo.org/911554 sci-mathematics/prover9-2009.11a_-_/.../cp:_cannot_stat_prover9:_No_such_file_or_directory