This bug was fixed in the package agda-stdlib - 0.5-1~ubuntu1
---
agda-stdlib (0.5-1~ubuntu1) natty; urgency=low
* Upload to Ubuntu from Debian's VCS due to delays in unstable caused by
the GHC 7 transition (LP: #725364)
* [ba20206] Make package architecture independent (Close
** Changed in: agda-bin (Ubuntu)
Status: Confirmed => Fix Released
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/725364
Title:
[FFe] Update agda-bin and agda-stdlib to new upstreams
--
ubun
** Tags added: upgrade-software-version
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/725364
Title:
[FFe] Update agda-bin and agda-stdlib to new upstreams
--
ubuntu-bugs mailing list
ubuntu-bugs@l
Ack. Approved.
** Changed in: agda-bin (Ubuntu)
Status: New => Confirmed
** Changed in: agda-bin (Ubuntu)
Importance: Undecided => Wishlist
** Changed in: agda-stdlib (Ubuntu)
Status: New => Confirmed
** Changed in: agda-stdlib (Ubuntu)
Importance: Undecided => Wishlist
--
** Patch added: "agda-bin.debdiff"
https://bugs.launchpad.net/ubuntu/+source/agda-stdlib/+bug/725364/+attachment/1872023/+files/agda-bin.debdiff
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/725364
** Patch added: "agda-stdlib.debdiff"
https://bugs.launchpad.net/ubuntu/+source/agda-stdlib/+bug/725364/+attachment/1872022/+files/agda-stdlib.debdiff
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/
** Attachment added: "2011-02-26-002919_1280x800_scrot.png"
https://bugs.launchpad.net/ubuntu/+source/agda-stdlib/+bug/725364/+attachment/1872021/+files/2011-02-26-002919_1280x800_scrot.png
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to U
