Comment 1 for bug 789806

Revision history for this message
Colin Watson (cjwatson) wrote :

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].