[Bug 415594] Re: Sync agda-bin 2.2.4-1 (universe) from Debian unstable (main)
Dustin Kirkland
dustin.kirkland at gmail.com
Wed Aug 19 23:48:53 BST 2009
lp_archive at cocoplum:~/syncs$ sync-source.py -b laney agda-bin
Getting binaries for karmic...
[Updating] agda-bin (0 [Ubuntu] < 2.2.4-1 [Debian])
* Trying to add agda-bin...
- <agda-bin_2.2.4-1.dsc: downloading from http://ftp.debian.org/debian/>
- <agda-bin_2.2.4.orig.tar.gz: downloading from http://ftp.debian.org/debian/>
- <agda-bin_2.2.4-1.diff.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-bin 2.2.4-1 (universe) from Debian unstable (main)
https://bugs.launchpad.net/bugs/415594
You received this bug notification because you are a member of Ubuntu
Package Archive Administrators, which is a direct subscriber.
More information about the ubuntu-archive
mailing list