Sync agda 2.2.6-2 (universe) from Debian sid (main)

Bug #515384 reported by Ilya Barygin on 2010-02-01
This bug affects 1 person
Affects Status Importance Assigned to Milestone
agda (Ubuntu)

Bug Description

Please sync agda 2.2.6-2 (universe) from Debian sid (main)

Changelog entries since current lucid version 2.2.4+dfsg-1:

agda (2.2.6-2) unstable; urgency=low

  * debian/control: Set priority to extra per archive overrides
  * debian/copyright: Update upstream source to a more generic location
  * debian/rules, debian/libghc6-agda-dev.install: Install Agda.css, needed
    to generate HTML documentation.

 -- Iain Lane <email address hidden> Sun, 10 Jan 2010 11:29:17 +0000

agda (2.2.6-1) unstable; urgency=low

  * New upstream release 2.2.6, for headlines please see:
  * debian/control
    + Bump standards-version to 3.8.3, no changes
    + Fix Vcs-Git to point to correct URL
    + Update build-depends for new upstream release
    + Undo arch/indep split per current pkg-haskell practice
    + Add Homepage field
  * debian/copyright: Fix encoding to UTF-8 (thanks Lintian)
  * debian/README.source: Remove, no repacking so not necessary any more
  * debian/50agda.el:
    + Only load file if it exists, prevents a non-intrusive emacs warning
      where 50agda.el is left on system when package is removed.
      (Closes: #559197).
    + Do not load file on XEmacs — agda-mode is not compatible with XEmacs.

 -- Iain Lane <email address hidden> Tue, 05 Jan 2010 23:43:20 +0000

Changed in agda (Ubuntu):
importance: Undecided → Wishlist
status: New → Confirmed
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>
  - <agda_2.2.6-2.diff.gz: downloading from>
  - <agda_2.2.6.orig.tar.gz: downloading from>
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
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers