[Git][haskell-team/DHG_packages][master] Initial packaging of what4-1.3
Scott Talbert (@swt2c)
gitlab at salsa.debian.org
Tue Aug 16 17:42:36 BST 2022
Scott Talbert pushed to branch master at Debian Haskell Group / DHG_packages
Commits:
78b0b72d by Scott Talbert at 2022-08-16T12:06:52-04:00
Initial packaging of what4-1.3
- - - - -
10 changed files:
- + p/haskell-what4/debian/changelog
- + p/haskell-what4/debian/compat
- + p/haskell-what4/debian/control
- + p/haskell-what4/debian/copyright
- + p/haskell-what4/debian/haskell-what4-utils.install
- + p/haskell-what4/debian/patches/no-tasty-sugar
- + p/haskell-what4/debian/patches/series
- + p/haskell-what4/debian/rules
- + p/haskell-what4/debian/source/format
- + p/haskell-what4/debian/watch
Changes:
=====================================
p/haskell-what4/debian/changelog
=====================================
@@ -0,0 +1,5 @@
+haskell-what4 (1.3-1) unstable; urgency=low
+
+ * Initial release
+
+ -- Scott Talbert <swt at techie.net> Tue, 16 Aug 2022 10:01:36 -0400
=====================================
p/haskell-what4/debian/compat
=====================================
@@ -0,0 +1 @@
+10
=====================================
p/haskell-what4/debian/control
=====================================
@@ -0,0 +1,202 @@
+Source: haskell-what4
+Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
+Uploaders: Scott Talbert <swt at techie.net>
+Priority: optional
+Section: haskell
+Build-Depends: debhelper (>= 10),
+ haskell-devscripts-minimal | haskell-devscripts (>= 0.13),
+ cdbs,
+ ghc,
+ ghc-prof,
+ libghc-async-dev,
+ libghc-async-prof,
+ libghc-attoparsec-dev (>= 0.13),
+ libghc-attoparsec-prof,
+ libghc-bifunctors-dev (>= 5),
+ libghc-bifunctors-prof,
+ libghc-bimap-dev (>= 0.2),
+ libghc-bimap-prof,
+ libghc-bv-sized-dev (>= 1.0.0),
+ libghc-bv-sized-prof,
+ libghc-concurrent-extra-dev (>= 0.7),
+ libghc-concurrent-extra-dev (<< 0.8),
+ libghc-concurrent-extra-prof,
+ libghc-config-value-dev (>= 0.8),
+ libghc-config-value-dev (<< 0.9),
+ libghc-config-value-prof,
+ libghc-data-binary-ieee754-dev,
+ libghc-data-binary-ieee754-prof,
+ libghc-deriving-compat-dev (>= 0.5),
+ libghc-deriving-compat-prof,
+ libghc-fingertree-dev (>= 0.1.4),
+ libghc-fingertree-prof,
+ libghc-hashable-dev (>= 1.3),
+ libghc-hashable-prof,
+ libghc-hashtables-dev (>= 1.2.3),
+ libghc-hashtables-prof,
+ libghc-hedgehog-dev (>= 1.0.2),
+ libghc-hedgehog-prof,
+ libghc-io-streams-dev (>= 1.5),
+ libghc-io-streams-prof,
+ libghc-lens-dev (>= 4.18),
+ libghc-lens-prof,
+ libghc-lumberjack-dev,
+ libghc-lumberjack-prof,
+ libghc-libbf-dev (>= 0.6),
+ libghc-libbf-dev (<< 0.7),
+ libghc-libbf-prof,
+ libghc-panic-dev (>= 0.3),
+ libghc-panic-prof,
+ libghc-parameterized-utils-dev (>= 2.1),
+ libghc-parameterized-utils-dev (<< 2.2),
+ libghc-parameterized-utils-prof,
+ libghc-prettyprinter-dev (>= 1.7.0),
+ libghc-prettyprinter-prof,
+ libghc-quickcheck2-dev (>= 2.12),
+ libghc-quickcheck2-prof,
+ libghc-scientific-dev (>= 0.3.6),
+ libghc-scientific-prof,
+ libghc-tasty-dev (>= 0.10),
+ libghc-tasty-prof,
+ libghc-tasty-checklist-dev (>= 1.0.3),
+ libghc-tasty-checklist-dev (<< 1.1),
+ libghc-tasty-checklist-prof,
+ libghc-tasty-expected-failure-dev (>= 0.12),
+ libghc-tasty-expected-failure-dev (<< 0.13),
+ libghc-tasty-expected-failure-prof,
+ libghc-tasty-hedgehog-dev (>= 1.2),
+ libghc-tasty-hedgehog-prof,
+ libghc-tasty-hunit-dev (>= 0.9),
+ libghc-tasty-hunit-prof,
+ libghc-tasty-quickcheck-dev (>= 0.10),
+ libghc-tasty-quickcheck-prof,
+ libghc-temporary-dev (>= 1.2),
+ libghc-temporary-prof,
+ libghc-th-abstraction-dev (>= 0.1),
+ libghc-th-abstraction-dev (<< 0.5),
+ libghc-th-abstraction-prof,
+ libghc-th-lift-dev (>= 0.8.2),
+ libghc-th-lift-dev (<< 0.9),
+ libghc-th-lift-prof,
+ libghc-th-lift-instances-dev (>= 0.1),
+ libghc-th-lift-instances-dev (<< 0.2),
+ libghc-th-lift-instances-prof,
+ libghc-unordered-containers-dev (>= 0.2.10),
+ libghc-unordered-containers-prof,
+ libghc-utf8-string-dev (>= 1.0.1),
+ libghc-utf8-string-prof,
+ libghc-vector-dev (>= 0.12.1),
+ libghc-vector-prof,
+ libghc-versions-dev (>= 4.0),
+ libghc-versions-dev (<< 6.0),
+ libghc-versions-prof,
+ libghc-zenc-dev (>= 0.1.0),
+ libghc-zenc-dev (<< 0.2.0),
+ libghc-zenc-prof,
+ libghc-parameterized-utils-dev,
+ cvc4,
+ z3,
+Build-Depends-Indep: ghc-doc,
+ libghc-async-doc,
+ libghc-attoparsec-doc,
+ libghc-bifunctors-doc,
+ libghc-bimap-doc,
+ libghc-bv-sized-doc,
+ libghc-concurrent-extra-doc,
+ libghc-config-value-doc,
+ libghc-data-binary-ieee754-doc,
+ libghc-deriving-compat-doc,
+ libghc-fingertree-doc,
+ libghc-hashable-doc,
+ libghc-hashtables-doc,
+ libghc-hedgehog-doc,
+ libghc-io-streams-doc,
+ libghc-lens-doc,
+ libghc-libbf-doc,
+ libghc-lumberjack-doc,
+ libghc-panic-doc,
+ libghc-parameterized-utils-doc,
+ libghc-prettyprinter-doc,
+ libghc-quickcheck2-doc,
+ libghc-scientific-doc,
+ libghc-tasty-doc,
+ libghc-tasty-checklist-doc,
+ libghc-tasty-expected-failure-doc,
+ libghc-tasty-hedgehog-doc,
+ libghc-tasty-hunit-doc,
+ libghc-tasty-quickcheck-doc,
+ libghc-temporary-doc,
+ libghc-th-abstraction-doc,
+ libghc-th-lift-doc,
+ libghc-th-lift-instances-doc,
+ libghc-unordered-containers-doc,
+ libghc-utf8-string-doc,
+ libghc-vector-doc,
+ libghc-versions-doc,
+ libghc-zenc-doc,
+Standards-Version: 4.6.1
+Homepage: https://github.com/GaloisInc/what4
+Vcs-Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-what4
+Vcs-Git: https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-what4]
+X-Description: Solver-agnostic symbolic values support for issuing queries
+ What4 is a generic library for representing values as symbolic formulae which
+ may contain references to symbolic values, representing unknown variables.
+ It provides support for communicating with a variety of SAT and SMT solvers,
+ including Z3, CVC4, Yices, Boolector, STP, and dReal.
+ The data representation types make heavy use of GADT-style type indices
+ to ensure type-correct manipulation of symbolic values.
+
+Package: libghc-what4-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-what4-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-what4-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: haskell-what4-utils
+Architecture: any
+Section: misc
+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}
=====================================
p/haskell-what4/debian/copyright
=====================================
@@ -0,0 +1,44 @@
+Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
+Upstream-Name: what4
+Upstream-Contact: jhendrix at galois.com, rdockins at galois.com
+Source: https://hackage.haskell.org/package/what4
+
+Files: *
+Copyright: (c) Galois, Inc 2014-2021
+License: BSD-3-clause
+
+Files: debian/*
+Copyright: held by the contributors mentioned in debian/changelog
+License: BSD-3-clause
+
+License: BSD-3-clause
+ Copyright (c) 2013-2020 Galois Inc.
+ All rights reserved.
+ .
+ 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.
=====================================
p/haskell-what4/debian/haskell-what4-utils.install
=====================================
@@ -0,0 +1,2 @@
+./solverBounds.config usr/share/what4/.
+dist-ghc/build/quickstart/quickstart usr/bin
=====================================
p/haskell-what4/debian/patches/no-tasty-sugar
=====================================
@@ -0,0 +1,17 @@
+--- a/what4.cabal
++++ b/what4.cabal
+@@ -387,14 +387,3 @@ test-suite template_tests
+ , libBF
+ , transformers
+
+-
+-test-suite solver_parsing_tests
+- import: bldflags, testdefs-hunit
+- type: exitcode-stdio-1.0
+- main-is : SolverParserTest.hs
+- build-depends: contravariant
+- , exceptions
+- , io-streams
+- , lumberjack
+- , tasty-sugar >= 1.1 && < 1.2
+- , text
=====================================
p/haskell-what4/debian/patches/series
=====================================
@@ -0,0 +1 @@
+no-tasty-sugar
=====================================
p/haskell-what4/debian/rules
=====================================
@@ -0,0 +1,11 @@
+#!/usr/bin/make -f
+
+DEB_ENABLE_TESTS = yes
+DEB_SETUP_BIN_NAME = debian/hlibrary.setup
+DEB_CABAL_PACKAGE = what4
+DEB_DEFAULT_COMPILER = ghc
+
+include /usr/share/cdbs/1/rules/debhelper.mk
+include /usr/share/cdbs/1/class/hlibrary.mk
+
+build/haskell-what4-utils:: build-ghc-stamp
=====================================
p/haskell-what4/debian/source/format
=====================================
@@ -0,0 +1 @@
+3.0 (quilt)
=====================================
p/haskell-what4/debian/watch
=====================================
@@ -0,0 +1,2 @@
+version=3
+https://hackage.haskell.org/package/what4/distro-monitor .*-([0-9\.]+)\.(?:zip|tgz|tbz|txz|(?:tar\.(?:gz|bz2|xz)))
View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/commit/78b0b72deecd4f97eca9782750e1197ff16a5528
--
View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/commit/78b0b72deecd4f97eca9782750e1197ff16a5528
You're receiving this email because of your account on salsa.debian.org.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://alioth-lists.debian.net/pipermail/pkg-haskell-commits/attachments/20220816/94f5f6a5/attachment-0001.htm>
More information about the Pkg-haskell-commits
mailing list