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].
2011-05-29 21:59:56 INFO agda_2. 2.10.orig. tar.gz: already in distro - downloading from librarian 2.10-1. debian. tar.gz: downloading from http:// ftp.debian. org/debian/> ftp.debian. org/debian/> 2.10.orig. tar.gz: cached> 2.2.10- 1~ubuntu1 [universe].
[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.
2011-05-29 21:59:57 INFO - <agda_2.2.10-1.dsc: downloading from http://
2011-05-29 21:59:57 INFO - <agda_2.
I: agda [universe] -> agda-mode_