gpo.zugaina.org

Search Portage & Overlays:

sci-mathematics/why3

Platform for deductive program verification

Screenshots

  • why3-1.5.0
    ~amd64
    coq doc emacs gtk +ocamlopt re sexp stackify +zarith zip +ocamlopt

    View      Download      Browse     License: LGPL-2   
    Overlay: gentoo
  • why3-1.4.1
    ~amd64
    coq doc emacs gtk +ocamlopt re sexp +zarith zip +ocamlopt

    View      Download      Browse     License: LGPL-2   
    Overlay: gentoo
  • why3-1.4.0-r2
    ~amd64
    coq doc emacs gtk +ocamlopt re sexp +zarith zip +ocamlopt

    View      Download      Browse     License: LGPL-2   
    Overlay: gentoo

ChangeLog

commit 4962103953030be5b8f12c33f6ff110952fb6e06
Author: François-Xavier Carton <fx.carton91@gmail.com>
Date: Fri Oct 1 15:07:43 2021 +0200

sci-mathematics/why3: update SRC_URI

Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>

commit 6bd2366827c2e9dbd72d601651bb8348bdb7b04c
Author: François-Xavier Carton <fx.carton91@gmail.com>
Date: Sat Sep 4 14:53:29 2021 +0200

sci-mathematics/why3: no need to die with emake

Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>

commit 9c848300337861a1b241f3aa2811ead4c3d0d2c9
Author: Alessandro Barbieri <lssndrbarbieri@gmail.com>
Date: Mon Jun 28 16:14:32 2021 +0200

*/*: add lang="en" to <longdescription>

Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>

commit 673dc2eb7385a3583a72f665bbf26298fbdc0649
Author: Anna Vyalkova <cyber@sysrq.in>
Date: Sun May 2 06:14:55 2021 +0500

sci-mathematics/*: inherit findlib eclass

Closes: https://bugs.gentoo.org/784677
Closes: https://bugs.gentoo.org/784671
Signed-off-by: Anna Vyalkova <cyber@sysrq.in>

commit 556d223d1e4531cb91e44a21bba602ac92f2a25d
Author: François-Xavier Carton <fx.carton91@gmail.com>
Date: Mon Apr 19 03:03:43 2021 +0200

sci-mathematics/why3: respect CFLAGS & LDFLAGS

Closes: https://bugs.gentoo.org/781650
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>

commit 42c0da6a668a33653427f8b8ff93073a189819c7
Author: François-Xavier Carton <fx.carton91@gmail.com>
Date: Tue Mar 30 21:32:21 2021 +0200

sci-mathematics/why3: bump to 1.4.0

Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>

commit 8774c3bacb82b878b97365d5c3c9764c1d38ae8a
Author: François-Xavier Carton <fx.carton91@gmail.com>
Date: Fri Nov 27 19:16:28 2020 +0100

sci-mathematics/why3: new package

This is a bump from the version in ::science.

Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>