diff options
| author | Clint Adams <clint@debian.org> | 2016-06-29 16:51:34 +0200 |
|---|---|---|
| committer | Clint Adams <clint@debian.org> | 2016-06-29 16:51:34 +0200 |
| commit | 274c9878a709dfba172042866178095afb4641aa (patch) | |
| tree | 49e3bcf7df225cc8a532d9c1c3ac8775356ef197 | |
| parent | 641eee5c1744066d2f8a4e2209375be0fffed823 (diff) | |
| parent | eadba84308d4c7ee5c208f547e88ceb291931187 (diff) | |
| download | DHG_packages-274c9878a709dfba172042866178095afb4641aa.tar.gz | |
Merge remote-tracking branch 'origin/master' into experimental
94 files changed, 1782 insertions, 97 deletions
diff --git a/p/agda/debian/agda-bin.install b/p/agda/debian/agda-bin.install new file mode 100644 index 000000000..f7ad685e2 --- /dev/null +++ b/p/agda/debian/agda-bin.install @@ -0,0 +1 @@ +dist-ghc/build/agda/agda usr/bin diff --git a/p/agda/debian/agda-bin.lintian-overrides b/p/agda/debian/agda-bin.lintian-overrides new file mode 100644 index 000000000..25d3d4c31 --- /dev/null +++ b/p/agda/debian/agda-bin.lintian-overrides @@ -0,0 +1 @@ +binary-or-shlib-defines-rpath diff --git a/p/agda/debian/changelog b/p/agda/debian/changelog new file mode 100644 index 000000000..0c786de77 --- /dev/null +++ b/p/agda/debian/changelog @@ -0,0 +1,354 @@ +agda (2.5.1-2) unstable; urgency=low + + [ Joachim Breitner ] + * Fix Vcs-Browser field. + + [ Sean Whitton ] + * 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. + * Add missing continuation marker in d/copyright. + + -- Sean Whitton <spwhitton@spwhitton.name> Mon, 20 Jun 2016 17:34:46 +0900 + +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 <spwhitton@spwhitton.name> Sun, 12 Jun 2016 17:34:08 +0900 + +agda (2.4.2.5-1) unstable; urgency=medium + + * [a116bca] Imported Upstream version 2.4.2.5 + * [2c258f5] Update build-deps for new release + * [7d835fa] Remove patches which are applied upstream + + -- Iain Lane <laney@debian.org> Mon, 04 Jan 2016 12:56:33 +0000 + +agda (2.4.2.2-4) unstable; urgency=medium + + * [d59dba4] Revert modification of upstream source in + a4109c2c88ab582bbc3141cd9a87373c3509c97b. We're patches unapplied. + * [570458a] Cherry-pick upstream patch to build with cpphs 1.19 (Closes: + #793194) + + -- Iain Lane <laney@debian.org> Tue, 04 Aug 2015 14:46:23 +0100 + +agda (2.4.2.2-3) unstable; urgency=medium + + * Fix dependency on hashtables + + -- Joachim Breitner <nomeata@debian.org> Wed, 01 Jul 2015 19:26:22 +0200 + +agda (2.4.2.2-2) unstable; urgency=medium + + * [d5cf60f] Depend on ${shlibs:Depends}, to get libc (& maybe other) deps + + -- Iain Lane <laney@debian.org> Wed, 20 May 2015 13:08:33 +0100 + +agda (2.4.2.2-1) unstable; urgency=medium + + * New upstream release. + * [1d76e9e] Bump BDs in line with Agda.cabal + * [03480b1] Use ${source:Upstream-Version} substvar to generate the + Recommends + * [a164dc2] Drop patch, applied (in spirit) upstream. + * [9a45428] Drop Build-Depends{,-Indep} on packages now provided by ghc + * [87544db] debian/rules: Use LC_ALL=C.UTF-8 otherwise cpphs dies when + parsing the source + + -- Iain Lane <laney@debian.org> Wed, 20 May 2015 12:09:52 +0100 + +agda (2.4.2-1) unstable; urgency=medium + + * [6770868] Imported Upstream version 2.4.2 + * [3d550e3] Add patch from Joachim to allow transformers 0.4 and mtl 2.3 + * [38f0ec9] Add cpphs BD, requied by cabal file + + -- Iain Lane <laney@debian.org> Tue, 23 Sep 2014 09:58:31 +0100 + +agda (2.4.0.2-2) unstable; urgency=medium + + * [e33e7a9] Pregenerate the Primitive.agdai interface file in + libghc-agda-dev, since agda users typically can't write to that + directory. Fixes agda-stdlib build. + + -- Colin Watson <cjwatson@debian.org> Mon, 11 Aug 2014 11:55:48 +0100 + +agda (2.4.0.2-1) unstable; urgency=medium + + * [6e140ac] Imported Upstream version 2.4.0.2 + * [2049fc8] Update Build-Depends to match control + * [93dc4d4] Install the new primitives + * [e48f40f] Fix typo dev→doc + + -- Iain Lane <laney@debian.org> Tue, 05 Aug 2014 06:38:12 +0100 + +agda (2.3.2.2-1) unstable; urgency=low + + * [244f29d] Use new watch file template + * [16a3f05] Imported Upstream version 2.3.2.2 + * [bdb8574] Update BDs to match cabal file + * [9bc56ee] debian/patches/support-alex-3.1: Remove patch applied upstream + in this release + + -- Iain Lane <laney@debian.org> Wed, 06 Nov 2013 09:59:36 +0000 + +agda (2.3.2.1-2) unstable; urgency=low + + * [da376f6] Update BDs per .cabal; extend hashable, remove packages provided + by ghc + * [e21e765] Cherry-pick from upstream: Suppoert Alex 3.1.x + * [2263659] Remove "dist" generated files accidently commited + + -- Iain Lane <laney@debian.org> Sat, 19 Oct 2013 11:58:05 +0100 + +agda (2.3.2.1-1) unstable; urgency=low + + * [8cfbabf] Imported Upstream version 2.3.2.1 + * [74f34b0] Bump BD on mtl per .cabal file + * [a3bff17] Drop Debian patches now obsoleted by this upstream release + + -- Iain Lane <laney@debian.org> Sun, 16 Jun 2013 13:14:47 +0100 + +agda (2.3.2-4) unstable; urgency=low + + * [3d77fff] Build-Depend on ghc-ghci; we require this due to Template + Haskell + + -- Iain Lane <laney@debian.org> Wed, 12 Jun 2013 10:44:41 +0100 + +agda (2.3.2-3) unstable; urgency=low + + * Clean up build dependencies + + -- Joachim Breitner <nomeata@debian.org> Wed, 29 May 2013 14:06:03 +0200 + +agda (2.3.2-2) unstable; urgency=low + + * Upload to unstable + * [0faee65] Use compat 9 + * [02dba24] Standards Version → 3.9.4 + * [bd2a43f] Use common substvars for description blurbs. + * [06ddb90] Remove obsolete DM-Upload-Allowed field + + -- Iain Lane <laney@debian.org> Mon, 27 May 2013 19:13:14 +0100 + +agda (2.3.2-1) experimental; urgency=low + + [ Kiwamu Okabe ] + * New patch: Extend haskell-src-exts dependency and fix type miss. + + [ Iain Lane ] + * [dfbca48] Imported Upstream version 2.3.2 + * [7746bcc] Remove all patches — all upstream. + * [2cdb691] Update build-deps to match control file + * [868ebf4] agda-mode no longer depends on haskell-mode or GHCi. + Remove dependency and update .el file accordingly + * [9e0ba22] Add agda-bin package here, as the separate package has been + removed + * [75a240f] agda-mode needs to depend on agda-bin + * [d290f95] Allow Quickcheck up to 2.7. Fix haskeline build-dep. + * [79190e6] Add missing geniplate and parallel BDs + + -- Iain Lane <laney@debian.org> Wed, 10 Apr 2013 11:46:43 +0100 + +agda (2.3.0.1-2) unstable; urgency=low + + * New patch: Extend mtl dependency + + -- Joachim Breitner <nomeata@debian.org> Fri, 25 May 2012 22:58:34 +0200 + +agda (2.3.0.1-1) unstable; urgency=low + + * New upstream release, GHC-7.4.1 compatible (Closes: #663048) + + -- Joachim Breitner <nomeata@debian.org> Mon, 12 Mar 2012 14:12:34 +0100 + +agda (2.3.0-1) unstable; urgency=low + + * [c0e4746] Imported Upstream version 2.3.0. New/changed features include: + + New more liberal syntax for mutually recursive definitions + + Pattern matching on lambdas + + New syntax for updating (some fields of) records + + Universe polymorphism is now enabled by default + + New type of hidden function argument: instance arguments + + Dependent irrelevant function types and records with irrelevant fields + + See http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Version-2-3-0 + for a full list + * [369ed3a] Update BDs in line with cabal requirements in new upstream + * [3798aee] Remove all patches. They are all now upstream. + + -- Iain Lane <laney@debian.org> Wed, 23 Nov 2011 10:12:59 +0000 + +agda (2.2.10-4) unstable; urgency=low + + * [16d953e] Remove old left-around patches + * [af671fe] Explicitly add haskell-mode directory to load path. + Thanks to Joey Capper for discovering the bug. + * [6fa096d] Update to use my d.o email address + * [f228ca0] Add an alexGetByte function for alex-3.0 compatibility + + -- Iain Lane <laney@debian.org> Sat, 03 Sep 2011 23:11:17 +0100 + +agda (2.2.10-3) unstable; urgency=low + + * Extend haskell-src-exts dependency range to include 0.11.* + + -- Joachim Breitner <nomeata@debian.org> Fri, 17 Jun 2011 10:38:21 +0200 + +agda (2.2.10-2) unstable; urgency=low + + * Adjust conflict on haskell-agda-doc to exclude the dummy package (Closes: + #629572) + + -- Joachim Breitner <nomeata@debian.org> Tue, 07 Jun 2011 23:57:04 +0200 + +agda (2.2.10-1) unstable; urgency=low + + * [60c4b8a] Imported Upstream version 2.2.10 + * [81c6857] Add haskell-src-exts BD + * [d0ce959] Add QuickCheck BDs + * [5c875b0] Update short descriptions to reflect best practice + * [705223c] d/copyright: Update copyright years + * [ee8a4bc] GHC6 → GHC, for GHC 7 transition + * [12d4e49] Standards-Version bump to 3.9.2, no changes required + * [9244cc3] Add 'agda' meta package + * [c28c44c] Relax BD on src-exts + * [86be090] Backport upstream patch to add syb-0.3 compatibility + * [828c999] Lexer: Compatibility with the new GHC + * [db55ca5] Clean up some autogenerated files + + -- Iain Lane <laney@ubuntu.com> Thu, 19 May 2011 13:43:17 +0100 + +agda (2.2.8-1) experimental; urgency=low + + * [ec6cfda] Imported Upstream version 2.2.8 + * [597149f] Update emacs loading script to explicitly load haskell- + ghci. If this is not present, then agda-mode will error out + indicating that haskell-ghci is not available. + * [b16f978] Standards-Version → 3.9.1, no changes required + + -- Iain Lane <laney@ubuntu.com> Sat, 11 Dec 2010 15:39:21 +0000 + +agda (2.2.6-6) unstable; urgency=low + + * Fix FTBFS by fixing zlib doc package name. (Closes: #577892) + * Convert to 3.0 (quilt) + + -- Joachim Breitner <nomeata@debian.org> Fri, 16 Apr 2010 11:43:24 +0200 + +agda (2.2.6-5) unstable; urgency=low + + * debian/control: Rename -doc package. + + -- Marco Túlio Gontijo e Silva <marcot@debian.org> Tue, 16 Mar 2010 10:15:20 -0300 + +agda (2.2.6-4) unstable; urgency=low + + * debian/control: Remove the profiling package. It is unfortunate that this + package is proving to be too big to build before exhausting the available + resources on some architectures. Not having it should allow agda to build + in many more places though, so this is a win. + * debian/control, debian/rules, debian/watcher.sh: Remove the ticker which + should no longer be necessary due to the above. (Closes: #572300) + + -- Iain Lane <laney@ubuntu.com> Sat, 27 Feb 2010 20:35:10 +0000 + +agda (2.2.6-3) unstable; urgency=low + + [ Iain Lane ] + * debian/rules, debian/watcher.sh: Add a ticker to the build to prevent + timeouts on some arches. This was taken from the GHC6 source package and + modified a bit to add some rudimentary locking. Previously the build was + timing out on some slow arches (armel, mips*) but does actually make + progress and complete when given enough time + * debian/control: + + Add field ${haskell:Provides} to -dev and -prof packages in preparation + the upcoming GHC6/haskell-devscripts uploads into unstable + + Standards-Version bump to 3.8.4, no changes required + + [ Marco Túlio Gontijo e Silva ] + * debian/control: Remove unneeded Build-Depends: on libghc6-utf8- + string-*. + * debian/control: Bump version of haskell-devscripts on Build-Depends + to 0.7. Remove versioned Build-Depends: of ghc6* and remove + hscolour and haddock from Build-Depends:. + * debian/control: Split Build-Depends in Buid-Depends-Indep:. + * debian/control: Use all haskell: variables. + * debian/watch: Use format that downloads current version and checks + for new versions. + + -- Marco Túlio Gontijo e Silva <marcot@debian.org> Sat, 20 Feb 2010 20:12:57 -0200 + +agda (2.2.6-2) unstable; urgency=low + + * debian/control: Set priority to extra per archive overrides + * debian/copyright: Update upstream source to a more generic location + * debian/rules, debian/libghc6-agda-dev.install: Install Agda.css, needed + to generate HTML documentation. + + -- Iain Lane <laney@ubuntu.com> Sun, 10 Jan 2010 11:29:17 +0000 + +agda (2.2.6-1) unstable; urgency=low + + * New upstream release 2.2.6, for headlines please see: + http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Version-2-2-6 + * debian/control + + Bump standards-version to 3.8.3, no changes + + Fix Vcs-Git to point to correct URL + + Update build-depends for new upstream release + + Undo arch/indep split per current pkg-haskell practice + + Add Homepage field + * debian/copyright: Fix encoding to UTF-8 (thanks Lintian) + * debian/README.source: Remove, no repacking so not necessary any more + * debian/50agda.el: + + Only load file if it exists, prevents a non-intrusive emacs warning + where 50agda.el is left on system when package is removed. + (Closes: #559197). + + Do not load file on XEmacs — agda-mode is not compatible with XEmacs. + + -- Iain Lane <laney@ubuntu.com> Tue, 05 Jan 2010 23:43:20 +0000 + +agda (2.2.4+dfsg-1) unstable; urgency=low + + * New upstream release 2.2.4. + * Repacked to fix a couple of DFSG problems, see debian/README.source for + more information. + * debian/copyright: Update, add missing copyright holders. + * debian/control: Move ghc6-doc, haddock to Build-Depends. Move -doc + packages to build-depends-indep. + + -- Iain Lane <laney@ubuntu.com> Mon, 20 Jul 2009 19:49:41 +0100 + +agda (2.2.2-1) unstable; urgency=low + + * Initial packaging (Closes: #522924) + * With thanks to Marco Túlio Gontijo e Silva and Joachim Breitner for + their helpful comments + + -- Iain Lane <laney@ubuntu.com> Wed, 20 May 2009 16:08:07 +0100 + diff --git a/p/agda/debian/clean b/p/agda/debian/clean new file mode 100644 index 000000000..6ca2a3afe --- /dev/null +++ b/p/agda/debian/clean @@ -0,0 +1,2 @@ +dist/build/Agda/Syntax/Parser/Lexer.hs +dist/build/Agda/Syntax/Parser/Parser.hs diff --git a/p/agda/debian/compat b/p/agda/debian/compat new file mode 100644 index 000000000..ec635144f --- /dev/null +++ b/p/agda/debian/compat @@ -0,0 +1 @@ +9 diff --git a/p/agda/debian/control b/p/agda/debian/control new file mode 100644 index 000000000..55f846e2c --- /dev/null +++ b/p/agda/debian/control @@ -0,0 +1,236 @@ +Source: agda +Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> +Uploaders: + Iain Lane <laney@debian.org>, + Kiwamu Okabe <kiwamu@debian.or.jp>, + Sean Whitton <spwhitton@spwhitton.name>, +Priority: extra +Section: haskell +Build-Depends: + alex, + cdbs, + cpphs (>= 1.19), + debhelper (>= 9), + dh-elpa, + ghc, + happy, + haskell-devscripts (>= 0.9), + libghc-boxes-dev (<< 0.2), + libghc-boxes-dev (>= 0.1.3), + libghc-data-hash-dev (<< 0.3), + libghc-data-hash-dev (>= 0.2.0.0), + libghc-edison-api-dev (<< 1.4), + libghc-edison-api-dev (>= 1.3), + libghc-edison-core-dev (<< 1.3.2), + libghc-edison-core-dev (>= 1.3.1.1), + libghc-edit-distance-dev (<< 0.3), + libghc-edit-distance-dev (>= 0.2.1.2), + libghc-equivalence-dev (<< 0.4), + libghc-equivalence-dev (>= 0.2.5), + libghc-filemanip-dev (<< 0.4), + libghc-filemanip-dev (>= 0.3.6.3), + libghc-geniplate-mirror-dev (<< 0.8), + libghc-geniplate-mirror-dev (>= 0.6.0.6), + libghc-hashable-dev (<< 1.3), + libghc-hashable-dev (>= 1.2.1.0), + libghc-hashtables-dev, + libghc-monadplus-dev (<< 1.5), + libghc-monadplus-dev (>= 1.4), + libghc-mtl-dev, + libghc-parallel-dev (<< 3.3), + libghc-parallel-dev (>= 3.2.0.4), + libghc-quickcheck2-dev (<< 2.9), + libghc-quickcheck2-dev (>= 2.8.2), + libghc-src-exts-dev (<< 1.18), + libghc-src-exts-dev (>= 1.16.0.1), + libghc-strict-dev (<< 0.4), + libghc-strict-dev (>= 0.3.2), + libghc-transformers-compat-dev (<< 0.6), + libghc-transformers-compat-dev (>= 0.3.3.3), + libghc-transformers-dev, + libghc-unordered-containers-dev (<< 0.3), + libghc-unordered-containers-dev (>= 0.2.5.0), + libghc-zlib-dev (<< 0.7), + libghc-zlib-dev (>= 0.4.0.1), + libncurses5-dev, +Build-Depends-Indep: + ghc-doc, + libghc-boxes-doc, + libghc-data-hash-doc, + libghc-edison-api-doc, + libghc-edison-core-doc, + libghc-edit-distance-doc, + libghc-equivalence-doc, + libghc-geniplate-mirror-doc, + libghc-hashable-doc, + libghc-hashtables-doc, + libghc-monadplus-doc, + libghc-mtl-doc, + libghc-parallel-doc, + libghc-quickcheck2-doc, + libghc-src-exts-doc, + libghc-strict-doc, + libghc-transformers-compat-doc, + libghc-transformers-doc, + libghc-unordered-containers-doc, + libghc-zlib-doc, +Standards-Version: 3.9.8 +Homepage: http://wiki.portal.chalmers.se/agda/ +Vcs-Browser: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/tree/p/agda +Vcs-Git: https://anonscm.debian.org/git/pkg-haskell/DHG_packages.git + +Package: agda +Architecture: all +Section: misc +Depends: + agda-bin, + elpa-agda2-mode, + agda-stdlib, + agda-stdlib-doc, + libghc-agda-dev, + ${misc:Depends}, +Description: dependently typed functional programming language + 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 + not just types. It also has parameterised modules, mixfix operators, Unicode + characters, and an interactive Emacs interface (the type checker can assist in + the development of your code). + . + Agda is also a proof assistant: It is an interactive system for writing and + checking proofs. Agda is based on intuitionistic type theory, a foundational + system for constructive mathematics developed by the Swedish logician Per + Martin-Löf. It has many similarities with other proof assistants based on + dependent types, such as Coq, Epigram and NuPRL. + . + This is a meta package which provides Agda's emacs mode, executable, standard + library and its documentation. + +Package: agda-bin +Architecture: any +Depends: + ${haskell:Depends}, + ${misc:Depends}, + ${shlibs:Depends}, +Recommends: + libghc-agda-dev (<< ${source:Upstream-Version}+~), + libghc-agda-dev (>= ${source:Upstream-Version}), + ${haskell:Recommends}, +Suggests: + elpa-agda2-mode, + ${haskell:Suggests}, +Description: commandline interface to Agda + 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 + not just types. It also has parameterised modules, mixfix operators, Unicode + characters, and an interactive Emacs interface (the type checker can assist in + the development of your code). + . + Agda is also a proof assistant: It is an interactive system for writing and + checking proofs. Agda is based on intuitionistic type theory, a foundational + system for constructive mathematics developed by the Swedish logician Per + Martin-Löf. It has many similarities with other proof assistants based on + dependent types, such as Coq, Epigram and NuPRL. + . + This package provides a command-line program for type-checking and compiling + Agda programs. The program can also generate hyperlinked, highlighted HTML + files from Agda sources. + +Package: elpa-agda2-mode +Section: editors +Architecture: all +Depends: ${misc:Depends}, + agda-bin (<< ${source:Version}.1~), + agda-bin (>= ${source:Version}), + libghc-agda-dev (<< ${source:Version}.1~), + libghc-agda-dev (>= ${source:Version}), + ${haskell:Depends}, + ${shlibs:Depends}, +Built-Using: ${misc:Built-Using} +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 + not just types. It also has parameterised modules, mixfix operators, Unicode + characters, and an interactive Emacs interface (the type checker can assist in + the development of your code). + . + Agda is also a proof assistant: It is an interactive system for writing and + checking proofs. Agda is based on intuitionistic type theory, a foundational + system for constructive mathematics developed by the Swedish logician Per + Martin-Löf. It has many similarities with other proof assistants based on + dependent types, such as Coq, Epigram and NuPRL. + . + This package contains the emacs interactive development mode for Agda. This + mode is the preferred way to write Agda code, and offers features such as + iterative development, refinement, case analysis and so on. + +Package: agda-mode +Architecture: all +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 + transitional package is safe to remove. + +Package: libghc-agda-dev +Architecture: any +Section: haskell +Depends: + ${haskell:Depends}, + ${misc:Depends}, + ${shlibs:Depends}, +Recommends: + ${haskell:Recommends}, +Suggests: + ${haskell:Suggests}, +Provides: + ${haskell:Provides}, +Description: dependently typed functional programming language${haskell:ShortBlurb} + 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 + not just types. It also has parameterised modules, mixfix operators, Unicode + characters, and an interactive Emacs interface (the type checker can assist in + the development of your code). + . + Agda is also a proof assistant: It is an interactive system for writing and + checking proofs. Agda is based on intuitionistic type theory, a foundational + system for constructive mathematics developed by the Swedish logician Per + Martin-Löf. It has many similarities with other proof assistants based on + dependent types, such as Coq, Epigram and NuPRL. + . + ${haskell:Blurb} + +Package: libghc-agda-doc +Architecture: all +Section: doc +Depends: + ${haskell:Depends}, + ${misc:Depends}, +Recommends: + ${haskell:Recommends}, +Suggests: + ${haskell:Suggests}, +Conflicts: + haskell-agda-doc (<< 2.2.6-5), +Provides: + haskell-agda-doc, +Replaces: + haskell-agda-doc, +Description: dependently typed functional programming language${haskell:ShortBlurb} + 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 + not just types. It also has parameterised modules, mixfix operators, Unicode + characters, and an interactive Emacs interface (the type checker can assist in + the development of your code). + . + Agda is also a proof assistant: It is an interactive system for writing and + checking proofs. Agda is based on intuitionistic type theory, a foundational + system for constructive mathematics developed by the Swedish logician Per + Martin-Löf. It has many similarities with other proof assistants based on + dependent types, such as Coq, Epigram and NuPRL. + . + ${haskell:Blurb} diff --git a/p/agda/debian/copyright b/p/agda/debian/copyright new file mode 100644 index 000000000..590079a5f --- /dev/null +++ b/p/agda/debian/copyright @@ -0,0 +1,69 @@ +Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ +Upstream-Name: Agda +Upstream-Maintainer: Ulf Norell <ulfn@chalmers.se> +Upstream-Source: http://hackage.haskell.org/package/Agda + +Files: * +Copyright: 2005-2011, Ulf Norell, Catarina Coquand, Makoto Takeyama, + Nils Anders Danielsson, Andreas Abel, Karl Mehltretter, Marcin Benke +License: MIT + +Files: src/full/Agda/Utils/ReadP.hs +Copyright: Copyright 2002, The University of Glasgow +License: Other + +Files: debian/* +Copyright: 2009-10, Iain Lane <laney@ubuntu.com>, + Marco Túlio Gontijo e Silva <marcot@holoscopio.com> +License: MIT + +License: MIT + Copyright (c) 2005-2011 Ulf Norell, Nils Anders Danielsson, Catarina + Coquand, Makoto Takeyama, Andreas Abel, Karl Mehltretter, Marcin + Benke. + . + Permission is hereby granted, free of charge, to any person obtaining a copy + of this software and associated documentation files (the "Software"), to deal + in the Software without restriction, including without limitation the rights + to use, copy, modify, merge, publish, distribute, sublicense, and/or sell + copies of the Software, and to permit persons to whom the Software is + furnished to do so, subject to the following conditions: + . + The above copyright notice and this permission notice shall be included in + all copies or substantial portions of the Software. + . + THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR + IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, + FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE + AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER + LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, + OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE + SOFTWARE. + +License: Other + Redistribution and use in source and binary forms, with or without + modification, are permitted provided that the following conditions are met: + . + - Redistributions of source code must retain the above copyright notice, + this list of conditions and the following disclaimer. + . + - Redistributions in binary form must reproduce the above copyright notice, + this list of conditions and the following disclaimer in the documentation + and/or other materials provided with the distribution. + . + - Neither name of the University nor the names of its contributors may be + used to endorse or promote products derived from this software without + specific prior written permission. + . + THIS SOFTWARE IS PROVIDED BY THE UNIVERSITY COURT OF THE UNIVERSITY OF + GLASGOW AND THE CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, + INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND + FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE + UNIVERSITY COURT OF THE UNIVERSITY OF GLASGOW OR THE CONTRIBUTORS BE LIABLE + FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL + DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR + SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER + CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT + LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY + OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH + DAMAGE. diff --git a/p/agda/debian/elpa-agda2-mode.elpa b/p/agda/debian/elpa-agda2-mode.elpa new file mode 100644 index 000000000..535718d14 --- /dev/null +++ b/p/agda/debian/elpa-agda2-mode.elpa @@ -0,0 +1 @@ +src/data/emacs-mode/*.el diff --git a/p/agda/debian/libghc-agda-dev.install b/p/agda/debian/libghc-agda-dev.install new file mode 100644 index 000000000..9cb7fc4c3 --- /dev/null +++ b/p/agda/debian/libghc-agda-dev.install @@ -0,0 +1,2 @@ +debian/tmp-inst-ghc/usr/share/libghc-agda-dev/Agda.css usr/share/libghc-agda-dev/ +debian/tmp-inst-ghc/usr/share/libghc-agda-dev/lib usr/share/libghc-agda-dev diff --git a/p/agda/debian/patches/add-elpa-pkg-el-file.patch b/p/agda/debian/patches/add-elpa-pkg-el-file.patch new file mode 100644 index 000000000..7bc0a438b --- /dev/null +++ b/p/agda/debian/patches/add-elpa-pkg-el-file.patch @@ -0,0 +1,12 @@ +Description: Add elpa metadata file +Author: Sean Whitton <spwhitton@spwhitton.name> +Forwarded: https://github.com/agda/agda/issues/2032 + +This file is needed for the elpa-agda2-bin binary package to build. +--- +This patch header follows DEP-3: http://dep.debian.net/deps/dep3/ +--- /dev/null ++++ b/src/data/emacs-mode/agda2-mode-pkg.el +@@ -0,0 +1,2 @@ ++(define-package "agda2-mode" "2.5.1" ++ "interactive development for Agda, a dependently typed functional programming language") diff --git a/p/agda/debian/patches/series b/p/agda/debian/patches/series new file mode 100644 index 000000000..db9c3aee8 --- /dev/null +++ b/p/agda/debian/patches/series @@ -0,0 +1 @@ +add-elpa-pkg-el-file.patch diff --git a/p/agda/debian/rules b/p/agda/debian/rules new file mode 100755 index 000000000..62b187607 --- /dev/null +++ b/p/agda/debian/rules @@ -0,0 +1,26 @@ +#!/usr/bin/make -f +DEB_BUILD_DEPENDENCIES = build-arch + +DEB_SETUP_GHC6_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" + +include /usr/share/cdbs/1/rules/debhelper.mk +include /usr/share/cdbs/1/class/hlibrary.mk + +export LC_ALL=C.UTF-8 + +builtins = $(CURDIR)/debian/tmp-inst-ghc/usr/share/libghc-agda-dev/lib/prim/Agda/Primitive.agda \ + $(wildcard $(CURDIR)/debian/tmp-inst-ghc/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/*.agda) +install/libghc-agda-dev:: debian/tmp-inst-ghc + $(foreach builtin,$(builtins),Agda_datadir=$(CURDIR)/debian/tmp-inst-ghc/usr/share/libghc-agda-dev \ + debian/tmp-inst-ghc/usr/bin/agda $(builtin) -v0;) + +install/elpa-agda2-mode:: + dh_elpa + +override_dh_strip: + # GHC cannot produce debugging symbols so the -dbgsym package + # ends up empty, so disable generating it + dh_strip --no-automatic-dbgsym diff --git a/p/agda/debian/source/format b/p/agda/debian/source/format new file mode 100644 index 000000000..163aaf8d8 --- /dev/null +++ b/p/agda/debian/source/format @@ -0,0 +1 @@ +3.0 (quilt) diff --git a/p/agda/debian/watch b/p/agda/debian/watch new file mode 100644 index 000000000..efec61e56 --- /dev/null +++ b/p/agda/debian/watch @@ -0,0 +1,2 @@ +version=3 +http://hackage.haskell.org/package/Agda/distro-monitor .*-([0-9\.]+)\.(?:zip|tgz|tbz|txz|(?:tar\.(?:gz|bz2|xz))) diff --git a/p/gitit/debian/changelog b/p/gitit/debian/changelog index 22c544b14..fe7b4ffae 100644 --- a/p/gitit/debian/changelog +++ b/p/gitit/debian/changelog @@ -1,8 +1,16 @@ -gitit (0.12.1.1+dfsg-2) UNRELEASED; urgency=medium - - * Fix VCS fields - - -- Gianfranco Costamagna <locutusofborg@debian.org> Thu, 02 Jun 2016 19:12:11 +0200 +gitit (0.12.1.1+dfsg-2) unstable; urgency=medium + + * Use dh_link instead of dh_linktree + dh_linktree imposes a strong dependency against libjs-jquery. Use dh_link + to create the symlinks and avoid continuous uploading of the package. + * Remove unused lintian override + The minified javascript code has been removed from the source package, + so there is no reason to override the source-is-missing lintian warning. + * Add description to the jquery patch + * Remove duplicate entries from the Build-Depends field + * Fix spelling error in libghc-gitit-data package description + + -- Ilias Tsitsimpis <i.tsitsimpis@gmail.com> Thu, 23 Jun 2016 12:59:05 +0300 gitit (0.12.1.1+dfsg-1) unstable; urgency=medium diff --git a/p/gitit/debian/control b/p/gitit/debian/control index de0e70948..717ae0396 100644 --- a/p/gitit/debian/control +++ b/p/gitit/debian/control @@ -6,7 +6,6 @@ Section: haskell Build-Depends: debhelper (>= 9), haskell-devscripts (>= 0.10.2.3), cdbs, - dh-linktree, xsltproc, pandoc, docbook-xsl, @@ -52,7 +51,6 @@ Build-Depends: debhelper (>= 9), libghc-highlighting-kate-prof, libghc-hoauth2-dev (>= 0.4.2), libghc-hoauth2-dev (<< 0.6), - libghc-hoauth2-dev, libghc-hoauth2-prof, libghc-hslogger-dev (>= 1), libghc-hslogger-dev (<< 1.3), @@ -120,12 +118,6 @@ Build-Depends: debhelper (>= 9), libghc-zlib-dev (>= 0.5), libghc-zlib-dev (<< 0.7), libghc-zlib-prof, - libghc-http-dev (>= 1:4000.0), - libghc-http-dev (<< 1:4000.4), - libghc-http-dev, - libghc-hslogger-dev, - libghc-url-dev, - libghc-utf8-string-dev, Build-Depends-Indep: ghc-doc, libghc-configfile-doc, libghc-hstringtemplate-doc, @@ -259,5 +251,5 @@ Replaces: gitit (<< 0.10.6.3+dfsg-1), Description: ${haskell:ShortDescription} - Data files ${haskell:LongDescription} . - This package contains auxillary data files to be used with gitit or + This package contains auxiliary data files to be used with gitit or libghc-gitit-dev. diff --git a/p/gitit/debian/libghc-gitit-data.links b/p/gitit/debian/libghc-gitit-data.links new file mode 100644 index 000000000..ba5b39580 --- /dev/null +++ b/p/gitit/debian/libghc-gitit-data.links @@ -0,0 +1,4 @@ +/usr/share/javascript/jquery/jquery.min.js usr/share/gitit/data/static/js/jquery.min.js +/usr/share/javascript/jquery-ui/jquery-ui.min.js usr/share/gitit/data/static/js/jquery-ui.min.js +/usr/share/javascript/jquery-ui/css/smoothness/jquery-ui.min.css usr/share/gitit/data/static/css/jquery-ui.min.css +/usr/share/javascript/jquery-hotkeys/jquery.hotkeys.js usr/share/gitit/data/static/js/jquery.hotkeys.js diff --git a/p/gitit/debian/libghc-gitit-data.linktrees b/p/gitit/debian/libghc-gitit-data.linktrees deleted file mode 100644 index 039e23df2..000000000 --- a/p/gitit/debian/libghc-gitit-data.linktrees +++ /dev/null @@ -1,4 +0,0 @@ -embed /usr/share/javascript/jquery/jquery.min.js usr/share/gitit/data/static/js/jquery.min.js -embed /usr/share/javascript/jquery-ui/jquery-ui.min.js usr/share/gitit/data/static/js/jquery-ui.min.js -embed /usr/share/javascript/jquery-ui/css/smoothness/jquery-ui.min.css usr/share/gitit/data/static/css/jquery-ui.min.css -embed /usr/share/javascript/jquery-hotkeys/jquery.hotkeys.js usr/share/gitit/data/static/js/jquery.hotkeys.js diff --git a/p/gitit/debian/patches/jquery.patch b/p/gitit/debian/patches/jquery.patch index 67b03449a..0e0730278 100644 --- a/p/gitit/debian/patches/jquery.patch +++ b/p/gitit/debian/patches/jquery.patch @@ -1,3 +1,7 @@ +Description: Use libjs-jquery instead of embedded code + Patch gitit to use the javascript linked from the libjs-jquery package, + instead of the embedded one. +Author: Giovanni Mascellani <gio@debian.org> Index: gitit/data/templates/expire.st =================================================================== --- gitit.orig/data/templates/expire.st diff --git a/p/gitit/debian/rules b/p/gitit/debian/rules index 9ad3c8107..cdb30f738 100755 --- a/p/gitit/debian/rules +++ b/p/gitit/debian/rules @@ -24,4 +24,3 @@ install/libghc-gitit-data:: binary-post-install/libghc-gitit-data:: chmod +x debian/libghc-gitit-data/usr/share/gitit/data/post-update - dh_linktree -plibghc-gitit-data diff --git a/p/gitit/debian/source/lintian-overrides b/p/gitit/debian/source/lintian-overrides deleted file mode 100644 index 49bddab06..000000000 --- a/p/gitit/debian/source/lintian-overrides +++ /dev/null @@ -1,2 +0,0 @@ -# sources for this are in data/static/js -gitit source: source-is-missing data/static/js/jquery-ui-combined-1.6rc2.min.js diff --git a/p/haskell-adjunctions/debian/changelog b/p/haskell-adjunctions/debian/changelog index 09246e395..3ff3b20fa 100644 --- a/p/haskell-adjunctions/debian/changelog +++ b/p/haskell-adjunctions/debian/changelog @@ -1,8 +1,16 @@ -haskell-adjunctions (4.3-2) UNRELEASED; urgency=medium - - * Fix VCS fields - - -- Gianfranco Costamagna <locutusofborg@debian.org> Thu, 02 Jun 2016 19:12:12 +0200 +haskell-adjunctions (4.3-2) unstable; urgency=medium + + * Add patch 'fix-distributive-version'. + This package needs distributive-0.5 or later to build properly. + * Change Vcs-Browser to point to a valid directory which has d/changelog. + * Provide a longer description for the package. + * Update the d/copyright file + - Bump copyright years + - Add copyright for the Debian packaging files + - Change the license short name from BSD to BSD-3-clause + - Add missing 'Upstream-Name' and 'Upstream-Contact' fields + + -- Ilias Tsitsimpis <i.tsitsimpis@gmail.com> Thu, 09 Jun 2016 14:51:33 +0300 haskell-adjunctions (4.3-1) unstable; urgency=medium diff --git a/p/haskell-adjunctions/debian/control b/p/haskell-adjunctions/debian/control index 18390a39d..8844897f6 100644 --- a/p/haskell-adjunctions/debian/control +++ b/p/haskell-adjunctions/debian/control @@ -14,7 +14,7 @@ Build-Depends: debhelper (>= 9), libghc-contravariant-dev (>= 1), libghc-contravariant-dev (<< 2), libghc-contravariant-prof, - libghc-distributive-dev (>= 0.4), + libghc-distributive-dev (>= 0.5), libghc-distributive-dev (<< 1), libghc-distributive-prof, libghc-free-dev (>= 4), @@ -55,8 +55,12 @@ Build-Depends-Indep: ghc-doc, libghc-void-doc, Standards-Version: 3.9.8 Homepage: http://github.com/ekmett/adjunctions/ -Vcs-Browser: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/ -Vcs-Git: https://anonscm.debian.org/git/pkg-haskell/DHG_packages.git +Vcs-Browser: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/tree/p/haskell-adjunctions +Vcs-Git: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git +X-Description: adjunctions and representable functors for Haskell + In mathematics, adjoint functors are pairs of functors which stand in a + particular relationship with one another, called an adjunction. This + package provides adjunctions for Haskell. Package: libghc-adjunctions-dev Architecture: any @@ -66,9 +70,8 @@ Depends: ${haskell:Depends}, Recommends: ${haskell:Recommends}, Suggests: ${haskell:Suggests}, Provides: ${haskell:Provides}, -Description: Adjunctions${haskell:ShortBlurb} - In mathematics, adjoint functors are pairs of functors which stand in a - particular relationship with one another, called an adjunction. +Description: ${haskell:ShortDescription}${haskell:ShortBlurb} + ${haskell:LongDescription} . ${haskell:Blurb} @@ -79,9 +82,8 @@ Depends: ${haskell:Depends}, Recommends: ${haskell:Recommends}, Suggests: ${haskell:Suggests}, Provides: ${haskell:Provides}, -Description: Adjunctions${haskell:ShortBlurb} - In mathematics, adjoint functors are pairs of functors which stand in a - particular relationship with one another, called an adjunction. +Description: ${haskell:ShortDescription}${haskell:ShortBlurb} + ${haskell:LongDescription} . ${haskell:Blurb} @@ -92,8 +94,7 @@ Depends: ${misc:Depends}, ${haskell:Depends}, Recommends: ${haskell:Recommends}, Suggests: ${haskell:Suggests}, -Description: Adjunctions${haskell:ShortBlurb} - In mathematics, adjoint functors are pairs of functors which stand in a - particular relationship with one another, called an adjunction. +Description: ${haskell:ShortDescription}${haskell:ShortBlurb} + ${haskell:LongDescription} . ${haskell:Blurb} diff --git a/p/haskell-adjunctions/debian/copyright b/p/haskell-adjunctions/debian/copyright index b6fdc9351..6c7ec7053 100644 --- a/p/haskell-adjunctions/debian/copyright +++ b/p/haskell-adjunctions/debian/copyright @@ -1,9 +1,17 @@ Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ +Upstream-Name: adjunctions +Upstream-Contact: Edward A. Kmett <ekmett@gmail.com> Source: http://hackage.haskell.org/package/adjunctions Files: * -Copyright: (C) 2008-2013 Edward Kmett -License: BSD +Copyright: (C) 2008-2014 Edward Kmett +License: BSD-3-clause + +Files: debian/* +Copyright: held by the contributors mentioned in debian/changelog +License: BSD-3-clause + +License: BSD-3-clause All rights reserved. . Redistribution and use in source and binary forms, with or without diff --git a/p/haskell-adjunctions/debian/patches/fix-distributive-version b/p/haskell-adjunctions/debian/patches/fix-distributive-version new file mode 100644 index 000000000..365726581 --- /dev/null +++ b/p/haskell-adjunctions/debian/patches/fix-distributive-version @@ -0,0 +1,19 @@ +Description: adjunctions requires distributive >= 0.5 +Author: RyanGlScott <ryan.gl.scott@gmail.com> +Origin: upstream, https://github.com/ekmett/adjunctions/commit/821f49863912 +Bug: https://github.com/ekmett/adjunctions/issues/20 +--- +This patch header follows DEP-3: http://dep.debian.net/deps/dep3/ +Index: b/adjunctions.cabal +=================================================================== +--- a/adjunctions.cabal ++++ b/adjunctions.cabal +@@ -45,7 +45,7 @@ library + comonad >= 4 && < 6, + containers >= 0.3 && < 0.6, + contravariant >= 1 && < 2, +- distributive >= 0.4 && < 1, ++ distributive >= 0.5 && < 1, + free >= 4 && < 5, + mtl >= 2.0.1 && < 2.3, + profunctors >= 4 && < 6, diff --git a/p/haskell-adjunctions/debian/patches/series b/p/haskell-adjunctions/debian/patches/series new file mode 100644 index 000000000..896d21c92 --- /dev/null +++ b/p/haskell-adjunctions/debian/patches/series @@ -0,0 +1 @@ +fix-distributive-version diff --git a/p/haskell-conduit-extra/debian/changelog b/p/haskell-conduit-extra/debian/changelog index bc74ba1ac..0ade48c7e 100644 --- a/p/haskell-conduit-extra/debian/changelog +++ b/p/haskell-conduit-extra/debian/changelog @@ -1,8 +1,18 @@ -haskell-conduit-extra (1.1.13.1-2) UNRELEASED; urgency=medium - - * Fix VCS fields - - -- Gianfranco Costamagna <locutusofborg@debian.org> Thu, 02 Jun 2016 19:12:20 +0200 +haskell-conduit-extra (1.1.13.1-2) unstable; urgency=medium + + * Update d/copyright file + - Fix typo (s/Attoparsec.h/Attoparsec.hs/) + - Add myself under debian/* files + * Update the no-bytestring-builder patch + - Remove bytestring-builder package from benchmark's Build-depends + - Add description in DEP-3 format + * Add fix-alignment patch + Ensure that alignment constraints are fulfilled in all + architectures. This makes the code portable and fixes a FTBFS + for the armhf architecture. + * Remove duplicate entries from the Build-Depends field + + -- Ilias Tsitsimpis <i.tsitsimpis@gmail.com> Sat, 25 Jun 2016 12:19:47 +0300 haskell-conduit-extra (1.1.13.1-1) unstable; urgency=medium diff --git a/p/haskell-conduit-extra/debian/control b/p/haskell-conduit-extra/debian/control index 35cfb5f60..7be013d56 100644 --- a/p/haskell-conduit-extra/debian/control +++ b/p/haskell-conduit-extra/debian/control @@ -36,12 +36,7 @@ Build-Depends: debhelper (>= 9), libghc-transformers-base-dev, libghc-transformers-base-prof, libghc-quickcheck2-dev, - libghc-attoparsec-dev, - libghc-blaze-builder-dev, - libghc-conduit-dev, libghc-hspec-dev (>= 1.3), - libghc-resourcet-dev, - libghc-streaming-commons-dev, Build-Depends-Indep: ghc-doc, libghc-async-doc, libghc-attoparsec-doc, diff --git a/p/haskell-conduit-extra/debian/copyright b/p/haskell-conduit-extra/debian/copyright index 688ac2e85..929220f4b 100644 --- a/p/haskell-conduit-extra/debian/copyright +++ b/p/haskell-conduit-extra/debian/copyright @@ -9,9 +9,10 @@ License: Expat Files: debian/* Copyright: 2014 Clint Adams + 2016 Ilias Tsitsimpis <i.tsitsimpis@gmail.com> License: Expat -Files: Data/Conduit/Attoparsec.h +Files: Data/Conduit/Attoparsec.hs Data/Conduit/Text.hs Copyright: 2011 Michael Snoyman 2010-2011 John Millikin diff --git a/p/haskell-conduit-extra/debian/patches/fix-alignment b/p/haskell-conduit-extra/debian/patches/fix-alignment new file mode 100644 index 000000000..41892b7ad --- /dev/null +++ b/p/haskell-conduit-extra/debian/patches/fix-alignment @@ -0,0 +1,79 @@ +Description: Fix alignment restrictions + Ensure that alignment constraints are fulfilled in all architectures. + This makes the code portable and fixes a FTBFS for the armhf architecture. +Author: Ilias Tsitsimpis <i.tsitsimpis@gmail.com> +Forwarded: https://github.com/snoyberg/conduit/pull/269 +Index: b/Data/Conduit/Binary.hs +=================================================================== +--- a/Data/Conduit/Binary.hs ++++ b/Data/Conduit/Binary.hs +@@ -76,6 +76,8 @@ import Control.Monad.Trans.Resource (Mon + import Control.Monad.Catch (MonadThrow (..)) + import Control.Exception (Exception) + import Data.Typeable (Typeable) ++import Foreign.Marshal (alloca, copyBytes) ++import Foreign.Ptr (Ptr) + + -- | Stream the contents of a file as binary data. + -- +@@ -501,7 +503,10 @@ sinkStorableHelper wrap failure = do + + -- Given a bytestring of exactly the correct size, grab the value + process bs = return $! wrap $! inlinePerformIO $! +- unsafeUseAsCString bs (peek . castPtr) ++ unsafeUseAsCString bs (safePeek undefined . castPtr) ++ ++ safePeek :: a -> Ptr a -> IO a ++ safePeek val ptr = alloca (\t -> copyBytes t ptr (sizeOf val) >> peek t) + {-# INLINE sinkStorableHelper #-} + + data SinkStorableException = SinkStorableInsufficientBytes +Index: b/test/Data/Conduit/BinarySpec.hs +=================================================================== +--- a/test/Data/Conduit/BinarySpec.hs ++++ b/test/Data/Conduit/BinarySpec.hs +@@ -20,9 +20,11 @@ import Data.Functor.Identity + import Test.QuickCheck.Arbitrary (Arbitrary, arbitrary) + import Test.QuickCheck.Gen (Gen, oneof) + import Data.Word (Word8) +-import Foreign.Storable (Storable, sizeOf, pokeByteOff) ++import Foreign.Storable (Storable, sizeOf, pokeByteOff, alignment) + import Data.Typeable (Typeable) +-import Data.ByteString.Internal (unsafeCreate) ++import Data.ByteString.Internal (createAndTrim') ++import Foreign.Ptr (alignPtr, minusPtr) ++import System.IO.Unsafe (unsafePerformIO) + import Control.Applicative ((<$>), (<*>)) + + spec :: Spec +@@ -277,19 +279,19 @@ withSomeStorable :: SomeStorable + -> b + withSomeStorable (SomeStorable x) f = f x + +-someStorables :: [SomeStorable] -> S.ByteString +-someStorables stores0 = +- unsafeCreate size start ++someStorable :: SomeStorable -> S.ByteString ++someStorable store = ++ fst $ unsafePerformIO $ createAndTrim' (size + align) start + where +- size = sum $ map (\x -> withSomeStorable x sizeOf) stores0 ++ size = withSomeStorable store sizeOf ++ align = withSomeStorable store alignment ++ start ptr = do ++ let off = minusPtr ptr (alignPtr ptr align) ++ withSomeStorable store (pokeByteOff ptr off) ++ return (off, size, ()) + +- start ptr = +- go stores0 0 +- where +- go [] _ = return () +- go (x:rest) off = do +- withSomeStorable x (pokeByteOff ptr off) +- go rest (off + withSomeStorable x sizeOf) ++someStorables :: [SomeStorable] -> S.ByteString ++someStorables = S.concat . map someStorable + + it' :: String -> IO () -> Spec + it' = it diff --git a/p/haskell-conduit-extra/debian/patches/no-bytestring-builder b/p/haskell-conduit-extra/debian/patches/no-bytestring-builder index 5cc800b2f..836e45256 100644 --- a/p/haskell-conduit-extra/debian/patches/no-bytestring-builder +++ b/p/haskell-conduit-extra/debian/patches/no-bytestring-builder @@ -1,6 +1,12 @@ +Description: Remove bytestring-builder from Build-depends + This package is a no-op for Debian (and so, we do not ship it). +Author: Joachim Breitner <nomeata@debian.org> +Forwarded: not-needed, debian specific +Index: b/conduit-extra.cabal +=================================================================== --- a/conduit-extra.cabal +++ b/conduit-extra.cabal -@@ -71,8 +71,7 @@ +@@ -73,8 +73,7 @@ test-suite test , async , attoparsec , blaze-builder @@ -10,3 +16,11 @@ , exceptions , process , resourcet +@@ -107,7 +106,6 @@ benchmark blaze + , conduit-extra + , criterion + , bytestring +- , bytestring-builder + , transformers + main-is: blaze.hs + ghc-options: -Wall -O2 -rtsopts diff --git a/p/haskell-conduit-extra/debian/patches/series b/p/haskell-conduit-extra/debian/patches/series index d61cbb2d4..56a120c27 100644 --- a/p/haskell-conduit-extra/debian/patches/series +++ b/p/haskell-conduit-extra/debian/patches/series @@ -1 +1,2 @@ no-bytestring-builder +fix-alignment diff --git a/p/haskell-hopenpgp-tools/debian/changelog b/p/haskell-hopenpgp-tools/debian/changelog index aebc94527..7f8acb7f8 100644 --- a/p/haskell-hopenpgp-tools/debian/changelog +++ b/p/haskell-hopenpgp-tools/debian/changelog @@ -1,13 +1,19 @@ -haskell-hopenpgp-tools (0.18-2) UNRELEASED; urgency=medium +haskell-hopenpgp-tools (0.19.1-1) unstable; urgency=medium + + * New upstream release + + -- Clint Adams <clint@debian.org> Mon, 27 Jun 2016 10:29:40 +0200 + +haskell-hopenpgp-tools (0.19-1) unstable; urgency=medium [ Dmitry Bogatov ] * Use secure (https) uri in Vcs-Git field in 'debian/control' * Bump standards version to 3.9.8 (no changes needed) - [ Gianfranco Costamagna ] - * Fix VCS fields + [ Clint Adams ] + * New upstream release - -- Dmitry Bogatov <KAction@gnu.org> Tue, 10 May 2016 09:35:28 +0300 + -- Clint Adams <clint@debian.org> Sat, 11 Jun 2016 11:09:30 -0400 haskell-hopenpgp-tools (0.18-1) unstable; urgency=medium diff --git a/p/haskell-hopenpgp-tools/debian/control b/p/haskell-hopenpgp-tools/debian/control index 462f531dd..2df0a84ae 100644 --- a/p/haskell-hopenpgp-tools/debian/control +++ b/p/haskell-hopenpgp-tools/debian/control @@ -19,7 +19,10 @@ Build-Depends: debhelper (>= 9), libghc-errors-dev, libghc-fgl-dev, libghc-graphviz-dev, - libghc-hopenpgp-dev (>= 2.4.1), + libghc-hopenpgp-dev (>= 2.5), + libghc-http-client-dev, + libghc-http-client-tls-dev, + libghc-http-types-dev, libghc-ixset-typed-dev, libghc-lens-dev, libghc-monad-loops-dev, diff --git a/p/haskell-hopenpgp/debian/changelog b/p/haskell-hopenpgp/debian/changelog index 9449ea69f..906163a25 100644 --- a/p/haskell-hopenpgp/debian/changelog +++ b/p/haskell-hopenpgp/debian/changelog @@ -1,14 +1,14 @@ -haskell-hopenpgp (2.4.4-2) UNRELEASED; urgency=medium +haskell-hopenpgp (2.5.1-1) unstable; urgency=medium [ Dmitry Bogatov ] * Use secure (https) uri in Vcs-Git field in 'debian/control' * Bump standards version to 3.9.8 (no changes needed) * Convert `debian/copyright' to dep5 format - [ Gianfranco Costamagna ] - * Fix VCS fields + [ Clint Adams ] + * New upstream release - -- Dmitry Bogatov <KAction@gnu.org> Tue, 10 May 2016 09:35:28 +0300 + -- Clint Adams <clint@debian.org> Mon, 27 Jun 2016 10:25:23 +0200 haskell-hopenpgp (2.4.4-1) unstable; urgency=medium diff --git a/p/haskell-js-jquery/debian/changelog b/p/haskell-js-jquery/debian/changelog index 02c22cb8a..e7b9ff36a 100644 --- a/p/haskell-js-jquery/debian/changelog +++ b/p/haskell-js-jquery/debian/changelog @@ -1,8 +1,9 @@ -haskell-js-jquery (1.12.4-2) UNRELEASED; urgency=medium +haskell-js-jquery (1.12.4-2) unstable; urgency=medium - * Fix VCS fields + * libghc-js-jquery-dev: Add dependency on libghc-js-jquery-data + * Update d/copyright file (bump copyright years) - -- Gianfranco Costamagna <locutusofborg@debian.org> Thu, 02 Jun 2016 19:12:42 +0200 + -- Ilias Tsitsimpis <i.tsitsimpis@gmail.com> Sun, 12 Jun 2016 17:53:54 +0300 haskell-js-jquery (1.12.4-1) unstable; urgency=medium diff --git a/p/haskell-js-jquery/debian/control b/p/haskell-js-jquery/debian/control index 5dfb8bcca..ec9a622c0 100644 --- a/p/haskell-js-jquery/debian/control +++ b/p/haskell-js-jquery/debian/control @@ -25,6 +25,7 @@ Architecture: any Depends: ${haskell:Depends}, ${shlibs:Depends}, ${misc:Depends}, + libghc-js-jquery-data (= ${source:Version}), Recommends: ${haskell:Recommends}, Suggests: ${haskell:Suggests}, Provides: ${haskell:Provides}, diff --git a/p/haskell-js-jquery/debian/copyright b/p/haskell-js-jquery/debian/copyright index 6d7c3042c..007b1f7ec 100644 --- a/p/haskell-js-jquery/debian/copyright +++ b/p/haskell-js-jquery/debian/copyright @@ -4,15 +4,16 @@ Upstream-Contact: Neil Mitchell <ndmitchell@gmail.com> Source: http://hackage.haskell.org/package/js-jquery Files: * -Copyright: 2014-2015 Neil Mitchell +Copyright: 2014-2016 Neil Mitchell License: Expat Files: debian/* Copyright: 2015 Iustin Pop + 2016 Ilias Tsitsimpis <i.tsitsimpis@gmail.com> License: Expat Files: javascript/* -Copyright: 2005, 2014 jQuery Foundation, Inc. and other contributors +Copyright: 2005-2016 jQuery Foundation, Inc. and other contributors License: Expat License: Expat diff --git a/p/haskell-jwt/debian/changelog b/p/haskell-jwt/debian/changelog index b24d5a603..26d9bb2f6 100644 --- a/p/haskell-jwt/debian/changelog +++ b/p/haskell-jwt/debian/changelog @@ -1,8 +1,9 @@ -haskell-jwt (0.7.2-2) UNRELEASED; urgency=medium +haskell-jwt (0.7.2-2) unstable; urgency=medium - * Fix VCS fields + * Uh, the reason to upgrade was to enable the tests. Forgot that for a + moment. - -- Gianfranco Costamagna <locutusofborg@debian.org> Thu, 02 Jun 2016 19:12:43 +0200 + -- Joachim Breitner <nomeata@debian.org> Thu, 02 Jun 2016 18:22:10 +0200 haskell-jwt (0.7.2-1) unstable; urgency=medium diff --git a/p/haskell-jwt/debian/rules b/p/haskell-jwt/debian/rules index 1331b7689..900b2f649 100755 --- a/p/haskell-jwt/debian/rules +++ b/p/haskell-jwt/debian/rules @@ -1,7 +1,6 @@ #!/usr/bin/make -f -# pending an upload of https://bitbucket.org/ssaasen/haskell-jwt/issues/22/could-not-find-module -# DEB_ENABLE_TESTS = yes +DEB_ENABLE_TESTS = yes DEB_CABAL_PACKAGE = jwt DEB_DEFAULT_COMPILER = ghc diff --git a/p/haskell-monadplus/debian/changelog b/p/haskell-monadplus/debian/changelog new file mode 100644 index 000000000..16c807b8d --- /dev/null +++ b/p/haskell-monadplus/debian/changelog @@ -0,0 +1,5 @@ +haskell-monadplus (1.4.2-1) unstable; urgency=medium + + * Initial release (Closes: #826735). + + -- Sean Whitton <spwhitton@spwhitton.name> Wed, 08 Jun 2016 21:55:46 +0900 diff --git a/p/haskell-monadplus/debian/compat b/p/haskell-monadplus/debian/compat new file mode 100644 index 000000000..ec635144f --- /dev/null +++ b/p/haskell-monadplus/debian/compat @@ -0,0 +1 @@ +9 diff --git a/p/haskell-monadplus/debian/control b/p/haskell-monadplus/debian/control new file mode 100644 index 000000000..418783c6b --- /dev/null +++ b/p/haskell-monadplus/debian/control @@ -0,0 +1,60 @@ +Source: haskell-monadplus +Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> +Uploaders: Sean Whitton <spwhitton@spwhitton.name> +Priority: extra +Section: haskell +Build-Depends: debhelper (>= 9), + haskell-devscripts (>= 0.9), + cdbs, + ghc, + ghc-prof, +Build-Depends-Indep: ghc-doc, + libghc-base-doc, +Standards-Version: 3.9.8 +Homepage: http://hackage.haskell.org/package/monadplus +Vcs-Browser: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/tree/p/haskell-monadplus +Vcs-Git: https://anonscm.debian.org/git/pkg-haskell/DHG_packages.git +X-Description: Haskell98 partial maps and filters over MonadPlus + Filtering and folding over arbitrary `MonadPlus` instances. + This package generalizes many common stream operations such as + `filter`, `catMaybes` etc. + +Package: libghc-monadplus-dev +Architecture: any +Depends: ${haskell:Depends}, + ${misc:Depends}, + ${shlibs:Depends}, +Recommends: ${haskell:Recommends}, +Suggests: ${haskell:Suggests}, +Conflicts: ${haskell:Conflicts}, +Provides: ${haskell:Provides}, +Description: ${haskell:ShortDescription}${haskell:ShortBlurb} + ${haskell:LongDescription} + . + ${haskell:Blurb} + +Package: libghc-monadplus-prof +Architecture: any +Depends: ${haskell:Depends}, + ${misc:Depends}, +Recommends: ${haskell:Recommends}, +Suggests: ${haskell:Suggests}, +Conflicts: ${haskell:Conflicts}, +Provides: ${haskell:Provides}, +Description: ${haskell:ShortDescription}${haskell:ShortBlurb} + ${haskell:LongDescription} + . + ${haskell:Blurb} + +Package: libghc-monadplus-doc +Architecture: all +Section: doc +Depends: ${haskell:Depends}, + ${misc:Depends}, +Recommends: ${haskell:Recommends}, +Suggests: ${haskell:Suggests}, +Conflicts: ${haskell:Conflicts}, +Description: ${haskell:ShortDescription}${haskell:ShortBlurb} + ${haskell:LongDescription} + . + ${haskell:Blurb} diff --git a/p/haskell-monadplus/debian/copyright b/p/haskell-monadplus/debian/copyright new file mode 100644 index 000000000..e36474b49 --- /dev/null +++ b/p/haskell-monadplus/debian/copyright @@ -0,0 +1,35 @@ +Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ +Upstream-Name: monadplus +Upstream-Contact: Hans Hoglund <hans@hanshoglund.se> +Source: https://hackage.haskell.org/package/monadplus + +Files: * +Copyright: (C) 2013 Hans Hoglund <hans@hanshoglund.se> +License: BSD-3-clause + +Files: debian/* +Copyright: held by the contributors mentioned in debian/changelog +License: BSD-3-clause + +License: BSD-3-clause + Redistribution and use in source and binary forms, with or without + modification, are permitted provided that the following conditions are met: + * Redistributions of source code must retain the above copyright + notice, this list of conditions and the following disclaimer. + * Redistributions in binary form must reproduce the above copyright + notice, this list of conditions and the following disclaimer in the + documentation and/or other materials provided with the distribution. + * Neither the name of the <organization> nor the + names of its contributors may be used to endorse or promote products + derived from this software without specific prior written permission. + . + THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND + ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED + WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE + DISCLAIMED. IN NO EVENT SHALL <COPYRIGHT HOLDER> BE LIABLE FOR ANY + DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES + (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; + LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND + ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT + (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS + SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. diff --git a/p/haskell-monadplus/debian/rules b/p/haskell-monadplus/debian/rules new file mode 100755 index 000000000..1bfb56edf --- /dev/null +++ b/p/haskell-monadplus/debian/rules @@ -0,0 +1,7 @@ +#!/usr/bin/make -f + +DEB_CABAL_PACKAGE = monadplus +DEB_DEFAULT_COMPILER = ghc + +include /usr/share/cdbs/1/rules/debhelper.mk +include /usr/share/cdbs/1/class/hlibrary.mk diff --git a/p/haskell-monadplus/debian/source/format b/p/haskell-monadplus/debian/source/format new file mode 100644 index 000000000..163aaf8d8 --- /dev/null +++ b/p/haskell-monadplus/debian/source/format @@ -0,0 +1 @@ +3.0 (quilt) diff --git a/p/haskell-monadplus/debian/watch b/p/haskell-monadplus/debian/watch new file mode 100644 index 000000000..cccfd1ce9 --- /dev/null +++ b/p/haskell-monadplus/debian/watch @@ -0,0 +1,2 @@ +version=3 +http://hackage.haskell.org/package/monadplus/distro-monitor .*-([0-9\.]+)\.(?:zip|tgz|tbz|txz|(?:tar\.(?:gz|bz2|xz))) diff --git a/p/haskell-mtl/debian/changelog b/p/haskell-mtl/debian/changelog index a9802629c..f45309866 100644 --- a/p/haskell-mtl/debian/changelog +++ b/p/haskell-mtl/debian/changelog @@ -1,14 +1,14 @@ -haskell-mtl (2.2.1-3) UNRELEASED; urgency=medium +haskell-mtl (2.2.1-3) unstable; urgency=medium [ Dmitry Bogatov ] * Use secure (https) uri in Vcs-Git field in 'debian/control' * Bump standards version to 3.9.8 (no changes needed) * Convert `debian/copyright' to dep5 format - [ Gianfranco Costamagna ] - * Fix VCS fields + [ Clint Adams ] + * Patch to build with newer transformers (for GHC 8 compatibility). - -- Dmitry Bogatov <KAction@gnu.org> Tue, 10 May 2016 09:35:49 +0300 + -- Clint Adams <clint@debian.org> Wed, 29 Jun 2016 14:40:25 +0200 haskell-mtl (2.2.1-2) unstable; urgency=medium diff --git a/p/haskell-mtl/debian/patches/newer-transformers b/p/haskell-mtl/debian/patches/newer-transformers new file mode 100644 index 000000000..7b33a1bf6 --- /dev/null +++ b/p/haskell-mtl/debian/patches/newer-transformers @@ -0,0 +1,11 @@ +--- a/mtl.cabal ++++ b/mtl.cabal +@@ -46,7 +46,7 @@ Library + Control.Monad.Writer.Class + Control.Monad.Writer.Lazy + Control.Monad.Writer.Strict +- build-depends: base < 6, transformers == 0.4.* ++ build-depends: base < 6, transformers >= 0.4 && < 0.6 + extensions: + MultiParamTypeClasses + FunctionalDependencies diff --git a/p/haskell-mtl/debian/patches/series b/p/haskell-mtl/debian/patches/series new file mode 100644 index 000000000..6f4ff70cc --- /dev/null +++ b/p/haskell-mtl/debian/patches/series @@ -0,0 +1 @@ +newer-transformers diff --git a/p/haskell-mueval/debian/changelog b/p/haskell-mueval/debian/changelog index d204776f2..323b37026 100644 --- a/p/haskell-mueval/debian/changelog +++ b/p/haskell-mueval/debian/changelog @@ -1,13 +1,13 @@ -haskell-mueval (0.9.1.1.2-6) UNRELEASED; urgency=medium +haskell-mueval (0.9.1.1.2-6) unstable; urgency=medium [ Dmitry Bogatov ] * Use secure (https) uri in Vcs-Git field in 'debian/control' * Bump standards version to 3.9.8 (no changes needed) - [ Gianfranco Costamagna ] - * Fix VCS fields + [ Clint Adams ] + * Patch for newer hint. - -- Dmitry Bogatov <KAction@gnu.org> Tue, 10 May 2016 09:35:50 +0300 + -- Clint Adams <clint@debian.org> Tue, 07 Jun 2016 09:34:52 -0400 haskell-mueval (0.9.1.1.2-5) unstable; urgency=medium diff --git a/p/haskell-mueval/debian/control b/p/haskell-mueval/debian/control index c5e595cb9..cc327aa71 100644 --- a/p/haskell-mueval/debian/control +++ b/p/haskell-mueval/debian/control @@ -14,7 +14,7 @@ Build-Depends: debhelper (>= 9), libghc-quickcheck2-prof, libghc-extensible-exceptions-dev, libghc-extensible-exceptions-prof, - libghc-hint-dev (>= 0.3.1), + libghc-hint-dev (>= 0.5.0), libghc-hint-prof, libghc-mtl-dev (>> 2), libghc-mtl-prof, diff --git a/p/haskell-mueval/debian/patches/newer-hint b/p/haskell-mueval/debian/patches/newer-hint new file mode 100644 index 000000000..cfad31979 --- /dev/null +++ b/p/haskell-mueval/debian/patches/newer-hint @@ -0,0 +1,68 @@ +--- a/Mueval/Interpreter.hs ++++ b/Mueval/Interpreter.hs +@@ -18,11 +18,12 @@ + import Data.List + + import Language.Haskell.Interpreter (eval, set, reset, setImportsQ, loadModules, liftIO, +- installedModulesInScope, languageExtensions, +- typeOf, setTopLevelModules, runInterpreter, glasgowExtensions, ++ installedModulesInScope, languageExtensions, availableExtensions, ++ typeOf, setTopLevelModules, runInterpreter, + OptionVal(..), Interpreter, + InterpreterError(..),GhcError(..), + Extension(UnknownExtension)) ++import Language.Haskell.Interpreter.Extension (asExtension) + import Language.Haskell.Interpreter.Unsafe (unsafeSetGhcOption) + + import Mueval.ArgsParse (Options(..)) +@@ -177,3 +178,39 @@ + \(E.SomeException e) -> return . Exception . toStream . show $ e + where uncons [] = End + uncons (x:xs) = x `seq` Cons x (toStream xs) ++ ++glasgowExtensions :: [Extension] ++glasgowExtensions = intersect availableExtensions exts612 ++ where exts612 = map asExtension ["PrintExplicitForalls", ++ "ForeignFunctionInterface", ++ "UnliftedFFITypes", ++ "GADTs", ++ "ImplicitParams", ++ "ScopedTypeVariables", ++ "UnboxedTuples", ++ "TypeSynonymInstances", ++ "StandaloneDeriving", ++ "DeriveDataTypeable", ++ "FlexibleContexts", ++ "FlexibleInstances", ++ "ConstrainedClassMethods", ++ "MultiParamTypeClasses", ++ "FunctionalDependencies", ++ "MagicHash", ++ "PolymorphicComponents", ++ "ExistentialQuantification", ++ "UnicodeSyntax", ++ "PostfixOperators", ++ "PatternGuards", ++ "LiberalTypeSynonyms", ++ "ExplicitForAll", ++ "RankNTypes", ++ "ImpredicativeTypes", ++ "TypeOperators", ++ "RecursiveDo", ++ "DoRec", ++ "ParallelListComp", ++ "EmptyDataDecls", ++ "KindSignatures", ++ "GeneralizedNewtypeDeriving", ++ "TypeFamilies" ] +--- a/mueval.cabal ++++ b/mueval.cabal +@@ -32,7 +32,7 @@ + exposed-modules: Mueval.Parallel, Mueval.Context, Mueval.Interpreter, + Mueval.ArgsParse, Mueval.Resources + build-depends: base>=4 && < 5, containers, directory, mtl>2, filepath, unix, process, +- hint>=0.3.1, show>=0.3, Cabal, extensible-exceptions, simple-reflect, ++ hint>=0.5.0, show>=0.3, Cabal, extensible-exceptions, simple-reflect, + QuickCheck + ghc-options: -Wall -static + diff --git a/p/haskell-mueval/debian/patches/series b/p/haskell-mueval/debian/patches/series new file mode 100644 index 000000000..008f5a8cd --- /dev/null +++ b/p/haskell-mueval/debian/patches/series @@ -0,0 +1 @@ +newer-hint diff --git a/p/haskell-numtype/debian/changelog b/p/haskell-numtype/debian/changelog index eb4fa2349..1bd9176fc 100644 --- a/p/haskell-numtype/debian/changelog +++ b/p/haskell-numtype/debian/changelog @@ -1,13 +1,13 @@ -haskell-numtype (1.1-5) UNRELEASED; urgency=medium +haskell-numtype (1.2-1) unstable; urgency=medium [ Dmitry Bogatov ] * Use secure (https) uri in Vcs-Git field in 'debian/control' * Bump standards version to 3.9.8 (no changes needed) - [ Gianfranco Costamagna ] - * Fix VCS fields + [ Clint Adams ] + * New upstream release - -- Dmitry Bogatov <KAction@gnu.org> Tue, 10 May 2016 09:35:53 +0300 + -- Clint Adams <clint@debian.org> Wed, 29 Jun 2016 15:32:46 +0200 haskell-numtype (1.1-4) unstable; urgency=medium diff --git a/p/haskell-setlocale/debian/changelog b/p/haskell-setlocale/debian/changelog index b394095f0..3d54b344e 100644 --- a/p/haskell-setlocale/debian/changelog +++ b/p/haskell-setlocale/debian/changelog @@ -1,13 +1,13 @@ -haskell-setlocale (1.0.0.3-4) UNRELEASED; urgency=medium +haskell-setlocale (1.0.0.3-4) unstable; urgency=medium [ Dmitry Bogatov ] * Use secure (https) uri in Vcs-Git field in 'debian/control' * Bump standards version to 3.9.8 (no changes needed) - [ Gianfranco Costamagna ] - * Fix VCS fields + [ Clint Adams ] + * Patch to build with GHC 8. - -- Dmitry Bogatov <KAction@gnu.org> Tue, 10 May 2016 09:36:10 +0300 + -- Clint Adams <clint@debian.org> Wed, 29 Jun 2016 15:47:49 +0200 haskell-setlocale (1.0.0.3-3) unstable; urgency=medium diff --git a/p/haskell-setlocale/debian/patches/newer-base b/p/haskell-setlocale/debian/patches/newer-base new file mode 100644 index 000000000..6a6c8ae2d --- /dev/null +++ b/p/haskell-setlocale/debian/patches/newer-base @@ -0,0 +1,11 @@ +--- a/setlocale.cabal ++++ b/setlocale.cabal +@@ -19,7 +19,7 @@ library + exposed-modules: System.Locale.SetLocale + -- other-modules: + other-extensions: DeriveDataTypeable, ForeignFunctionInterface +- build-depends: base >=4.6 && <4.9 ++ build-depends: base >=4.6 && <4.10 + -- hs-source-dirs: + build-tools: hsc2hs + default-language: Haskell2010 diff --git a/p/haskell-setlocale/debian/patches/series b/p/haskell-setlocale/debian/patches/series new file mode 100644 index 000000000..5831f6310 --- /dev/null +++ b/p/haskell-setlocale/debian/patches/series @@ -0,0 +1 @@ +newer-base diff --git a/p/haskell-test-framework-quickcheck2/debian/changelog b/p/haskell-test-framework-quickcheck2/debian/changelog index ba4ec97e6..8e2521544 100644 --- a/p/haskell-test-framework-quickcheck2/debian/changelog +++ b/p/haskell-test-framework-quickcheck2/debian/changelog @@ -1,14 +1,15 @@ -haskell-test-framework-quickcheck2 (0.3.0.3-7) UNRELEASED; urgency=medium +haskell-test-framework-quickcheck2 (0.3.0.3-7) unstable; urgency=medium [ Dmitry Bogatov ] * Use secure (https) uri in Vcs-Git field in 'debian/control' * Bump standards version to 3.9.8 (no changes needed) * Convert `debian/copyright' to dep5 format - [ Gianfranco Costamagna ] - * Fix VCS fields + [ Iustin Pop ] + * Import patch for QuickCheck 2.8 compatibility; otherwise, tests which + have insufficient coverage will fail at runtime - -- Dmitry Bogatov <KAction@gnu.org> Tue, 10 May 2016 09:36:19 +0300 + -- Iustin Pop <iustin@debian.org> Thu, 09 Jun 2016 11:17:40 +0200 haskell-test-framework-quickcheck2 (0.3.0.3-6) unstable; urgency=medium diff --git a/p/haskell-test-framework-quickcheck2/debian/control b/p/haskell-test-framework-quickcheck2/debian/control index 150da6416..51ff02c9e 100644 --- a/p/haskell-test-framework-quickcheck2/debian/control +++ b/p/haskell-test-framework-quickcheck2/debian/control @@ -1,6 +1,6 @@ Source: haskell-test-framework-quickcheck2 Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> -Uploaders: Kiwamu Okabe <kiwamu@debian.or.jp> +Uploaders: Kiwamu Okabe <kiwamu@debian.or.jp>, Iustin Pop <iustin@debian.org> Priority: extra Section: haskell Build-Depends: debhelper (>= 9), diff --git a/p/haskell-test-framework-quickcheck2/debian/patches/quickcheck-2.8-more-compat.patch b/p/haskell-test-framework-quickcheck2/debian/patches/quickcheck-2.8-more-compat.patch new file mode 100644 index 000000000..c236110fe --- /dev/null +++ b/p/haskell-test-framework-quickcheck2/debian/patches/quickcheck-2.8-more-compat.patch @@ -0,0 +1,35 @@ +commit bb009e005c8a3d481c0773a038392adc4b442773 +Author: Mikhail Glushenkov <mikhail.glushenkov@gmail.com> +Date: Tue Aug 18 06:09:26 2015 +0200 + + Improve QuickCheck 2.8 support. + +--- a/Test/Framework/Providers/QuickCheck2.hs ++++ b/Test/Framework/Providers/QuickCheck2.hs +@@ -43,6 +43,9 @@ + | PropertyFalsifiable String String -- ^ The property was not true. The strings are the reason and the output. + | PropertyNoExpectedFailure -- ^ We expected that a property would fail but it didn't + | PropertyTimedOut -- ^ The property timed out during execution ++#if MIN_VERSION_QuickCheck(2,8,0) ++ | PropertyInsufficientCoverage -- ^ The tests passed but a use of 'cover' had insufficient coverage. ++#endif + + instance Show PropertyResult where + show (PropertyResult { pr_status = status, pr_used_seed = used_seed, pr_tests_run = mb_tests_run }) +@@ -52,6 +55,9 @@ + PropertyFalsifiable _rsn otpt -> otpt ++ "(used seed " ++ show used_seed ++ ")" + PropertyNoExpectedFailure -> "No expected failure with seed " ++ show used_seed ++ ", after " ++ tests_run_str ++ " tests" + PropertyTimedOut -> "Timed out after " ++ tests_run_str ++ " tests" ++#if MIN_VERSION_QuickCheck(2,8,0) ++ PropertyInsufficientCoverage -> "Insufficient coverage after " ++ tests_run_str ++ " tests" ++#endif + where + tests_run_str = fmap show mb_tests_run `orElse` "an unknown number of" + +@@ -115,3 +121,6 @@ + toPropertyStatus (GaveUp {}) = PropertyArgumentsExhausted + toPropertyStatus (Failure { reason = rsn, output = otpt }) = PropertyFalsifiable rsn otpt + toPropertyStatus (NoExpectedFailure {}) = PropertyNoExpectedFailure ++#if MIN_VERSION_QuickCheck(2,8,0) ++ toPropertyStatus (InsufficientCoverage _ _ _) = PropertyInsufficientCoverage ++#endif diff --git a/p/haskell-test-framework-quickcheck2/debian/patches/series b/p/haskell-test-framework-quickcheck2/debian/patches/series index bd8e35488..136fadd5c 100644 --- a/p/haskell-test-framework-quickcheck2/debian/patches/series +++ b/p/haskell-test-framework-quickcheck2/debian/patches/series @@ -1 +1,2 @@ quickcheck-compat +quickcheck-2.8-more-compat.patch diff --git a/p/haskell-twitter-conduit/debian/changelog b/p/haskell-twitter-conduit/debian/changelog new file mode 100644 index 000000000..37d2032f2 --- /dev/null +++ b/p/haskell-twitter-conduit/debian/changelog @@ -0,0 +1,5 @@ +haskell-twitter-conduit (0.2.0-1) unstable; urgency=low + + * Initial release. + + -- Clint Adams <clint@debian.org> Mon, 06 Jun 2016 12:22:06 -0400 diff --git a/p/haskell-twitter-conduit/debian/compat b/p/haskell-twitter-conduit/debian/compat new file mode 100644 index 000000000..ec635144f --- /dev/null +++ b/p/haskell-twitter-conduit/debian/compat @@ -0,0 +1 @@ +9 diff --git a/p/haskell-twitter-conduit/debian/control b/p/haskell-twitter-conduit/debian/control new file mode 100644 index 000000000..cdbd442c6 --- /dev/null +++ b/p/haskell-twitter-conduit/debian/control @@ -0,0 +1,124 @@ +Source: haskell-twitter-conduit +Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> +Uploaders: Clint Adams <clint@debian.org> +Priority: extra +Section: haskell +Build-Depends: debhelper (>= 9), + haskell-devscripts (>= 0.9), + cdbs, + ghc, + ghc-prof, + libghc-aeson-dev (>= 0.7.0.5), + libghc-aeson-prof, + libghc-attoparsec-dev (>= 0.10), + libghc-attoparsec-prof, + libghc-authenticate-oauth-dev (>= 1.3), + libghc-authenticate-oauth-prof, + libghc-conduit-dev (>= 1.1), + libghc-conduit-prof, + libghc-conduit-extra-dev (>= 1.1), + libghc-conduit-extra-prof, + libghc-data-default-dev (>= 0.3), + libghc-data-default-prof, + libghc-exceptions-dev (>= 0.5), + libghc-exceptions-prof, + libghc-http-client-dev (>= 0.3), + libghc-http-client-prof, + libghc-http-conduit-dev (>= 2.0), + libghc-http-conduit-dev (<< 2.2), + libghc-http-conduit-prof, + libghc-http-types-dev, + libghc-http-types-prof, + libghc-lens-dev (>= 4.4), + libghc-lens-prof, + libghc-lens-aeson-dev (>= 1), + libghc-lens-aeson-prof, + libghc-resourcet-dev (>= 1.0), + libghc-resourcet-prof, + libghc-text-dev (>= 0.11), + libghc-text-prof, + libghc-transformers-base-dev, + libghc-transformers-base-prof, + libghc-twitter-types-dev (>= 0.6), + libghc-twitter-types-prof, + libghc-twitter-types-lens-dev (>= 0.6), + libghc-twitter-types-lens-prof, + libghc-aeson-dev, + libghc-authenticate-oauth-dev, + libghc-bytestring-dev, + libghc-case-insensitive-dev, + libghc-conduit-dev, + libghc-data-default-dev, + libghc-doctest-dev, + libghc-hlint-dev (>= 1.7), + libghc-hspec-dev, + libghc-http-client-dev, + libghc-http-conduit-dev, + libghc-lens-dev, + libghc-network-uri-dev (>= 2.6), + libghc-resourcet-dev, + libghc-text-dev, +Build-Depends-Indep: ghc-doc, + libghc-aeson-doc, + libghc-attoparsec-doc, + libghc-authenticate-oauth-doc, + libghc-conduit-doc, + libghc-conduit-extra-doc, + libghc-data-default-doc, + libghc-exceptions-doc, + libghc-http-client-doc, + libghc-http-conduit-doc, + libghc-http-types-doc, + libghc-lens-doc, + libghc-lens-aeson-doc, + libghc-resourcet-doc, + libghc-text-doc, + libghc-transformers-base-doc, + libghc-twitter-types-doc, + libghc-twitter-types-lens-doc, +Standards-Version: 3.9.8 +Homepage: https://github.com/himura/twitter-conduit +Vcs-Browser: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/tree/p/haskell-twitter-conduit +Vcs-Git: git://git.debian.org/git/pkg-haskell/DHG_packages.git +X-Description: Twitter API package with conduits and streaming + This library provides a conduit-based interface to Twitter's APIs. + +Package: libghc-twitter-conduit-dev +Architecture: any +Depends: ${haskell:Depends}, + ${misc:Depends}, + ${shlibs:Depends}, +Recommends: ${haskell:Recommends}, +Suggests: ${haskell:Suggests}, +Conflicts: ${haskell:Conflicts}, +Provides: ${haskell:Provides}, +Description: ${haskell:ShortDescription}${haskell:ShortBlurb} + ${haskell:LongDescription} + . + ${haskell:Blurb} + +Package: libghc-twitter-conduit-prof +Architecture: any +Depends: ${haskell:Depends}, + ${misc:Depends}, +Recommends: ${haskell:Recommends}, +Suggests: ${haskell:Suggests}, +Conflicts: ${haskell:Conflicts}, +Provides: ${haskell:Provides}, +Description: ${haskell:ShortDescription}${haskell:ShortBlurb} + ${haskell:LongDescription} + . + ${haskell:Blurb} + +Package: libghc-twitter-conduit-doc +Architecture: all +Section: doc +Depends: ${haskell:Depends}, + ${misc:Depends}, +Recommends: ${haskell:Recommends}, +Suggests: ${haskell:Suggests}, +Conflicts: ${haskell:Conflicts}, +Description: ${haskell:ShortDescription}${haskell:ShortBlurb} + ${haskell:LongDescription} + . + ${haskell:Blurb} diff --git a/p/haskell-twitter-conduit/debian/copyright b/p/haskell-twitter-conduit/debian/copyright new file mode 100644 index 000000000..146704bfa --- /dev/null +++ b/p/haskell-twitter-conduit/debian/copyright @@ -0,0 +1,36 @@ +Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ +Upstream-Name: twitter-conduit +Upstream-Contact: Takahiro HIMURA <taka@himura.jp> +Source: https://hackage.haskell.org/package/twitter-conduit + +Files: * +Copyright: 2011-2014 Takahiro Himura +License: BSD-3-clause + +Files: debian/* +Copyright: held by the contributors mentioned in debian/changelog +License: BSD-3-clause + +License: BSD-3-clause + Redistribution and use in source and binary forms, with or without + modification, are permitted provided that the following conditions are met: + . + * Redistributions of source code must retain the above copyright + notice, this list of conditions and the following disclaimer. + . + * Redistributions in binary form must reproduce the above + copyright notice, this list of conditions and the following + disclaimer in the documentation and/or other materials provided + with the distribution. + . + THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS + "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT + LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR + A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT + OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, + SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT + LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, + DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY + THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT + (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE + OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. diff --git a/p/haskell-twitter-conduit/debian/rules b/p/haskell-twitter-conduit/debian/rules new file mode 100755 index 000000000..3afa0b660 --- /dev/null +++ b/p/haskell-twitter-conduit/debian/rules @@ -0,0 +1,10 @@ +#!/usr/bin/make -f + +DEB_ENABLE_TESTS = no # some tests require network access +DEB_CABAL_PACKAGE = twitter-conduit +DEB_DEFAULT_COMPILER = ghc + +export HASKELL_DIST_DIR = dist-ghc + +include /usr/share/cdbs/1/rules/debhelper.mk +include /usr/share/cdbs/1/class/hlibrary.mk diff --git a/p/haskell-twitter-conduit/debian/source/format b/p/haskell-twitter-conduit/debian/source/format new file mode 100644 index 000000000..163aaf8d8 --- /dev/null +++ b/p/haskell-twitter-conduit/debian/source/format @@ -0,0 +1 @@ +3.0 (quilt) diff --git a/p/haskell-twitter-conduit/debian/watch b/p/haskell-twitter-conduit/debian/watch new file mode 100644 index 000000000..dd2674a94 --- /dev/null +++ b/p/haskell-twitter-conduit/debian/watch @@ -0,0 +1,2 @@ +version=3 +http://hackage.haskell.org/package/twitter-conduit/distro-monitor .*-([0-9\.]+)\.(?:zip|tgz|tbz|txz|(?:tar\.(?:gz|bz2|xz))) diff --git a/p/haskell-twitter-types-lens/debian/changelog b/p/haskell-twitter-types-lens/debian/changelog new file mode 100644 index 000000000..cfac8f64c --- /dev/null +++ b/p/haskell-twitter-types-lens/debian/changelog @@ -0,0 +1,5 @@ +haskell-twitter-types-lens (0.7.2-1) unstable; urgency=low + + * Initial release + + -- Clint Adams <clint@debian.org> Sat, 04 Jun 2016 10:52:42 -0700 diff --git a/p/haskell-twitter-types-lens/debian/compat b/p/haskell-twitter-types-lens/debian/compat new file mode 100644 index 000000000..ec635144f --- /dev/null +++ b/p/haskell-twitter-types-lens/debian/compat @@ -0,0 +1 @@ +9 diff --git a/p/haskell-twitter-types-lens/debian/control b/p/haskell-twitter-types-lens/debian/control new file mode 100644 index 000000000..527a87a96 --- /dev/null +++ b/p/haskell-twitter-types-lens/debian/control @@ -0,0 +1,68 @@ +Source: haskell-twitter-types-lens +Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> +Uploaders: Clint Adams <clint@debian.org> +Priority: extra +Section: haskell +Build-Depends: debhelper (>= 9), + haskell-devscripts (>= 0.8), + cdbs, + ghc, + ghc-prof, + libghc-lens-dev (>= 4.0), + libghc-lens-dev (<< 5), + libghc-lens-prof (>= 4.0), + libghc-lens-prof (<< 5), + libghc-text-dev, + libghc-text-prof, + libghc-twitter-types-dev (>= 0.7.2), + libghc-twitter-types-dev (<< 0.8), + libghc-twitter-types-prof (>= 0.7.2), + libghc-twitter-types-prof (<< 0.8), +Build-Depends-Indep: ghc-doc, + libghc-lens-doc, + libghc-text-doc, + libghc-twitter-types-doc, +Standards-Version: 3.9.8 +Homepage: https://github.com/himura/twitter-types-lens +X-Description: Twitter JSON types (lens powered) + Lenses for Twitter JSON API types. + +Package: libghc-twitter-types-lens-dev +Architecture: any +Depends: ${haskell:Depends}, + ${misc:Depends}, + ${shlibs:Depends}, +Recommends: ${haskell:Recommends}, +Suggests: ${haskell:Suggests}, +Conflicts: ${haskell:Conflicts}, +Provides: ${haskell:Provides}, +Description: ${haskell:ShortDescription}${haskell:ShortBlurb} + ${haskell:LongDescription} + . + ${haskell:Blurb} + +Package: libghc-twitter-types-lens-prof +Architecture: any +Depends: ${haskell:Depends}, + ${misc:Depends}, +Recommends: ${haskell:Recommends}, +Suggests: ${haskell:Suggests}, +Conflicts: ${haskell:Conflicts}, +Provides: ${haskell:Provides}, +Description: ${haskell:ShortDescription}${haskell:ShortBlurb} + ${haskell:LongDescription} + . + ${haskell:Blurb} + +Package: libghc-twitter-types-lens-doc +Architecture: all +Section: doc +Depends: ${haskell:Depends}, + ${misc:Depends}, +Recommends: ${haskell:Recommends}, +Suggests: ${haskell:Suggests}, +Conflicts: ${haskell:Conflicts}, +Description: ${haskell:ShortDescription}${haskell:ShortBlurb} + ${haskell:LongDescription} + . + ${haskell:Blurb} diff --git a/p/haskell-twitter-types-lens/debian/copyright b/p/haskell-twitter-types-lens/debian/copyright new file mode 100644 index 000000000..a6880a320 --- /dev/null +++ b/p/haskell-twitter-types-lens/debian/copyright @@ -0,0 +1,40 @@ +Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ +Upstream-Name: twitter-types-lens +Upstream-Contact: taka@himura.jp +Source: https://hackage.haskell.org/package/twitter-types-lens + +Files: * +Copyright: 2014 Takahiro HIMURA +License: BSD-3-clause + +Files: debian/* +Copyright: held by the contributors mentioned in debian/changelog +License: BSD-3-clause + +License: BSD-3-clause + Redistribution and use in source and binary forms, with or without + modification, are permitted provided that the following conditions are met: + . + * Redistributions of source code must retain the above copyright + notice, this list of conditions and the following disclaimer. + . + * Redistributions in binary form must reproduce the above + copyright notice, this list of conditions and the following + disclaimer in the documentation and/or other materials provided + with the distribution. + . + * Neither the name of Takahiro HIMURA nor the names of other + contributors may be used to endorse or promote products derived + from this software without specific prior written permission. + . + THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS + "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT + LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR + A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT + OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, + SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT + LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, + DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY + THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT + (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE + OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. diff --git a/p/haskell-twitter-types-lens/debian/rules b/p/haskell-twitter-types-lens/debian/rules new file mode 100755 index 000000000..90efeb1ed --- /dev/null +++ b/p/haskell-twitter-types-lens/debian/rules @@ -0,0 +1,7 @@ +#!/usr/bin/make -f + +DEB_CABAL_PACKAGE = twitter-types-lens +DEB_DEFAULT_COMPILER = ghc + +include /usr/share/cdbs/1/rules/debhelper.mk +include /usr/share/cdbs/1/class/hlibrary.mk diff --git a/p/haskell-twitter-types-lens/debian/source/format b/p/haskell-twitter-types-lens/debian/source/format new file mode 100644 index 000000000..163aaf8d8 --- /dev/null +++ b/p/haskell-twitter-types-lens/debian/source/format @@ -0,0 +1 @@ +3.0 (quilt) diff --git a/p/haskell-twitter-types-lens/debian/watch b/p/haskell-twitter-types-lens/debian/watch new file mode 100644 index 000000000..1c2b8cd3c --- /dev/null +++ b/p/haskell-twitter-types-lens/debian/watch @@ -0,0 +1,2 @@ +version=3 +http://hackage.haskell.org/package/twitter-types-lens/distro-monitor .*-([0-9\.]+)\.(?:zip|tgz|tbz|txz|(?:tar\.(?:gz|bz2|xz))) diff --git a/p/haskell-utf8-string/debian/changelog b/p/haskell-utf8-string/debian/changelog index f9baaaf43..a281cb1e6 100644 --- a/p/haskell-utf8-string/debian/changelog +++ b/p/haskell-utf8-string/debian/changelog @@ -1,14 +1,14 @@ -haskell-utf8-string (1.0.1.1-2) UNRELEASED; urgency=medium +haskell-utf8-string (1.0.1.1-2) unstable; urgency=medium [ Dmitry Bogatov ] * Use secure (https) uri in Vcs-Git field in 'debian/control' * Bump standards version to 3.9.8 (no changes needed) * Convert `debian/copyright' to dep5 format - [ Gianfranco Costamagna ] - * Fix VCS fields + [ Clint Adams ] + * Patch to build with GHC 8. - -- Dmitry Bogatov <KAction@gnu.org> Tue, 10 May 2016 09:36:25 +0300 + -- Clint Adams <clint@debian.org> Wed, 29 Jun 2016 16:08:37 +0200 haskell-utf8-string (1.0.1.1-1) unstable; urgency=medium diff --git a/p/haskell-utf8-string/debian/patches/newer-base b/p/haskell-utf8-string/debian/patches/newer-base new file mode 100644 index 000000000..8ea6c9160 --- /dev/null +++ b/p/haskell-utf8-string/debian/patches/newer-base @@ -0,0 +1,11 @@ +--- a/utf8-string.cabal ++++ b/utf8-string.cabal +@@ -19,7 +19,7 @@ Tested-With: GHC==7.0.4, GHC==7.4 + library + Ghc-options: -W -O2 + +- build-depends: base >= 4.3 && < 4.9, bytestring >= 0.9 ++ build-depends: base >= 4.3 && < 4.10, bytestring >= 0.9 + + Extensions: CPP + Exposed-modules: Codec.Binary.UTF8.String diff --git a/p/haskell-utf8-string/debian/patches/series b/p/haskell-utf8-string/debian/patches/series new file mode 100644 index 000000000..5831f6310 --- /dev/null +++ b/p/haskell-utf8-string/debian/patches/series @@ -0,0 +1 @@ +newer-base diff --git a/p/xmonad-extras/debian/README.Debian b/p/xmonad-extras/debian/README.Debian new file mode 100644 index 000000000..25cd2c310 --- /dev/null +++ b/p/xmonad-extras/debian/README.Debian @@ -0,0 +1,10 @@ +xmonad-extras for Debian +------------------------ + +Flag with_mpd is switched off, because otherwise xmonad-extras depends on +obsolete libmpd (==0.8.*). So, modules depending on libmpd are not built. + +Flag with_hint is switched off, because otherwise xmonad-extras depends on +obsolete hint (>=0.3 && <0.5). So, modules depending on hint are not built. + + -- Lev Lamberov <dogsleg@debian.org>, Sun, 12 Jun 2016 00:31:20 +0500 diff --git a/p/xmonad-extras/debian/changelog b/p/xmonad-extras/debian/changelog new file mode 100644 index 000000000..4b477bfe2 --- /dev/null +++ b/p/xmonad-extras/debian/changelog @@ -0,0 +1,5 @@ +xmonad-extras (0.12.1-1) unstable; urgency=low + + * Initial release. Closes: #827062 + + -- Lev Lamberov <dogsleg@debian.org> Sat, 11 Jun 2016 23:51:15 +0500 diff --git a/p/xmonad-extras/debian/compat b/p/xmonad-extras/debian/compat new file mode 100644 index 000000000..ec635144f --- /dev/null +++ b/p/xmonad-extras/debian/compat @@ -0,0 +1 @@ +9 diff --git a/p/xmonad-extras/debian/control b/p/xmonad-extras/debian/control new file mode 100644 index 000000000..9a70644b3 --- /dev/null +++ b/p/xmonad-extras/debian/control @@ -0,0 +1,96 @@ +Source: xmonad-extras +Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> +Uploaders: Lev Lamberov <dogsleg@debian.org> +Priority: extra +Section: haskell +Build-Depends: debhelper (>= 9), + haskell-devscripts (>= 0.9), + cdbs, + ghc, + ghc-prof, + libghc-x11-dev (>= 1.4.3), + libghc-x11-prof, + libghc-mtl-dev, + libghc-mtl-prof, + libghc-network-dev, + libghc-network-prof, + libghc-old-locale-dev, + libghc-old-locale-prof, + libghc-old-time-dev, + libghc-old-time-prof, + libghc-parsec3-dev (>= 2), + libghc-parsec3-dev (<< 4), + libghc-parsec3-prof, + libghc-random-dev, + libghc-random-prof, + libghc-regex-posix-dev, + libghc-regex-posix-prof, + libghc-split-dev (>= 0.1), + libghc-split-dev (<< 0.3), + libghc-split-prof, + libghc-xmonad-dev (>= 0.10), + libghc-xmonad-dev (<< 0.13), + libghc-xmonad-prof, + libghc-xmonad-contrib-dev (>= 0.10), + libghc-xmonad-contrib-dev (<< 0.13), + libghc-xmonad-contrib-prof, +Build-Depends-Indep: ghc-doc, + libghc-x11-doc, + libghc-hint-doc, + libghc-mtl-doc, + libghc-network-doc, + libghc-old-locale-doc, + libghc-old-time-doc, + libghc-parsec3-doc, + libghc-random-doc, + libghc-regex-posix-doc, + libghc-split-doc, + libghc-xmonad-doc, + libghc-xmonad-contrib-doc, +Standards-Version: 3.9.8 +Homepage: http://projects.haskell.org/xmonad-extras +Vcs-Browser: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/tree/p/xmonad-extras +Vcs-Git: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git +X-Description: third party extensions for xmonad with wacky dependencies + Various modules for xmonad that cannot be added to xmonad-contrib + because of additional dependencies. + +Package: libghc-xmonad-extras-dev +Architecture: any +Depends: ${haskell:Depends}, + ${misc:Depends}, + ${shlibs:Depends}, +Recommends: ${haskell:Recommends}, +Suggests: ${haskell:Suggests}, +Conflicts: ${haskell:Conflicts}, +Provides: ${haskell:Provides}, +Description: ${haskell:ShortDescription}${haskell:ShortBlurb} + ${haskell:LongDescription} + . + ${haskell:Blurb} + +Package: libghc-xmonad-extras-prof +Architecture: any +Depends: ${haskell:Depends}, + ${misc:Depends}, +Recommends: ${haskell:Recommends}, +Suggests: ${haskell:Suggests}, +Conflicts: ${haskell:Conflicts}, +Provides: ${haskell:Provides}, +Description: ${haskell:ShortDescription}${haskell:ShortBlurb} + ${haskell:LongDescription} + . + ${haskell:Blurb} + +Package: libghc-xmonad-extras-doc +Architecture: all +Section: doc +Depends: ${haskell:Depends}, + ${misc:Depends}, +Recommends: ${haskell:Recommends}, +Suggests: ${haskell:Suggests}, +Conflicts: ${haskell:Conflicts}, +Description: ${haskell:ShortDescription}${haskell:ShortBlurb} + ${haskell:LongDescription} + . + ${haskell:Blurb} diff --git a/p/xmonad-extras/debian/copyright b/p/xmonad-extras/debian/copyright new file mode 100644 index 000000000..3cb00a670 --- /dev/null +++ b/p/xmonad-extras/debian/copyright @@ -0,0 +1,37 @@ +Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ +Upstream-Name: xmonad-extras +Upstream-Contact: daniel@wagner-home.com, daniel.schoepe@googlemail.com +Source: https://hackage.haskell.org/package/xmonad-extras + +Files: * +Copyright: 2009-2015 Xmonad Community +License: BSD-3-clause + +Files: debian/* +Copyright: held by the contributors mentioned in debian/changelog +License: BSD-3-clause + +License: BSD-3-clause + Redistribution and use in source and binary forms, with or without + modification, are permitted provided that the following conditions + are met: + 1. Redistributions of source code must retain the above copyright + notice, this list of conditions and the following disclaimer. + 2. Redistributions in binary form must reproduce the above copyright + notice, this list of conditions and the following disclaimer in the + documentation and/or other materials provided with the distribution. + 3. Neither the name of the author nor the names of his contributors + may be used to endorse or promote products derived from this software + without specific prior written permission. + . + THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND + ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE + IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE + ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHORS OR CONTRIBUTORS BE LIABLE + FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL + DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS + OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) + HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT + LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY + OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF + SUCH DAMAGE. diff --git a/p/xmonad-extras/debian/rules b/p/xmonad-extras/debian/rules new file mode 100755 index 000000000..7dc07f953 --- /dev/null +++ b/p/xmonad-extras/debian/rules @@ -0,0 +1,8 @@ +#!/usr/bin/make -f + +DEB_CABAL_PACKAGE = xmonad-extras +DEB_DEFAULT_COMPILER = ghc +DEB_SETUP_GHC6_CONFIGURE_ARGS = -f-with_hint -f-with_mpd + +include /usr/share/cdbs/1/rules/debhelper.mk +include /usr/share/cdbs/1/class/hlibrary.mk diff --git a/p/xmonad-extras/debian/source/format b/p/xmonad-extras/debian/source/format new file mode 100644 index 000000000..163aaf8d8 --- /dev/null +++ b/p/xmonad-extras/debian/source/format @@ -0,0 +1 @@ +3.0 (quilt) diff --git a/p/xmonad-extras/debian/watch b/p/xmonad-extras/debian/watch new file mode 100644 index 000000000..9d2bf4d70 --- /dev/null +++ b/p/xmonad-extras/debian/watch @@ -0,0 +1,2 @@ +version=3 +http://hackage.haskell.org/package/xmonad-extras/distro-monitor .*-([0-9\.]+)\.(?:zip|tgz|tbz|txz|(?:tar\.(?:gz|bz2|xz))) diff --git a/p/xmonad-wallpaper/debian/changelog b/p/xmonad-wallpaper/debian/changelog new file mode 100644 index 000000000..e1bb337d0 --- /dev/null +++ b/p/xmonad-wallpaper/debian/changelog @@ -0,0 +1,5 @@ +xmonad-wallpaper (0.0.1.3-1) unstable; urgency=low + + * Initial release. Closes: #827042 + + -- Lev Lamberov <dogsleg@debian.org> Sat, 11 Jun 2016 00:02:33 +0500 diff --git a/p/xmonad-wallpaper/debian/compat b/p/xmonad-wallpaper/debian/compat new file mode 100644 index 000000000..ec635144f --- /dev/null +++ b/p/xmonad-wallpaper/debian/compat @@ -0,0 +1 @@ +9 diff --git a/p/xmonad-wallpaper/debian/control b/p/xmonad-wallpaper/debian/control new file mode 100644 index 000000000..3d9d43f2d --- /dev/null +++ b/p/xmonad-wallpaper/debian/control @@ -0,0 +1,75 @@ +Source: xmonad-wallpaper +Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> +Uploaders: Lev Lamberov <dogsleg@debian.org> +Priority: extra +Section: haskell +Build-Depends: debhelper (>= 9), + haskell-devscripts (>= 0.9), + cdbs, + ghc, + ghc-prof, + libghc-magic-dev (>= 1.1), + libghc-magic-dev (<< 1.2), + libghc-magic-prof, + libghc-mtl-dev (>= 2.0), + libghc-mtl-dev (<< 2.3), + libghc-mtl-prof, + libghc-random-dev (>= 1.1), + libghc-random-dev (<< 1.2), + libghc-random-prof, + libghc-xmonad-dev (>= 0.12), + libghc-xmonad-dev (<< 0.13), + libghc-xmonad-prof, +Build-Depends-Indep: ghc-doc, + libghc-magic-doc, + libghc-mtl-doc, + libghc-random-doc, + libghc-xmonad-doc, +Standards-Version: 3.9.8 +Homepage: http://hackage.haskell.org/package/xmonad-wallpaper +Vcs-Browser: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/tree/p/xmonad-wallpaper +Vcs-Git: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git +X-Description: xmonad wallpaper extension + Designed for xmonad users who rely on feh to setup wallpaper. It allows user + to setup a random image as the wallpaper chosen from user specified image + directories. + +Package: libghc-xmonad-wallpaper-dev +Architecture: any +Depends: ${haskell:Depends}, + ${misc:Depends}, + ${shlibs:Depends}, +Recommends: ${haskell:Recommends}, +Suggests: ${haskell:Suggests}, +Conflicts: ${haskell:Conflicts}, +Provides: ${haskell:Provides}, +Description: ${haskell:ShortDescription}${haskell:ShortBlurb} + ${haskell:LongDescription} + . + ${haskell:Blurb} + +Package: libghc-xmonad-wallpaper-prof +Architecture: any +Depends: ${haskell:Depends}, + ${misc:Depends}, +Recommends: ${haskell:Recommends}, +Suggests: ${haskell:Suggests}, +Conflicts: ${haskell:Conflicts}, +Provides: ${haskell:Provides}, +Description: ${haskell:ShortDescription}${haskell:ShortBlurb} + ${haskell:LongDescription} + . + ${haskell:Blurb} + +Package: libghc-xmonad-wallpaper-doc +Architecture: all +Section: doc +Depends: ${haskell:Depends}, + ${misc:Depends}, +Recommends: ${haskell:Recommends}, +Suggests: ${haskell:Suggests}, +Conflicts: ${haskell:Conflicts}, +Description: ${haskell:ShortDescription}${haskell:ShortBlurb} + ${haskell:LongDescription} + . + ${haskell:Blurb} diff --git a/p/xmonad-wallpaper/debian/copyright b/p/xmonad-wallpaper/debian/copyright new file mode 100644 index 000000000..38545de86 --- /dev/null +++ b/p/xmonad-wallpaper/debian/copyright @@ -0,0 +1,19 @@ +Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ +Upstream-Name: xmonad-wallpaper +Upstream-Contact: haskell.ye.yan@gmail.com +Source: https://hackage.haskell.org/package/xmonad-wallpaper + +Files: * +Copyright: 2015-2016 Ye Yan +License: LGPL-3 + +Files: debian/* +Copyright: held by the contributors mentioned in debian/changelog +License: LGPL-3 + +License: LGPL-3 + . + Comment: + . + On a Debian system you can find a copy of this license in + /usr/share/common-licenses/LGPL-3 diff --git a/p/xmonad-wallpaper/debian/rules b/p/xmonad-wallpaper/debian/rules new file mode 100755 index 000000000..13e74df6f --- /dev/null +++ b/p/xmonad-wallpaper/debian/rules @@ -0,0 +1,7 @@ +#!/usr/bin/make -f + +DEB_CABAL_PACKAGE = xmonad-wallpaper +DEB_DEFAULT_COMPILER = ghc + +include /usr/share/cdbs/1/rules/debhelper.mk +include /usr/share/cdbs/1/class/hlibrary.mk diff --git a/p/xmonad-wallpaper/debian/source/format b/p/xmonad-wallpaper/debian/source/format new file mode 100644 index 000000000..163aaf8d8 --- /dev/null +++ b/p/xmonad-wallpaper/debian/source/format @@ -0,0 +1 @@ +3.0 (quilt) diff --git a/p/xmonad-wallpaper/debian/watch b/p/xmonad-wallpaper/debian/watch new file mode 100644 index 000000000..729750c91 --- /dev/null +++ b/p/xmonad-wallpaper/debian/watch @@ -0,0 +1,2 @@ +version=3 +http://hackage.haskell.org/package/xmonad-wallpaper/distro-monitor .*-([0-9\.]+)\.(?:zip|tgz|tbz|txz|(?:tar\.(?:gz|bz2|xz))) |