[Bug 798674] Sync agda-stdlib 0.5-1 (universe) from Debian unstable (main)

[Colin Watson]

2011-06-17 16:07:45 INFO    agda-stdlib_0.5.orig.tar.gz: already in distro - downloading from librarian
2011-06-17 16:07:46 INFO      - <agda-stdlib_0.5-1.dsc: downloading from http://ftp.debian.org/debian/>
[Updating] agda-stdlib (0.5-1~ubuntu1 [Ubuntu] < 0.5-1 [Debian])
 * Trying to add agda-stdlib...
2011-06-17 16:07:46 INFO      - <agda-stdlib_0.5.orig.tar.gz: cached>
2011-06-17 16:07:46 INFO      - <agda-stdlib_0.5-1.diff.gz: downloading from http://ftp.debian.org/debian/>
I: agda-stdlib [universe] -> agda-stdlib_0.5-1~ubuntu1 [universe].
I: agda-stdlib [universe] -> agda-stdlib-doc_0.5-1~ubuntu1 [universe].


** Changed in: agda-stdlib (Ubuntu)
       Status: Confirmed => Fix Released

-- 
You received this bug notification because you are a member of Ubuntu
Package Archive Administrators, which is subscribed to the bug report.
https://bugs.launchpad.net/bugs/798674

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

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/agda-stdlib/+bug/798674/+subscriptions