[Bug 515384] Sync agda 2.2.6-2 (universe) from Debian sid (main)

[James Westby]

[Updating] agda (2.2.4+dfsg-1 [Ubuntu] < 2.2.6-2 [Debian])
 * Trying to add agda...
  - <agda_2.2.6-2.dsc: downloading from http://ftp.debian.org/debian/>
  - <agda_2.2.6-2.diff.gz: downloading from http://ftp.debian.org/debian/>
  - <agda_2.2.6.orig.tar.gz: downloading from http://ftp.debian.org/debian/>
I: agda [universe] -> libghc6-agda-dev_2.2.4+dfsg-1 [universe].
I: agda [universe] -> libghc6-agda-prof_2.2.4+dfsg-1 [universe].
I: agda [universe] -> haskell-agda-doc_2.2.4+dfsg-1 [universe].
I: agda [universe] -> agda-mode_2.2.4+dfsg-1 [universe].


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

-- 
Sync agda 2.2.6-2 (universe) from Debian sid (main)
https://bugs.launchpad.net/bugs/515384
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.

-- 
ubuntu-bugs mailing list
ubuntu-bugs at lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs