sci-mathematics/why3 – Gentoo Packages

sci-mathematics/why3-1.6.0 - Error: Cannot load ppx_sexp_conv: this object file uses unsafe features
906225 - Assigned to François-Xavier Carton
sci-mathematics/why3-1.7.2 - [texlive] [meson] Error: Cannot find a physical path bound to logical path Flocq.Version.
946556 - Assigned to François-Xavier Carton
sci-mathematics/why3-1.6.0 - [ncurses-6.5] [icu-75.1] [gcc-15] make inconsistent assumptions over interface Nat
937720 - Assigned to François-Xavier Carton

Gentoo Bugzilla is where we track bugs of Gentoo and its packages; you are welcome to report, confirm and resolve bugs: