[DHG_packages] 02/02: agda: fix transitional-package-should-be-oldlibs-extra

[Sean Whitton]

This is an automated email from the git hooks/post-receive script.

spw-guest pushed a commit to branch master
in repository DHG_packages.

commit cd8ddf2d9621a0a23a17dc57c0635b8c419a4fa9
Author: Sean Whitton <spwhitton at spwhitton.name>
Date:   Mon Jun 20 16:51:29 2016 +0900

    agda: fix transitional-package-should-be-oldlibs-extra
---
 p/agda/debian/changelog | 1 +
 p/agda/debian/control   | 3 ++-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/p/agda/debian/changelog b/p/agda/debian/changelog
index 4c8f8f1..c5951d6 100644
--- a/p/agda/debian/changelog
+++ b/p/agda/debian/changelog
@@ -3,6 +3,7 @@ agda (2.5.1-2) UNRELEASED; urgency=medium
   * Add `--ghc-options="-optc--param -optcggc-min-expand=10"` to GHC
     configure args in an attempt to fix FTBFS on arm buildds.
     As suggested by Joachim Breitner.
+  * Set Priority: extra and Section: oldlibs on agda-mode transitional package.
 
  -- Sean Whitton <spwhitton at spwhitton.name>  Mon, 20 Jun 2016 16:47:33 +0900
 
diff --git a/p/agda/debian/control b/p/agda/debian/control
index 4629e85..3ce7a36 100644
--- a/p/agda/debian/control
+++ b/p/agda/debian/control
@@ -169,7 +169,8 @@ Description: dependently typed functional programming language — emacs mode
 
 Package: agda-mode
 Architecture: all
-Section: misc
+Priority: extra
+Section: oldlibs
 Depends: ${misc:Depends}
 Description: transitional dummy package for elpa-agda2-mode
  agda-mode has been ELPAfied.  See the elpa-agda2-mode package.  This

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-haskell/DHG_packages.git