Ubuntu
agda package

  1. Bug #953615
  2. Comment #1

Comment 1 for bug 953615

Revision history for this message
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!

Cheers.