2011-05-29 21:59:56 INFO agda_2.2.10.orig.tar.gz: already in distro -
downloading from librarian
[Updating] agda (2.2.10-1~ubuntu1 [Ubuntu] < 2.2.10-1 [Debian])
* Trying to add agda...
2011-05-29 21:59:56 INFO - <agda_2.2.10-1.debian.tar.gz: downloading from
http://ftp.debian.org/debian/>
2011-05-29 21:59:57 INFO - <agda_2.2.10-1.dsc: downloading from
http://ftp.debian.org/debian/>
2011-05-29 21:59:57 INFO - <agda_2.2.10.orig.tar.gz: cached>
I: agda [universe] -> agda-mode_2.2.10-1~ubuntu1 [universe].
** Changed in: agda (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/789806
Title:
Sync agda 2.2.10-1 (universe) from Debian unstable (main)
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
