[DHG_packages] 02/02: add cryptol
Clint Adams
clint at moszumanska.debian.org
Mon Dec 28 22:36:30 UTC 2015
This is an automated email from the git hooks/post-receive script.
clint pushed a commit to branch master
in repository DHG_packages.
commit e02e2c4e0c97a1a01124a47c68e44124279320be
Author: Clint Adams <clint at debian.org>
Date: Mon Dec 28 16:35:14 2015 -0500
add cryptol
---
p/haskell-cryptol/debian/changelog | 11 ++
p/haskell-cryptol/debian/compat | 1 +
p/haskell-cryptol/debian/control | 131 +++++++++++++++++++++
p/haskell-cryptol/debian/copyright | 41 +++++++
p/haskell-cryptol/debian/cryptol.install | 2 +
p/haskell-cryptol/debian/cryptol.lintian-overrides | 1 +
p/haskell-cryptol/debian/rules | 9 ++
p/haskell-cryptol/debian/source/format | 1 +
p/haskell-cryptol/debian/watch | 2 +
9 files changed, 199 insertions(+)
diff --git a/p/haskell-cryptol/debian/changelog b/p/haskell-cryptol/debian/changelog
new file mode 100644
index 0000000..94c5873
--- /dev/null
+++ b/p/haskell-cryptol/debian/changelog
@@ -0,0 +1,11 @@
+haskell-cryptol (2.2.6-1) unstable; urgency=medium
+
+ * New upstream version.
+
+ -- Clint Adams <clint at debian.org> Mon, 28 Dec 2015 16:35:13 -0500
+
+haskell-cryptol (2.2.5-1) unstable; urgency=low
+
+ * Initial release.
+
+ -- Clint Adams <clint at debian.org> Tue, 15 Dec 2015 14:57:33 -0500
diff --git a/p/haskell-cryptol/debian/compat b/p/haskell-cryptol/debian/compat
new file mode 100644
index 0000000..ec63514
--- /dev/null
+++ b/p/haskell-cryptol/debian/compat
@@ -0,0 +1 @@
+9
diff --git a/p/haskell-cryptol/debian/control b/p/haskell-cryptol/debian/control
new file mode 100644
index 0000000..11fb37d
--- /dev/null
+++ b/p/haskell-cryptol/debian/control
@@ -0,0 +1,131 @@
+Source: haskell-cryptol
+Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
+Uploaders: Clint Adams <clint at debian.org>
+Priority: extra
+Section: haskell
+Build-Depends: debhelper (>= 9),
+ haskell-devscripts (>= 0.9),
+ cdbs,
+ ghc,
+ ghc-prof,
+ libghc-graphscc-dev (>= 1.0.4),
+ libghc-graphscc-prof,
+ libghc-quickcheck2-dev (>= 2.7),
+ libghc-quickcheck2-prof,
+ libghc-async-dev (>= 2.0),
+ libghc-async-prof,
+ libghc-base-compat-dev (>= 0.6),
+ libghc-base-compat-prof,
+ libghc-gitrev-dev (>= 1.0),
+ libghc-gitrev-prof,
+ libghc-heredoc-dev (>= 0.2),
+ libghc-heredoc-prof,
+ libghc-monadlib-dev (>= 3.7.2),
+ libghc-monadlib-prof,
+ libghc-old-time-dev (>= 1.1),
+ libghc-old-time-prof,
+ libghc-presburger-dev (>= 1.3),
+ libghc-presburger-prof,
+ libghc-random-dev (>= 1.0.1),
+ libghc-random-prof,
+ libghc-sbv-dev (>= 5.7),
+ libghc-sbv-prof,
+ libghc-smtlib-dev (>= 1.0.7),
+ libghc-smtlib-prof,
+ libghc-syb-dev (>= 0.4),
+ libghc-syb-prof,
+ libghc-text-dev (>= 1.1),
+ libghc-text-prof,
+ libghc-tf-random-dev (>= 0.5),
+ libghc-tf-random-prof,
+ libghc-utf8-string-dev (>= 0.3),
+ libghc-utf8-string-prof,
+ alex,
+ happy,
+ libghc-ansi-terminal-dev,
+ libghc-monadlib-dev,
+ libghc-random-dev,
+ libghc-sbv-dev,
+ libghc-tf-random-dev,
+Build-Depends-Indep: ghc-doc,
+ libghc-graphscc-doc,
+ libghc-quickcheck2-doc,
+ libghc-async-doc,
+ libghc-base-compat-doc,
+ libghc-gitrev-doc,
+ libghc-heredoc-doc,
+ libghc-monadlib-doc,
+ libghc-old-time-doc,
+ libghc-presburger-doc,
+ libghc-random-doc,
+ libghc-sbv-doc,
+ libghc-smtlib-doc,
+ libghc-syb-doc,
+ libghc-text-doc,
+ libghc-tf-random-doc,
+ libghc-utf8-string-doc,
+Standards-Version: 3.9.6
+Homepage: http://www.cryptol.net/
+Vcs-Git: git://git.debian.org/git/pkg-haskell/DHG_packages.git
+Vcs-Browser: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/
+X-Description: domain-specific language of cryptography
+ Cryptol is a domain-specific language for specifying cryptographic
+ algorithms. A Cryptol implementation of an algorithm resembles its
+ mathematical specification more closely than an implementation in
+ a general purpose language.
+
+Package: libghc-cryptol-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-cryptol-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-cryptol-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}
+
+Package: cryptol
+Architecture: any
+Section: utils
+Depends: ${haskell:Depends},
+ ${misc:Depends},
+ ${shlibs:Depends},
+ z3
+Recommends: ${haskell:Recommends},
+Suggests: ${haskell:Suggests},
+Conflicts: ${haskell:Conflicts},
+Provides: ${haskell:Provides},
+Description: ${haskell:ShortDescription}${haskell:ShortBlurb}
+ ${haskell:LongDescription}
+ .
+ ${haskell:Blurb}
diff --git a/p/haskell-cryptol/debian/copyright b/p/haskell-cryptol/debian/copyright
new file mode 100644
index 0000000..490e739
--- /dev/null
+++ b/p/haskell-cryptol/debian/copyright
@@ -0,0 +1,41 @@
+Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
+Upstream-Name: cryptol
+Upstream-Contact: Galois, Inc. <cryptol at galois.com>
+Source: https://hackage.haskell.org/package/cryptol
+
+Files: *
+Copyright: 2013-2015 Galois Inc.
+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 Galois, Inc. 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 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-cryptol/debian/cryptol.install b/p/haskell-cryptol/debian/cryptol.install
new file mode 100644
index 0000000..a08a070
--- /dev/null
+++ b/p/haskell-cryptol/debian/cryptol.install
@@ -0,0 +1,2 @@
+dist-ghc/build/cryptol/cryptol usr/bin
+lib/*.cry usr/share/cryptol/.
diff --git a/p/haskell-cryptol/debian/cryptol.lintian-overrides b/p/haskell-cryptol/debian/cryptol.lintian-overrides
new file mode 100644
index 0000000..25d3d4c
--- /dev/null
+++ b/p/haskell-cryptol/debian/cryptol.lintian-overrides
@@ -0,0 +1 @@
+binary-or-shlib-defines-rpath
diff --git a/p/haskell-cryptol/debian/rules b/p/haskell-cryptol/debian/rules
new file mode 100755
index 0000000..1421605
--- /dev/null
+++ b/p/haskell-cryptol/debian/rules
@@ -0,0 +1,9 @@
+#!/usr/bin/make -f
+
+DEB_CABAL_PACKAGE = cryptol
+DEB_DEFAULT_COMPILER = ghc
+
+include /usr/share/cdbs/1/rules/debhelper.mk
+include /usr/share/cdbs/1/class/hlibrary.mk
+
+build/cryptol:: build-ghc-stamp
diff --git a/p/haskell-cryptol/debian/source/format b/p/haskell-cryptol/debian/source/format
new file mode 100644
index 0000000..163aaf8
--- /dev/null
+++ b/p/haskell-cryptol/debian/source/format
@@ -0,0 +1 @@
+3.0 (quilt)
diff --git a/p/haskell-cryptol/debian/watch b/p/haskell-cryptol/debian/watch
new file mode 100644
index 0000000..3ce23b4
--- /dev/null
+++ b/p/haskell-cryptol/debian/watch
@@ -0,0 +1,2 @@
+version=3
+http://hackage.haskell.org/package/cryptol/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