Ubuntu

Sync agda-bin 2.2.4-1 (universe) from Debian unstable (main)

Bug #415594 reported by Iain Lane
8
This bug affects 1 person
Affects Status Importance Assigned to Milestone
Ubuntu
Fix Released
Wishlist
Dustin Kirkland 

Bug Description

Please sync agda-bin 2.2.4-1 (universe) from Debian unstable (main)

agda-bin (2.2.4-1) unstable; urgency=low

  * Initial release (Closes: #537705)

 -- Iain Lane <email address hidden> Wed, 22 Jul 2009 00:14:04 +0100

Iain Lane (laney)
Changed in ubuntu:
importance: Undecided → Wishlist
status: New → Confirmed
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/>

Changed in ubuntu:
assignee: nobody → Dustin Kirkland (kirkland)
status: Confirmed → Fix Released
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.
Subscribing...

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.