[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