Ubuntu

  1. Bug #415594
  2. Comment #1

Comment 1 for bug 415594

Revision history for this message
Dustin Kirkland  (kirkland) wrote :

lp_archive@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/>