[DHG_packages] 01/06: Agda: Upgrading from 2.5.1 to 2.5.1.1

Clint Adams clint at moszumanska.debian.org
Sun Oct 16 20:42:42 UTC 2016


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

clint pushed a commit to branch experimental
in repository DHG_packages.

commit 9726c5bb43316450bdba50a41ec4ee299a79973c
Author: Clint Adams <clint at debian.org>
Date:   Fri Oct 7 19:24:30 2016 -0400

    Agda: Upgrading from 2.5.1 to 2.5.1.1
---
 p/agda/debian/changelog |  7 +++++++
 p/agda/debian/control   | 23 +++++++++++++++--------
 p/agda/debian/rules     |  4 ++--
 3 files changed, 24 insertions(+), 10 deletions(-)

diff --git a/p/agda/debian/changelog b/p/agda/debian/changelog
index 0c786de..8ef44c4 100644
--- a/p/agda/debian/changelog
+++ b/p/agda/debian/changelog
@@ -1,3 +1,10 @@
+agda (2.5.1.1-1) experimental; urgency=medium
+
+  * New upstream version.
+  * Disable arch-specific handling to see what still breaks.
+
+ -- Clint Adams <clint at debian.org>  Sun, 16 Oct 2016 16:36:45 -0400
+
 agda (2.5.1-2) unstable; urgency=low
 
   [ Joachim Breitner ]
diff --git a/p/agda/debian/control b/p/agda/debian/control
index 55f846e..2e86ae7 100644
--- a/p/agda/debian/control
+++ b/p/agda/debian/control
@@ -12,7 +12,7 @@ Build-Depends:
  cpphs (>= 1.19),
  debhelper (>= 9),
  dh-elpa,
- ghc,
+ ghc (>= 8),
  happy,
  haskell-devscripts (>= 0.9),
  libghc-boxes-dev (<< 0.2),
@@ -84,9 +84,9 @@ Architecture: all
 Section: misc
 Depends:
  agda-bin,
- elpa-agda2-mode,
  agda-stdlib,
  agda-stdlib-doc,
+ elpa-agda2-mode,
  libghc-agda-dev,
  ${misc:Depends},
 Description: dependently typed functional programming language
@@ -138,18 +138,24 @@ Description: commandline interface to Agda
 Package: elpa-agda2-mode
 Section: editors
 Architecture: all
-Depends: ${misc:Depends},
+Depends:
  agda-bin (<< ${source:Version}.1~),
  agda-bin (>= ${source:Version}),
  libghc-agda-dev (<< ${source:Version}.1~),
  libghc-agda-dev (>= ${source:Version}),
  ${haskell:Depends},
+ ${misc:Depends},
  ${shlibs:Depends},
 Built-Using: ${misc:Built-Using}
-Recommends: emacs (>= 46.0)
-Enhances: emacs, emacs24
-Breaks: agda-mode (<< 2.5.1)
-Provides: agda-mode
+Recommends:
+ emacs (>= 46.0),
+Enhances:
+ emacs,
+ emacs24,
+Breaks:
+ agda-mode (<< 2.5.1),
+Provides:
+ agda-mode,
 Description: dependently typed functional programming language — emacs mode
  Agda is a dependently typed functional programming language: It has inductive
  families, which are like Haskell's GADTs, but they can be indexed by values and
@@ -171,7 +177,8 @@ Package: agda-mode
 Architecture: all
 Priority: extra
 Section: oldlibs
-Depends: ${misc:Depends}
+Depends:
+ ${misc:Depends},
 Description: transitional dummy package for elpa-agda2-mode
  agda-mode has been ELPAfied.  See the elpa-agda2-mode package.  This
  transitional package is safe to remove.
diff --git a/p/agda/debian/rules b/p/agda/debian/rules
index 62b1876..6549bdb 100755
--- a/p/agda/debian/rules
+++ b/p/agda/debian/rules
@@ -1,10 +1,10 @@
 #!/usr/bin/make -f
 DEB_BUILD_DEPENDENCIES = build-arch
 
-DEB_SETUP_GHC6_CONFIGURE_ARGS := --datadir='/usr/share' --datasubdir='libghc-agda-dev'
+DEB_SETUP_GHC_CONFIGURE_ARGS := --datadir='/usr/share' --datasubdir='libghc-agda-dev'
 
 # attempt to fix build on low-memory arm buildds
-DEB_SETUP_GHC_CONFIGURE_ARGS += --ghc-options="-optc--param -optcggc-min-expand=10"
+#DEB_SETUP_GHC_CONFIGURE_ARGS += --ghc-options="-optc--param -optcggc-min-expand=10"
 
 include /usr/share/cdbs/1/rules/debhelper.mk
 include /usr/share/cdbs/1/class/hlibrary.mk

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



More information about the Pkg-haskell-commits mailing list