'agda' package not installable in precise

Bug #953615 reported by Sean Hunt on 2012-03-13
This bug affects 1 person
Affects Status Importance Assigned to Milestone
agda (Ubuntu)

Bug Description

The 'agda' package is currently not installable due to dependency issues.

Iain Lane (laney) wrote :

Hi there,

Indeed you are right that Agda isn't currently installable. The reason for this is that there is an ongoing transition to GHC 7.4 at the moment. We have to update all Haskell libraries in order against the new version, and until this is done the packages are unfortunately not installable. Agda has quite a number of dependencies so it may be a few days before we get there, but this issue is known and will be cleared up before long.

As this is a 'transient' issue which will take care of itself in time, I'm going to mark this bug as Invalid.

Thanks for noticing, and for using Agda!


Changed in agda (Ubuntu):
status: New → Invalid
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers