| ID | Product | Comp | Assignee▲ | Status▲ | Resolution | Summary | Changed |
|---|---|---|---|---|---|---|---|
| 945325 | Gentoo L | Current | ada | CONF | --- | sci-mathematics/why3-for-spark-2021-r1 - [ncurses-6.5] [meson] [gcc-15] srccpulimit-unix.c: error: assignment to _sighandler_t {aka void ( )(int)} from incompatible point | 2024-12-15 |
| 906225 | Gentoo L | Current | fx.carton91 | CONF | --- | sci-mathematics/why3-1.6.0 - Error: Cannot load ppx_sexp_conv: this object file uses unsafe features | 2023-05-12 |
| 937720 | Gentoo L | Current | fx.carton91 | CONF | --- | sci-mathematics/why3-1.6.0 - [ncurses-6.5] [icu-75.1] [gcc-15] make inconsistent assumptions over interface Nat | 2024-08-10 |
| 946556 | Gentoo L | Current | fx.carton91 | CONF | --- | sci-mathematics/why3-1.7.2 - [texlive] [meson] Error: Cannot find a physical path bound to logical path Flocq.Version. | 2024-12-16 |
| 952926 | Gentoo L | Current | fx.carton91 | CONF | --- | sci-mathematics/why3-1.7.2 - [meson] [gcc-15] Error: Syntax error | Sun 08:14 |
File a new bug in the "Current packages" component of the "Gentoo Linux" product