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.
** Changed in: agda (Ubuntu)
Status: New => Invalid
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/953615
Title:
'agda' package not installable in precise
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/agda/+bug/953615/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
