[Bug 789806] Sync agda 2.2.10-1 (universe) from Debian unstable (main)

Sun May 29 21:59:59 UTC 2011

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
Package Archive Administrators, which is a direct subscriber.
https://bugs.launchpad.net/bugs/789806

Title:
  Sync agda 2.2.10-1 (universe) from Debian unstable (main)