| Commit message (Collapse) | Author | Age | Files | Lines |
... | |
|
|
|
| |
Package-Manager: portage-2.3.0
|
|
|
|
|
|
| |
Gentoo-Bug: 603408
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
|
|
|
|
|
|
|
|
|
|
| |
This package reverted to sci-math after tomka's retirement. Paolo was
working with tomka before his retirement, however, and Paolo has been
submitting the fixes for this package. He would like to remain as a
proxy maintainer under the new management.
This commit adds Paolo and the Proxy Maintainers project to metadata.xml.
Package-Manager: portage-2.3.0
|
|
|
|
| |
Package-Manager: Portage-2.3.3, Repoman-2.3.1
|
|
|
|
|
|
| |
Gentoo-bug: 604418
Package-Manager: Portage-2.3.3, Repoman-2.3.1
|
|
|
|
| |
Package-Manager: portage-2.3.3
|
|
|
|
|
|
|
|
|
|
| |
Fix 604450 z3-4.5.0 build fails if doxygen is not installed. Implement better
fix for 604362 install for USE="python -doc", thanks to Toralf Forster for
reporting.
Gentoo-bug: 604450, 604362
Package-Manager: portage-2.3.3
|
|
|
|
| |
Package-Manager: portage-2.3.3
|
|
|
|
| |
Package-Manager: portage-2.3.3
|
|
|
|
|
|
|
|
| |
get_libdir called in global scope, thanks to mgorny for reporting.
Gentoo-bug: 593380
Package-Manager: portage-2.3.3
|
|
|
|
| |
Package-Manager: portage-2.3.3
|
|
|
|
|
|
|
|
| |
mgorny for reporting.
Gentoo-bug: 593380
Package-Manager: portage-2.3.3
|
|
|
|
|
|
|
|
|
| |
providing the isabelle 2016 patches and the 2016 ebuild. Thanks to
mgorny for reporting the get_libdir called in global scope QA bug.
Gentoo-bugs: 602958, 593380
Package-Manager: portage-2.3.3
|
|
|
|
|
| |
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Signed-off-by: Justin Lecher <jlec@gentoo.org>
|
|
|
|
|
| |
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Signed-off-by: Justin Lecher <jlec@gentoo.org>
|
|
|
|
|
| |
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Signed-off-by: Justin Lecher <jlec@gentoo.org>
|
|
|
|
|
|
|
|
| |
for reporting.
Gentoo-bug: 604362
Package-Manager: portage-2.3.3
|
|
|
|
|
|
| |
Package-Manager: portage-2.3.0
RepoMan-Options: --include-arches="x86"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
|
|
|
|
|
|
| |
Package-Manager: portage-2.3.0
RepoMan-Options: --include-arches="x86"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
|
|
|
|
|
|
| |
Package-Manager: portage-2.3.0
RepoMan-Options: --include-arches="x86"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
|
|
|
|
|
|
| |
Package-Manager: portage-2.3.0
RepoMan-Options: --include-arches="x86"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
|
|
|
|
|
|
|
|
| |
on the z3 ebuilds. Thanks to David E. Narv?ez for reporting and patching.
Gentoo-bug: 602498, 602600
Package-Manager: portage-2.3.3
|
|
|
|
|
|
| |
Package-Manager: portage-2.3.0
RepoMan-Options: --include-arches="ppc"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
|
|
|
|
|
|
| |
Package-Manager: portage-2.3.0
RepoMan-Options: --include-arches="ppc"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
|
| |
|
|
|
|
|
|
| |
Package-Manager: portage-2.3.0
RepoMan-Options: --include-arches="amd64"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
|
|
|
|
|
|
| |
Package-Manager: portage-2.3.0
RepoMan-Options: --include-arches="x86"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
|
|
|
|
|
|
| |
Package-Manager: portage-2.3.0
RepoMan-Options: --include-arches="x86"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
|
|
|
|
|
|
| |
Package-Manager: portage-2.3.0
RepoMan-Options: --include-arches="x86"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
|
|
|
|
|
|
| |
Package-Manager: portage-2.3.0
RepoMan-Options: --include-arches="amd64"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
|
| |
|
|
|
|
|
|
| |
https://bugs.gentoo.org/show_bug.cgi?id=603408
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
|
|
|
|
|
| |
in configuration directory. Gentoo-bug: https://bugs.gentoo.org/show_bug.cgi?id=603408
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
|
|
|
|
|
|
| |
Gentoo-bug: 600482
* Also bring back USE=gui flag
Package-Manager: Portage-2.3.3, Repoman-2.3.1
|
|
|
|
|
|
|
| |
Gentoo-bug: 600482
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Closes: https://github.com/gentoo/gentoo/pull/3188
|
|
|
|
| |
Gentoo-Bug: 598056
|
|
|
|
| |
Gentoo-Bug: 593178
|
|
|
|
| |
Package-Manager: Portage-2.3.3, Repoman-2.3.1
|
|
|
|
| |
Package-Manager: Portage-2.3.3, Repoman-2.3.1
|
|
|
|
|
|
| |
Adapted patch to debundle zlib and suitesparse
Package-Manager: portage-2.3.3
|
|
|
|
| |
Package-Manager: portage-2.3.0
|
|
|
|
| |
Package-Manager: portage-2.3.0
|
|
|
|
|
|
| |
Gentoo-Bug: 599282
Package-Manager: portage-2.3.2
|
|
|
|
| |
Package-Manager: portage-2.3.2
|
|
|
|
| |
Package-Manager: portage-2.3.2
|
|
|
|
|
| |
Package-Manager: portage-2.3.2
Closes: https://github.com/gentoo/gentoo/pull/2872
|
|
|
|
|
|
|
|
|
|
|
| |
Gentoo-bug: 594794
* Add USE="openssl"
* Add USE="portaudio"
* Add USE="sndfile"
* GUI provided with USE="qt5"
* Replace EROOT in src_install
Package-Manager: portage-2.3.2
|
|
|
|
|
|
|
| |
Reported-by: Anton Kochkov
Bug: https://bugs.gentoo.org/600034
Package-Manager: portage-2.3.2
|
|
|
|
| |
Package-Manager: portage-2.3.0
|
|
|
|
| |
Package-Manager: portage-2.3.2
|