agda 2.5.1-1 source package in Ubuntu

Changelog

agda (2.5.1-1) unstable; urgency=medium

  * Package new upstream version.
    - Build dependency bounds updated to match Agda.cabal.
    - New build dependencies:
      - ghc-prof
      - libghc-edison-core-*
      - libghc-edison-api-*
      - libghc-monadplus-*
      - libghc-transformers-*
    - Also pregenerate the new Builtin/*.agdai interface files in
      libghc-agda-dev (see changelog entry for version 2.4.0.2-2).
    - Dropped build dependencies:
      - ghc-ghci
  * Install Emacs mode with dh_elpa.
    - New binary package elpa-agda2-mode.
    - agda-mode now a transitional dummy package.
    - Add patch creating file agda2-mode-pkg.el.
  * Override dh_strip to disable automatic -dbgsym binary.
  * Add standard Haskell Lintian override for binary-or-shlib-defines-rpath.
  * Add myself as an uploader.
  * Update Vcs-* for merge into DHG_packages.git and to use secure URIs.
  * Update reference to format specification in first line of d/copyright.
  * Run wrap-and-sort -abst
  * Bump standards version to 3.9.8 (no changes required).

 -- Sean Whitton <email address hidden>  Sun, 12 Jun 2016 17:34:08 +0900