Proxied Maintainer

François-Xavier Carton

Bug Reports

• 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.6.0 - [ncurses-6.5] [icu-75.1] [gcc-15] make inconsistent assumptions over interface Nat

  937720 - Assigned to François-Xavier Carton
• dev-ml/yojson-2.2.2-r1 - [libtool] [gcc-15] make inconsistent assumptions over interface Stdppx

  941458 - 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

Keywording Bug Reports

• Please keyword opam related packages (pass 2)

  944753 - Assigned to Gentoo Team for the ML programming language family