gpo.zugaina.org

Search Portage & Overlays:

sci-mathematics/gappa

Verifying and proving properties on floating-point or fixed-point arithmetic

Screenshots

  • gappa-1.4.0
    ~amd64 ~x86
    doc

    View      Download      Browse     License: || ( CeCILL-2 GPL-2 )   
    Overlay: science
  • gappa-1.3.5
    ~amd64 ~x86
    doc

    View      Download      Browse     License: || ( CeCILL-2 GPL-2 )   
    Overlay: science

ChangeLog

commit b111bc689a1bbd5a7b9e82d350b9e600fc6d2190
Author: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
Date: Wed Jun 9 16:23:51 2021 +0200

sci-mathematics/gappa: add version 1.4.0

Package-Manager: Portage-3.0.19, Repoman-3.0.3
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>

commit 1f496e085b4a6dbd477c8749be667e4c1bbfd48a
Author: Lucas Mitrak <lucas@lucasmitrak.com>
Date: Wed Jun 9 07:35:20 2021 -0400

sci-mathematics/gappa: Add multiprocessing.eclass for makeopts_jobs

* Add inherit multiprocessing.eclass for makeopts_jobs
* This is because remake does not understand -l nor --load-average

This commit was tested in a docker image with dev-util/ebuildtester.
This commit was written, tested, and submitted by Lucas Mitrak.
Signed-off-by: Lucas Mitrak <lucas@lucasmitrak.com>
Closes: https://github.com/gentoo/sci/pull/1090
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>

commit 17f2d67ce495f5dc5a7c904e3a2ace655fb6e117
Author: Lucas Mitrak <lucas@lucasmitrak.com>
Date: Tue Jun 8 07:45:57 2021 -0400

sci-mathematics/gappa: Remove -l or --load-average from $

* Remove -l or --load-average from $ in src_compile()

Currently, sci-mathematics/gappa will fail to compile if either -l or
--load-average is set in $ because remake does not accept
them. This commit will remove either -l or --load-average from
$ during the src_compile() stage in the same method found in
a suggested patch [1] written by developer Lars Wendler in bug
653554 [2]. This will allow the package to compile and install
correctly.
This commit was tested in a docker image with dev-util/ebuildtester.
This commit was written, tested, and submitted by Lucas Mitrak.

[1] https://653554.bugs.gentoo.org/attachment.cgi?id=528056
[2] https://bugs.gentoo.org/653554
Closes: https://bugs.gentoo.org/568368
Signed-off-by: Lucas Mitrak <lucas@lucasmitrak.com>
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>

commit 479b911a514a16c9779baff55a90d573a233950c
Author: Andrew Ammerlaan <andrewammerlaan@riseup.net>
Date: Thu Mar 4 13:04:05 2021 +0100

sci-mathematics/gappa: drop old

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

commit 82e6bf6bd0f7df08909b1f1bb5031907b13428cc
Author: Andrew Ammerlaan <andrewammerlaan@riseup.net>
Date: Thu Mar 4 13:03:47 2021 +0100

sci-mathematics/gappa: version bump 1.3.5, EAPI bump

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

commit 3f26d1a15d016c08e2993e4edd1b1892777aa757
Author: Andrew Ammerlaan <andrewammerlaan@riseup.net>
Date: Tue Dec 29 17:29:16 2020 +0100

*/* clean up licenses

Package-Manager: Portage-3.0.12, Repoman-3.0.2
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@riseup.net>
Closes: https://github.com/gentoo/sci/pull/1000
Signed-off-by: Aisha Tammy <gentoo@aisha.cc>

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 d656b6d1ca11a70c8c47fb326e16bd3564006518
Author: Justin Lecher <jlec@gentoo.org>
Date: Fri Feb 3 17:05:17 2017 +0000

Drop quoting form EAPI

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

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 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 d197317f97b49a2a94aed045dab725d82bce9e7f
Author: Justin Lecher <jlec@gentoo.org>
Date: Mon Sep 21 20:47:10 2015 +0200

sci-mathematics/gappa: Add subslot operators

Package-Manager: portage-2.2.20.1
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 56055ea09ef4a955c801c2d21a20fd9ae462e4e2
Author: Christoph Junghans <ottxor@gentoo.org>
Date: Tue Sep 16 10:49:42 2014 -0600

remove last line

Package-Manager: portage-2.2.8-r1

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

commit 1b9a1a664fe4a1e2515c3eedc842f0231dc0fcec
Author: Justin Lecher <jlec@gentoo.org>
Date: Thu Jan 30 09:10:53 2014 +0100

Sanitize ebuild header

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

commit 4356328a867c29e3e249403c5b202d429062b7bb
Author: Sébastien Fabbro <bicatali@gentoo.org>
Date: Mon Aug 12 14:23:23 2013 -0700

sci-mathematics/gappa: Version bump

Package-Manager: portage-2.2.01.22124-prefix

commit 94a47aba8632bc468ef26c88c57fd81b63e5f609
Author: Sébastien Fabbro <bicatali@gentoo.org>
Date: Tue Jun 18 10:11:54 2013 -0700

big fixes of metadata and package sub-herd re-distribution

commit 7a71d68f2f6ee9e5f715c8521ab73072fb8c91aa
Author: Sébastien Fabbro <bicatali@gentoo.org>
Date: Thu Jun 13 11:36:58 2013 -0700

manifests fixes

commit f931cd60440cfe6fa6d087ee242fd510b3d9f789
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Mon Jan 14 15:07:36 2013 +0100

sci-mathematics/gappa: version bump

commit 8dd3a1cdb4707bbe93d27e4340f50875c1a5ccd6
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Mon Feb 6 15:31:23 2012 +0100

sci-mathematics/gappa: version bump

commit ac7b80809d0be79d8e0d08354fd707b8566036a2
Author: Andreas K. Huettel (dilfridge) <mail@akhuettel.de>
Date: Sat Jan 14 15:20:31 2012 +0100

Convert to thin manifests (as suggested by alexxy and jlec)

commit 0769e163ce3edddd3be66b5e646bac6e97cdedce
Author: Sébastien Fabbro <sebfabbro@gmail.com>
Date: Tue Jan 3 03:06:55 2012 +0000

switch sci herd to sci-* sub herds, full overlay re-manifest

commit 55cc2668a40b877bdcfbd3294d219d7516e550c6
Author: Justin Lecher <jlec@gentoo.org>
Date: Sat Jun 25 18:23:33 2011 +0200

Version Bump

commit 2ed4f850cf135f520d4828a18bb6a068d3f89c7c
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Thu Feb 17 07:50:52 2011 +0000

sci-mathematics/gappa: bogus manifest fixed

commit ba663332dcb17fef0371ebd4f28c259994eeeff3
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Sun Feb 13 10:04:59 2011 +0000

sci-mathematics/gappa: version bump

commit 12930aef176ea8b3960aee1d530ad62033dc55c4
Author: Andreas K. Huettel (dilfridge) <mail@akhuettel.de>
Date: Sun Jul 4 17:06:19 2010 +0200

[sci-mathematics/gappa] Silence repoman; improve license description; move doc generation dependencies to RDEPEND
(Portage version: 2.1.8.3/git/Linux x86_64)
(Signed Manifest commit)

commit 6517c98fdf1465275572f3b53f47d804d4180be1
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Sun Jul 4 12:04:53 2010 +0000

sci-mathematics/gappa: Version bump 0.13.0

commit bc383333ab0d57df613e44dceb17db6add860e7e
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Sun Jul 4 11:16:23 2010 +0000

sci-mathematics/gappa: QA fixes

commit 141213944060bec201741e16fe6a5083185bc86d
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Sat Oct 24 02:10:15 2009 +0000

more eapi2 updates

commit 8fd6be86bf3cea8267701b064bf298bf40840365
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Sat Oct 24 01:38:38 2009 +0000

various eapi2 updates

commit b4e5614dff3eb217b5b60e9ce9653b20fc2a03df
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Fri Oct 16 15:33:36 2009 +0000

sci-mathematics/gappa(lib-coq): bump version to 0.12(.1)

commit 5c6a5a3d707c01b7e8d084d0e6790eb1b6a59d2b
Author: root <root@localhost.(none)>
Date: Sun Apr 5 01:09:27 2009 +0000

frama-c and why + dependencies new ebuilds