Gentoo Packages
Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
  • Home
  • Packages
  • Maintainers
  • USE flags
  • Architectures
  • About

sci-mathematics/
why3

Platform for deductive program verification

https://www.why3.org/

Overview Dependencies QA report Pull requests 0 Bugs 3 Security 0 Changelog

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

Description

Gentoo Bugzilla is where we track bugs of Gentoo and its packages; you are welcome to report, confirm and resolve bugs:
  • File a new Bug
  • Confirm a bug
  • Participate in our monthly Bugday

Shortcuts

  • Packages Bugs (3)
  • Stabilization Bugs (0)
  • Keywording Bugs (0)
© 2001–2025 Gentoo Authors
Gentoo is a trademark of the Gentoo Foundation, Inc. and of Förderverein Gentoo e.V. The contents of this document, unless otherwise expressly stated, are licensed under the CC-BY-SA-4.0 license. The Gentoo Name and Logo Usage Guidelines apply.
Contact
v1.0.3