<<< ebuild_unused_patches >>> sci-mathematics/frama-c|ocamlgraph185_compat.patch|sci-mathematics@gentoo.org <<< ebuild_unused_patches_simple >>> sci-mathematics/frama-c|sci-mathematics@gentoo.org <<< open bugs >>> https://bugs.gentoo.org/245806 [science_overlay]_sci-mathematics/frama-c https://bugs.gentoo.org/817314 [guru]_sci-mathematics/frama-c-slicing-23.1_fails_to_compile https://bugs.gentoo.org/817365 [guru]_sci-mathematics/frama-c-sparecode-23.1_fails_to_compile https://bugs.gentoo.org/817368 [guru]_sci-mathematics/frama-c-wp-23.1_fails_to_compile