Ubuntu
agda-bin package

  1. Bug #795463
  2. Comment #1

Comment 1 for bug 795463

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

2011-06-10 10:40:40 INFO agda-bin_2.2.10.orig.tar.gz: already in distro - downloading from librarian
2011-06-10 10:40:40 INFO - <agda-bin_2.2.10-2.diff.gz: downloading from http://ftp.debian.org/debian/>
[Updating] agda-bin (2.2.10-1~ubuntu1 [Ubuntu] < 2.2.10-2 [Debian])
 * Trying to add agda-bin...
2011-06-10 10:40:40 INFO - <agda-bin_2.2.10.orig.tar.gz: cached>
2011-06-10 10:40:40 INFO - <agda-bin_2.2.10-2.dsc: downloading from http://ftp.debian.org/debian/>
I: agda-bin [universe] -> agda-bin_2.2.10-1~ubuntu1 [universe].