sci-mathematics/flocq
Formalization of floating-point arithmetic for the Coq proof assistant
ChangeLog
commit fa7a1d7e6126d198b5e01ba98dd44b965f403aaa
Author: Lucas Mitrak <lucas@lucasmitrak.com>
Date: Thu Aug 5 17:10:07 2021 -0400
sci-mathematics/flocq: EAPI bump, add multiprocessing to remake
* EAPI bump from 7 to 8
* Add multiprocessing to remake using the $(makeopts_jobs) variable
Currently, sci-mathematics/flocq does not have multiprocessing even
though the homepage [1] states this is available. This is done by
adding --jobs=$(makeopts_jobs) to remake. the makeopts_jobs
variable comes from the multiprocessing eclass.
[1] http://flocq.gforge.inria.fr/
Package-Manager: Portage-3.0.20, Repoman-3.0.2
Signed-off-by: Lucas Mitrak <lucas@lucasmitrak.com>
Closes: https://github.com/gentoo/sci/pull/1107
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
commit 606d4da69e97585019350e04a2d50537bf3f6906
Author: Andrew Ammerlaan <andrewammerlaan@riseup.net>
Date: Thu Mar 4 13:05:28 2021 +0100
sci-mathematics/flocq: drop old
Package-Manager: Portage-3.0.16, Repoman-3.0.2
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@riseup.net>
commit 2e461f069f5aaa8e5968b698ace996a3add02888
Author: Andrew Ammerlaan <andrewammerlaan@riseup.net>
Date: Thu Mar 4 13:05:17 2021 +0100
sci-mathematics/flocq: version bump 3.4.0
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 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 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 fe51eafebcd2e5326c5a4f5d3c54012459fc49cf
Author: Christoph Junghans <ottxor@gentoo.org>
Date: Tue Sep 16 10:51:50 2014 -0600
readded die on remake
Package-Manager: portage-2.2.8-r1
commit b626c173514306fd782e756fa7bd4754f127a38e
Author: Christoph Junghans <ottxor@gentoo.org>
Date: Tue Sep 16 10:47:32 2014 -0600
clean up
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 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 cc960b1cbb3dc13d369d3a2b58bac71e5670cdac
Author: Justin Lecher <jlec@gentoo.org>
Date: Sun Mar 3 14:55:28 2013 +0100
sci-mathematics/flocq: Move to EAPI=5; assign RDEPEND explicitatly
Package-Manager: portage-2.2.0_alpha164
commit 224ea062e4ab5f551784b097e2752a68d03310d6
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Mon Jan 14 15:06:23 2013 +0100
sci-mathematics/flocq: version bump
commit d0e8832d301b8afba2909400d340b8f6b1b63bd1
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Mon May 14 00:08:27 2012 +0000
sci-mathematics/flocq: QA fixe
commit 8898b49a90c8b4d38a3a8f4523a6d074e82dba97
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Mon May 14 00:06:04 2012 +0000
sci-mathematics/flocq: Various QA fixes
commit ec156b74368b168f73a0275a3d81a3f5356c8621
Author: Alexey Shvetsov <alexxy@gentoo.org>
Date: Sat May 12 22:11:27 2012 +0400
[sci-mathematics/flocq] Fix ebuild eapi parsing and other minor issues
(Portage version: 2.2.0_alpha104/git/Linux x86_64, unsigned Manifest commit)
commit eb9e4619a218da11f4f2d8f8a48c59fd074f5757
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Mon Feb 6 15:26:12 2012 +0100
sci-mathematics/flocq: QA Fixes
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 5e01c9660616dff9d96876056d983de42bd9ded1
Author: Justin Lecher <jlec@gentoo.org>
Date: Sat Jun 25 09:50:45 2011 +0200
Define EAPI after inherit
(Portage version: 2.2.0_alpha41/git/Linux x86_64, signed Manifest commit with key 70EB7916)
commit 780490c40f01fcf50c2b179122be8eeca2c6b3e2
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Wed May 11 23:49:37 2011 +0000
sci-mathematics/flocq: version bump
commit 126a09e8d0afa680064355360c56f7ca3cbbe61f
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Sun Feb 13 19:46:19 2011 +0000
sci-mathematics/flocq: new package
Author: Lucas Mitrak <lucas@lucasmitrak.com>
Date: Thu Aug 5 17:10:07 2021 -0400
sci-mathematics/flocq: EAPI bump, add multiprocessing to remake
* EAPI bump from 7 to 8
* Add multiprocessing to remake using the $(makeopts_jobs) variable
Currently, sci-mathematics/flocq does not have multiprocessing even
though the homepage [1] states this is available. This is done by
adding --jobs=$(makeopts_jobs) to remake. the makeopts_jobs
variable comes from the multiprocessing eclass.
[1] http://flocq.gforge.inria.fr/
Package-Manager: Portage-3.0.20, Repoman-3.0.2
Signed-off-by: Lucas Mitrak <lucas@lucasmitrak.com>
Closes: https://github.com/gentoo/sci/pull/1107
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
commit 606d4da69e97585019350e04a2d50537bf3f6906
Author: Andrew Ammerlaan <andrewammerlaan@riseup.net>
Date: Thu Mar 4 13:05:28 2021 +0100
sci-mathematics/flocq: drop old
Package-Manager: Portage-3.0.16, Repoman-3.0.2
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@riseup.net>
commit 2e461f069f5aaa8e5968b698ace996a3add02888
Author: Andrew Ammerlaan <andrewammerlaan@riseup.net>
Date: Thu Mar 4 13:05:17 2021 +0100
sci-mathematics/flocq: version bump 3.4.0
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 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 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 fe51eafebcd2e5326c5a4f5d3c54012459fc49cf
Author: Christoph Junghans <ottxor@gentoo.org>
Date: Tue Sep 16 10:51:50 2014 -0600
readded die on remake
Package-Manager: portage-2.2.8-r1
commit b626c173514306fd782e756fa7bd4754f127a38e
Author: Christoph Junghans <ottxor@gentoo.org>
Date: Tue Sep 16 10:47:32 2014 -0600
clean up
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 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 cc960b1cbb3dc13d369d3a2b58bac71e5670cdac
Author: Justin Lecher <jlec@gentoo.org>
Date: Sun Mar 3 14:55:28 2013 +0100
sci-mathematics/flocq: Move to EAPI=5; assign RDEPEND explicitatly
Package-Manager: portage-2.2.0_alpha164
commit 224ea062e4ab5f551784b097e2752a68d03310d6
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Mon Jan 14 15:06:23 2013 +0100
sci-mathematics/flocq: version bump
commit d0e8832d301b8afba2909400d340b8f6b1b63bd1
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Mon May 14 00:08:27 2012 +0000
sci-mathematics/flocq: QA fixe
commit 8898b49a90c8b4d38a3a8f4523a6d074e82dba97
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Mon May 14 00:06:04 2012 +0000
sci-mathematics/flocq: Various QA fixes
commit ec156b74368b168f73a0275a3d81a3f5356c8621
Author: Alexey Shvetsov <alexxy@gentoo.org>
Date: Sat May 12 22:11:27 2012 +0400
[sci-mathematics/flocq] Fix ebuild eapi parsing and other minor issues
(Portage version: 2.2.0_alpha104/git/Linux x86_64, unsigned Manifest commit)
commit eb9e4619a218da11f4f2d8f8a48c59fd074f5757
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Mon Feb 6 15:26:12 2012 +0100
sci-mathematics/flocq: QA Fixes
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 5e01c9660616dff9d96876056d983de42bd9ded1
Author: Justin Lecher <jlec@gentoo.org>
Date: Sat Jun 25 09:50:45 2011 +0200
Define EAPI after inherit
(Portage version: 2.2.0_alpha41/git/Linux x86_64, signed Manifest commit with key 70EB7916)
commit 780490c40f01fcf50c2b179122be8eeca2c6b3e2
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Wed May 11 23:49:37 2011 +0000
sci-mathematics/flocq: version bump
commit 126a09e8d0afa680064355360c56f7ca3cbbe61f
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Sun Feb 13 19:46:19 2011 +0000
sci-mathematics/flocq: new package