Ubuntu
agda package

  1. Bug #515384
  2. Comment #1

Comment 1 for bug 515384

Revision history for this message
James Westby (james-w) wrote :

[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].