gpo.zugaina.org

Search Portage & Overlays:

sci-mathematics/why3

Platform for deductive program verification

Screenshots

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

    View      Download      Browse     License: LGPL-2   
    Overlay: guru
  • why3-1.3.3
    ~amd64
    float frama-c examples doc

    View      Download      Browse     License: LGPL-2   
    Overlay: science
  • why3-1.3.3
    ~amd64
    coq emacs gtk +ocamlopt re +zarith zip

    View      Download      Browse     License: LGPL-2   
    Overlay: guru

ChangeLog

commit e6a9d839270d75261caea7f633aea55c6bb9cd33
Author: Andrew Ammerlaan <andrewammerlaan@riseup.net>
Date: Thu Mar 4 14:47:18 2021 +0100

sci-mathematics/why3: fix StaticURL

Package-Manager: Portage-3.0.16, Repoman-3.0.2
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@riseup.net>

commit 4d56f41bcbf02ab76cd1d36ecc7e1f93a3261ce2
Author: Andrew Ammerlaan <andrewammerlaan@riseup.net>
Date: Thu Mar 4 14:07:33 2021 +0100

sci-mathematics/why3: use the proper version number for frame-c

Package-Manager: Portage-3.0.16, Repoman-3.0.2
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@riseup.net>

commit 3da11fc58fc8db8834367e4d3fbb36e1e51011f3
Author: Andrew Ammerlaan <andrewammerlaan@riseup.net>
Date: Thu Mar 4 12:52:56 2021 +0100

sci-mathematics/why3: drop old

Package-Manager: Portage-3.0.16, Repoman-3.0.2
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@riseup.net>

commit bd7ac0e244a891713e3dea57ca737b4dfd980175
Author: Andrew Ammerlaan <andrewammerlaan@riseup.net>
Date: Thu Mar 4 12:52:39 2021 +0100

sci-mathematics/why3: version bump 1.3.3, EAPI bump

Package-Manager: Portage-3.0.16, Repoman-3.0.2
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@riseup.net>

commit 3072d10e6c4f21185d53e4728d0fa0fad58537e7
Author: Justin Lecher <jlec@gentoo.org>
Date: Sun Dec 10 22:20:38 2017 +0000

Update Manifests to new hashes

Signed-off-by: Justin Lecher <jlec@gentoo.org>

commit 1e04d5868f177eb639f03889b59d2cba00206578
Author: Justin Lecher <jlec@gentoo.org>
Date: Sat Nov 18 21:01:49 2017 +0000

Second try to clean spaces in metadata.xml

Signed-off-by: Justin Lecher <jlec@gentoo.org>

commit bce61aa3e4fe85fe411df858eb30ebe72a3a8f88
Author: Justin Lecher <jlec@gentoo.org>
Date: Sat Nov 18 20:39:44 2017 +0000

Consistently ident with tabs

Signed-off-by: Justin Lecher <jlec@gentoo.org>

commit f69e73182fc7cdc6c600a72fceb88ae1626db25d
Author: Justin Lecher <jlec@gentoo.org>
Date: Sat Feb 25 16:50:59 2017 +0000

Drop leftover from CVS in HEADER

Signed-off-by: Justin Lecher <jlec@gentoo.org>

commit 51abf617505aeccd1d7c9e866e206563d71ad3d0
Author: Marius Brehler <marbre@linux.sungazer.de>
Date: Wed Jun 15 16:55:40 2016 +0200

sci-mathematics/why3: Drop ~x86 keyword

Package-Manager: portage-2.2.28

commit 057a98c5e6346d6696fcc7b0ec8fefc9e826245f
Author: Justin Lecher <jlec@gentoo.org>
Date: Mon Jan 25 09:53:09 2016 +0100

metadata.xml: Set type

Signed-off-by: Justin Lecher <jlec@gentoo.org>

commit b9d823e1ea1018d1356a0c18a083eab4d5ea6d8d
Author: Justin Lecher <jlec@gentoo.org>
Date: Mon Jan 25 09:50:12 2016 +0100

metadata.xml: convert hard -> proj

Signed-off-by: Justin Lecher <jlec@gentoo.org>

commit 26e6def0b3eb2ebcf04bf0d1a43f84db0a5b1240
Author: Justin Lecher <jlec@gentoo.org>
Date: Mon Jan 25 09:49:16 2016 +0100

matadata.xml: Pre Cleanup

Signed-off-by: Justin Lecher <jlec@gentoo.org>

commit 2ef24e800910be3786e23a31a0217ba0f38659f8
Author: Justin Lecher <jlec@gentoo.org>
Date: Thu Jan 7 15:10:39 2016 +0100

Drop ChangeLogs in favour of commit messages

Signed-off-by: Justin Lecher <jlec@gentoo.org>

commit 6ab11cecb4abbedda99c81847ad300601de345bc
Author: Justin Lecher <jlec@gentoo.org>
Date: Wed Sep 23 14:47:53 2015 +0200

Use default functions

Signed-off-by: Justin Lecher <jlec@gentoo.org>

commit 6271f0c55cbb6af7fe88ae1ec9d7dbdedd562565
Author: Justin Lecher <jlec@gentoo.org>
Date: Mon Aug 17 08:53:12 2015 +0200

Convert all $Header$ to $Id$ tags as it has be done in gentoo.git

Signed-off-by: Justin Lecher <jlec@gentoo.org>

commit a891336052fb27fd9f3f82e33c30f0984f50ea54
Author: Justin Lecher <jlec@gentoo.org>
Date: Sun Jun 21 12:25:27 2015 +0200

Revert "Gentoo does https by default now"

This reverts commit 98718494343af4990facdefb0033471686e975a6.

commit 98718494343af4990facdefb0033471686e975a6
Author: Justin Lecher <jlec@gentoo.org>
Date: Sun Jun 21 12:14:25 2015 +0200

Gentoo does https by default now

Signed-off-by: Justin Lecher <jlec@gentoo.org>

commit c901a3e918a37be894738ac50ba0b12752916903
Author: Marius Brehler <marbre@linux.sungazer.de>
Date: Sun Feb 8 11:04:11 2015 +0100

sci-mathematics/why3-0.83: Cleanup ebuild

commit 87a518c55c7376f2ef9d0e13487a1e81b74eb977
Author: Christoph Junghans <ottxor@gentoo.org>
Date: Mon Sep 15 21:34:14 2014 -0600

drop autotools.eclass

Package-Manager: portage-2.2.8-r1

commit 637e6ccd3529b1d3c9c69d192426315c17a3cbe8
Author: Jauhien Piatlicki <jauhien@gentoo.org>
Date: Tue Sep 2 22:43:43 2014 +0200

sci-mathematics/why3: silence repoman, fix metadata.xml

commit 39b534b32a8410b7c54eb87ba58c19f1bd9c871c
Author: Jauhien Piatlicki <jauhien@gentoo.org>
Date: Sun Aug 31 17:31:51 2014 +0200

fix Manifests: thin-manifests

commit 811c478b3081ebfbeb9f749f274614367e7a8726
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Sat Jul 19 00:44:59 2014 +0200

Fix manifests regression

commit d73696e54434ec08a75603613fb1ece24718127f
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Sat Jul 19 00:38:01 2014 +0200

Several DESTDIR fixes

commit 9d31fe0253025c7f7c08e0828889c1f012977bd5
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Sun Jun 22 22:20:18 2014 +0200

multiple move to EAPI=5 and regression fixes

commit 03917aeca50f3a5bfb3382205e973e7777a67570
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Sun Jun 22 16:29:25 2014 +0200

multiple version bumps