diff options
| author | Clint Adams <clint@debian.org> | 2016-10-07 19:24:30 -0400 |
|---|---|---|
| committer | Clint Adams <clint@debian.org> | 2016-10-16 16:37:10 -0400 |
| commit | 9726c5bb43316450bdba50a41ec4ee299a79973c (patch) | |
| tree | 10f009ea010ccabad07e3a5356fff7327f9a936b /p/agda | |
| parent | cd570e782f70d301b7a5a8905df343f62c203751 (diff) | |
| download | DHG_packages-9726c5bb43316450bdba50a41ec4ee299a79973c.tar.gz | |
Agda: Upgrading from 2.5.1 to 2.5.1.1
Diffstat (limited to 'p/agda')
| -rw-r--r-- | p/agda/debian/changelog | 7 | ||||
| -rw-r--r-- | p/agda/debian/control | 23 | ||||
| -rwxr-xr-x | 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 0c786de77..8ef44c4bd 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@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 55f846e2c..2e86ae716 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 62b187607..6549bdbe2 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 |