rebuild fail due to dependency version too restrictive

Bug #1478802 reported by dino99 on 2015-07-28
This bug affects 1 person
Affects Status Importance Assigned to Milestone
agda (Debian)
Fix Released
agda (Ubuntu)

Bug Description

Build status
[MANUALDEPWAIT] Dependency wait on lgw01-44

Missing build dependencies: cpphs (< 1.19)

Wily already has an upper version: 1.19-1 (wily-proposed) so the agda fails; the 1.18.9-1build3 (main) is ignored. This affect all the waited build archs

dino99 (9d9) on 2015-07-28
tags: added: bot-stop-nagging wily
description: updated
dino99 (9d9) on 2015-07-28
description: updated
description: updated
Hans Joachim Desserud (hjd) wrote :

Thanks for reporting.

This issue has also been reported in Debian, so I've attached a bug watch. Based on a comment there, this will probably be resolved once the latest version of agda is packaged.

tags: added: ftbfs
Changed in agda (Ubuntu):
status: New → Confirmed
Changed in agda (Debian):
status: Unknown → New
dino99 (9d9) wrote :
Changed in agda (Debian):
status: New → Fix Committed
dino99 (9d9) wrote :

Package fixed but not upgraded to

agda ( unstable; urgency=medium

  * [d59dba4] Revert modification of upstream source in
    a4109c2c88ab582bbc3141cd9a87373c3509c97b. We're patches unapplied.
  * [570458a] Cherry-pick upstream patch to build with cpphs 1.19 (Closes:

 -- Iain Lane <email address hidden> Tue, 04 Aug 2015 14:46:23 +0100

dino99 (9d9) on 2015-08-04
Changed in agda (Ubuntu):
status: Confirmed → Fix Released
Changed in agda (Debian):
status: Fix Committed → Fix Released
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.