* ghc-pkg check: 'checking for other broken packages:' * ERROR: sci-mathematics/agda-2.5.2-r1::gentoo failed (configure phase): * setup configure failed * * Call stack: * ebuild.sh, line 124: Called src_configure ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.0-desktop-gnome-systemd_20171010-201119 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-6.4.0 * Available Python interpreters, in order of preference: [1] python3.4 [2] python3.6 (fallback) [3] python2.7 (fallback) [4] jython2.7 (fallback) Available Ruby profiles: [1] ruby22 (with Rubygems) * java-config: The following VMs are available for generation-2: 1) IcedTea JDK 7.2.6.11 [icedtea-7] 2) IcedTea JDK 7.2.6.11 [icedtea-bin-7] *) IcedTea JDK 3.5.1 [icedtea-bin-8] Available Java Virtual Machines: [1] icedtea-7 [2] icedtea-bin-7 [3] icedtea-bin-8 system-vm emerge -qpv sci-mathematics/agda [nomerge ] sci-mathematics/agda-2.5.2-r1 USE="cpphs stdlib uhc -debug -doc -emacs -hscolour -profile" [ebuild N ] sci-mathematics/agda-stdlib-2.5.2.0.13 USE="ffi -profile" [ebuild N ] sci-mathematics/agda-2.5.2-r1 USE="cpphs stdlib uhc -debug -doc -emacs -hscolour -profile"
Created attachment 499474 [details] emerge-info.txt
Created attachment 499476 [details] emerge-history.txt
Created attachment 499478 [details] environment
Created attachment 499480 [details] etc.portage.tbz2
Created attachment 499482 [details] sci-mathematics:agda-2.5.2-r1:20171020-220245.log
Created attachment 499484 [details] temp.tbz2
The failure here is: setup: Encountered missing dependencies: uhc-util >=0.1.6.3 && <0.1.6.7 Fri Oct 20 23:47:21 2017 >>> dev-haskell/uhc-util-0.1.6.7 We need to fix upper bound in .ebuild or .cabal file.
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4ad718c553beda2d475d2c0affc5814a914ce184 commit 4ad718c553beda2d475d2c0affc5814a914ce184 Author: Jakov Smolić <jsmolic@gentoo.org> AuthorDate: 2022-08-21 21:11:38 +0000 Commit: Jakov Smolić <jsmolic@gentoo.org> CommitDate: 2022-08-21 21:31:03 +0000 sci-mathematics/agda: treeclean Closes: https://bugs.gentoo.org/540230 Closes: https://bugs.gentoo.org/634944 Closes: https://bugs.gentoo.org/279085 Signed-off-by: Jakov Smolić <jsmolic@gentoo.org> profiles/package.mask | 1 - sci-mathematics/agda/Manifest | 1 - sci-mathematics/agda/agda-2.6.1.2.ebuild | 142 --------------------------- sci-mathematics/agda/files/50agda2-gentoo.el | 10 -- sci-mathematics/agda/metadata.xml | 37 ------- 5 files changed, 191 deletions(-)
