[Bug 415593] Re: Sync agda 2.2.4+dfsg-1 (universe) from Debian unstable (main)

[Dustin Kirkland]

lp_archive at cocoplum:~/syncs$ sync-source.py -b laney agda    
Getting binaries for karmic...
[Updating] agda (0 [Ubuntu] < 2.2.4+dfsg-1 [Debian])
 * Trying to add agda...
  - <agda_2.2.4+dfsg-1.dsc: downloading from http://ftp.debian.org/debian/>
  - <agda_2.2.4+dfsg-1.diff.gz: downloading from http://ftp.debian.org/debian/>
  - <agda_2.2.4+dfsg.orig.tar.gz: downloading from http://ftp.debian.org/debian/>


** Changed in: ubuntu
       Status: Confirmed => Fix Released

** Changed in: ubuntu
     Assignee: (unassigned) => Dustin Kirkland (kirkland)

-- 
Sync agda 2.2.4+dfsg-1 (universe) from Debian unstable (main)
https://bugs.launchpad.net/bugs/415593
You received this bug notification because you are a member of Ubuntu
Package Archive Administrators, which is a direct subscriber.