Summary: | sci-mathematics/agda-2.5.2-r1 : * setup configure failed | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Toralf Förster <toralf> |
Component: | Current packages | Assignee: | Gentoo Science Mathematics related packages <sci-mathematics> |
Status: | RESOLVED FIXED | ||
Severity: | normal | CC: | haskell |
Priority: | Normal | Keywords: | PMASKED, TESTFAILURE |
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- | |
Attachments: |
emerge-info.txt
emerge-history.txt environment etc.portage.tbz2 sci-mathematics:agda-2.5.2-r1:20171020-220245.log temp.tbz2 |
Description
Toralf Förster
2017-10-21 08:41:05 UTC
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(-) |