Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 600034 - sci-mathematics/agda-2.4.2.5-r2 - dependency check fail
Summary: sci-mathematics/agda-2.4.2.5-r2 - dependency check fail
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal
Assignee: Gentoo Science Mathematics related packages
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2016-11-16 19:58 UTC by Anton Kochkov
Modified: 2016-11-18 22:42 UTC (History)
2 users (show)

See Also:
Package list:
Runtime testing required: ---


Attachments
full build log (agda-2.4.2.5-r2_build.log,5.91 KB, text/plain)
2016-11-16 19:58 UTC, Anton Kochkov
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Anton Kochkov 2016-11-16 19:58:55 UTC
Created attachment 453566 [details]
full build log

I've run "haskell-updater --all" a few times, but this error still persist

Dependency xhtml >=3000.2.1 && <3000.3: using xhtml-3000.2.1
Dependency zlib >=0.4.0.1 && <0.7: using zlib-0.6.1.2
setup: The program 'alex' version >=3.1.0 && <3.2 is required but the version
found at /usr/bin/alex is version 3.2.1
 * ghc-pkg check: 'checking for other broken packages:'
There are problems in package Agda-2.4.2.5:
  Warning: haddock-interfaces: /usr/share/doc/agda-2.4.2.5-r2/html/Agda.haddock doesn't exist or isn't a file
  Warning: haddock-html: /usr/share/doc/agda-2.4.2.5-r2/html doesn't exist or isn't a directory
  dependency "equivalence-0.3.1-9171559ce26aec88daaf9329e3de100b" doesn't exist
  dependency "haskell-src-exts-1.17.1-59a7f0be1d3870fc242df4a4730f98a8" doesn't exist
  dependency "unordered-containers-0.2.7.0-eb2531a91f87979d5a2e9de1b078f8a1" doesn't exist
  dependency "zlib-0.6.1.1-d37b5c840601f4d3ae0bae63cca64227" doesn't exist
There are problems in package darcs-2.12.0:
  Warning: haddock-interfaces: /usr/share/doc/darcs-2.12.0/html/darcs.haddock doesn't exist or isn't a file
  dependency "HTTP-4000.2.22-9d98d8f754d0b5f90177e5dcd3eef937" doesn't exist
  dependency "attoparsec-0.13.0.2-6ac8cb1712b0b357df6d341629c84e0f" doesn't exist
  dependency "fgl-5.5.2.3-b6bcd7d266071e08bf2bb23655e615d3" doesn't exist
  dependency "graphviz-2999.18.0.2-e4b26ae0ab2f6dbd714947047f323c4d" doesn't exist
  dependency "network-2.6.2.1-b9017957b1e5d0d1d9d4782a2ba4fcb5" doesn't exist
  dependency "network-uri-2.6.1.0-488593a151586ef1823023c66649e154" doesn't exist
  dependency "parsec-3.1.9-99974f26a797a2b31ce8589a59558829" doesn't exist
  dependency "regex-compat-tdfa-0.95.1.4-19ef371ec5067e8f3820c4c0c2ac2f10" doesn't exist
  dependency "sandi-0.3.6-b72676430333703705dba22eebd8e0f4" doesn't exist
  dependency "unix-compat-0.4.1.4-1e201f07f357b593e8ba1a46086e3ec5" doesn't exist
  dependency "zip-archive-0.2.3.7-d3a872d4c8cf229e4968cf3bed040c99" doesn't exist
 * Detected broken packages: Agda-2.4.2.5 darcs-2.12.0
 * ERROR: sci-mathematics/agda-2.4.2.5-r2::gentoo failed (configure phase):
 *   //==-- Please, run 'haskell-updater' to fix broken packages --==//
 *
Comment 1 Sergei Trofimovich (RETIRED) gentoo-dev 2016-11-18 22:42:04 UTC
Ah, sorry about that. Allowed alex-3.2 as:

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a84b472107985b2e36a2f1a80b9ca68dd24f3b89