[DHG_packages] 01/06: start working on agda 2.5.1
Sean Whitton
spw-guest at moszumanska.debian.org
Wed Jun 8 13:45:07 UTC 2016
This is an automated email from the git hooks/post-receive script.
spw-guest pushed a commit to branch master
in repository DHG_packages.
commit 07b62c5b114047d8c5731a4b1a90f93f6e47fe22
Author: Sean Whitton <spwhitton at spwhitton.name>
Date: Wed Jun 8 21:00:57 2016 +0900
start working on agda 2.5.1
---
p/agda/debian/agda-bin.install | 1 +
p/agda/debian/changelog | 320 ++++++++++++++++++++++++++++++++++
p/agda/debian/clean | 2 +
p/agda/debian/compat | 1 +
p/agda/debian/control | 194 +++++++++++++++++++++
p/agda/debian/copyright | 69 ++++++++
p/agda/debian/libghc-agda-dev.install | 2 +
p/agda/debian/rules | 14 ++
p/agda/debian/source/format | 1 +
p/agda/debian/watch | 2 +
10 files changed, 606 insertions(+)
diff --git a/p/agda/debian/agda-bin.install b/p/agda/debian/agda-bin.install
new file mode 100644
index 0000000..f7ad685
--- /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/changelog b/p/agda/debian/changelog
new file mode 100644
index 0000000..af57081
--- /dev/null
+++ b/p/agda/debian/changelog
@@ -0,0 +1,320 @@
+agda (2.5.1-1) UNRELEASED; urgency=medium
+
+ * Package new upstream version.
+ * Install Emacs mode with dh_elpa.
+ * Add myself as an uploader.
+
+ -- Sean Whitton <spwhitton at spwhitton.name> Wed, 08 Jun 2016 20:58:23 +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 at 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 at 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 at 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 at 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 at 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 at 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 at 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 at 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 at 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 at 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 at 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 at 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 at 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 at 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 at 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 at 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 at 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 at 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 at 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 at 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 at 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 at 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 at 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 at 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 at 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 at 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 at 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 at 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 at 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 at 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 at 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 0000000..6ca2a3a
--- /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 0000000..ec63514
--- /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 0000000..fab243f
--- /dev/null
+++ b/p/agda/debian/control
@@ -0,0 +1,194 @@
+Source: agda
+Priority: extra
+Section: haskell
+Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
+Uploaders: Iain Lane <laney at debian.org>, Kiwamu Okabe <kiwamu at debian.or.jp>, Sean Whitton <spwhitton at spwhitton.name>
+Build-Depends: debhelper (>= 9),
+ haskell-devscripts (>= 0.8.15~),
+ cdbs (>> 0.4.58),
+ ghc (>= 7.6),
+ ghc-ghci,
+ libghc-boxes-dev (>= 0.1.3),
+ libghc-boxes-dev (<< 0.2),
+ libghc-data-hash-dev (>= 0.2.0.0),
+ libghc-data-hash-dev (<< 0.3.0.0),
+ libghc-edit-distance-dev (>= 0.2.1.2),
+ libghc-edit-distance-dev (<< 0.3),
+ libghc-equivalence-dev (>= 0.2.5),
+ libghc-equivalence-dev (<< 0.4),
+ libghc-geniplate-mirror-dev (>= 0.6.0.6),
+ libghc-geniplate-mirror-dev (<< 0.8),
+ libghc-hashable-dev (>= 1.2.1.0),
+ libghc-hashable-dev (<< 1.3),
+ libghc-hashtables-dev (>= 1.2.0.2),
+ libghc-hashtables-dev (<< 1.3),
+ libghc-mtl-dev (>= 2.2.1),
+ libghc-mtl-dev (<< 2.3),
+ libghc-parallel-dev (<< 3.3),
+ libghc-unordered-containers-dev (>= 0.2.5.0),
+ libghc-unordered-containers-dev (<< 0.3),
+ libghc-zlib-dev (>= 0.4.0.1),
+ libghc-zlib-dev (<< 0.7),
+ libghc-strict-dev (>= 0.3.2),
+ libghc-strict-dev (<< 0.4),
+ libghc-src-exts-dev (>= 1.16.0.1),
+ libghc-src-exts-dev (<< 1.18),
+ libghc-text-dev (>= 0.11.3.1),
+ libghc-text-dev (<< 1.3),
+ libghc-transformers-compat-dev (>= 0.3.3.3),
+ libghc-transformers-compat-dev (<< 0.5),
+ libghc-quickcheck2-dev (>= 2.8),
+ libghc-quickcheck2-dev (<< 2.9),
+ cpphs (>= 1.19),
+ cpphs (<< 1.20),
+ happy (>= 1.19.4),
+ happy (<< 2),
+ alex (>= 3.1.0),
+ alex (<< 3.2),
+ libncurses5-dev
+Build-Depends-Indep: ghc-doc,
+ libghc-boxes-doc,
+ libghc-data-hash-doc,
+ libghc-edit-distance-doc,
+ libghc-equivalence-doc,
+ libghc-geniplate-mirror-doc,
+ libghc-hashable-doc,
+ libghc-hashtables-doc,
+ libghc-mtl-doc,
+ libghc-parallel-doc,
+ libghc-text-doc,
+ libghc-unordered-containers-doc,
+ libghc-zlib-doc,
+ libghc-strict-doc,
+ libghc-src-exts-doc,
+ libghc-transformers-compat-doc,
+ libghc-quickcheck2-doc,
+Standards-Version: 3.9.4
+Vcs-Browser: http://git.debian.org/?p=pkg-haskell/agda.git;a=summary
+Vcs-Git: git://git.debian.org/git/pkg-haskell/agda.git
+Homepage: http://wiki.portal.chalmers.se/agda/
+
+Package: libghc-agda-dev
+Architecture: any
+Section: haskell
+Depends: ${shlibs:Depends},
+ ${haskell:Depends},
+ ${misc: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: ${misc:Depends}, ${haskell:Depends}
+Recommends: ${haskell:Recommends}
+Suggests: ${haskell:Suggests}
+Replaces: haskell-agda-doc
+Conflicts: haskell-agda-doc (<< 2.2.6-5)
+Provides: 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}
+
+Package: agda-mode
+Architecture: all
+Section: misc
+Depends: ${shlibs:Depends},
+ ${haskell:Depends},
+ ${misc:Depends},
+ emacs | emacsen,
+ agda-bin (>= ${source:Version}),
+ agda-bin (<< ${source:Version}.1~),
+ libghc-agda-dev (>= ${source:Version}),
+ libghc-agda-dev (<< ${source:Version}.1~)
+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
+Architecture: all
+Section: misc
+Depends: ${misc:Depends},
+ libghc-agda-dev,
+ agda-bin,
+ agda-mode,
+ agda-stdlib,
+ agda-stdlib-doc
+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: ${shlibs:Depends}, ${haskell:Depends}, ${misc:Depends}
+Recommends: ${haskell:Recommends},
+ libghc-agda-dev (>= ${source:Upstream-Version}),
+ libghc-agda-dev (<< ${source:Upstream-Version}+~)
+Suggests: ${haskell:Suggests}, agda-mode
+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.
diff --git a/p/agda/debian/copyright b/p/agda/debian/copyright
new file mode 100644
index 0000000..7c28dc0
--- /dev/null
+++ b/p/agda/debian/copyright
@@ -0,0 +1,69 @@
+Format-Specification: http://wiki.debian.org/Proposals/CopyrightFormat?action=recall&rev=196
+Upstream-Name: Agda
+Upstream-Maintainer: Ulf Norell <ulfn at 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 at ubuntu.com>,
+ Marco Túlio Gontijo e Silva <marcot at 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/libghc-agda-dev.install b/p/agda/debian/libghc-agda-dev.install
new file mode 100644
index 0000000..9cb7fc4
--- /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/rules b/p/agda/debian/rules
new file mode 100755
index 0000000..1b0e979
--- /dev/null
+++ b/p/agda/debian/rules
@@ -0,0 +1,14 @@
+#!/usr/bin/make -f
+DEB_BUILD_DEPENDENCIES = build-arch
+
+DEB_SETUP_GHC6_CONFIGURE_ARGS := --datadir='/usr/share' --datasubdir='libghc-agda-dev'
+
+include /usr/share/cdbs/1/rules/debhelper.mk
+include /usr/share/cdbs/1/class/hlibrary.mk
+
+export LC_ALL=C.UTF-8
+
+install/libghc-agda-dev:: debian/tmp-inst-ghc
+ Agda_datadir=$(CURDIR)/debian/tmp-inst-ghc/usr/share/libghc-agda-dev \
+ debian/tmp-inst-ghc/usr/bin/agda \
+ $(CURDIR)/debian/tmp-inst-ghc/usr/share/libghc-agda-dev/lib/prim/Agda/Primitive.agda -v0
diff --git a/p/agda/debian/source/format b/p/agda/debian/source/format
new file mode 100644
index 0000000..163aaf8
--- /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 0000000..efec61e
--- /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)))
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-haskell/DHG_packages.git
More information about the Pkg-haskell-commits
mailing list