[Git][haskell-team/DHG_packages][master] Initial packaging of copilot-theorem-3.10
Scott Talbert (@swt2c)
gitlab at salsa.debian.org
Thu Aug 18 22:26:37 BST 2022
Scott Talbert pushed to branch master at Debian Haskell Group / DHG_packages
Commits:
303eb0e8 by Scott Talbert at 2022-08-18T17:22:23-04:00
Initial packaging of copilot-theorem-3.10
- - - - -
7 changed files:
- + p/haskell-copilot-theorem/debian/changelog
- + p/haskell-copilot-theorem/debian/compat
- + p/haskell-copilot-theorem/debian/control
- + p/haskell-copilot-theorem/debian/copyright
- + p/haskell-copilot-theorem/debian/rules
- + p/haskell-copilot-theorem/debian/source/format
- + p/haskell-copilot-theorem/debian/watch
Changes:
=====================================
p/haskell-copilot-theorem/debian/changelog
=====================================
@@ -0,0 +1,5 @@
+haskell-copilot-theorem (3.10-1) unstable; urgency=low
+
+ * Initial release
+
+ -- Scott Talbert <swt at techie.net> Thu, 18 Aug 2022 16:30:34 -0400
=====================================
p/haskell-copilot-theorem/debian/compat
=====================================
@@ -0,0 +1 @@
+10
=====================================
p/haskell-copilot-theorem/debian/control
=====================================
@@ -0,0 +1,104 @@
+Source: haskell-copilot-theorem
+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-bimap-dev,
+ libghc-bimap-prof,
+ libghc-bv-sized-dev (>= 1.0.2),
+ libghc-bv-sized-dev (<< 1.1),
+ libghc-bv-sized-prof,
+ libghc-copilot-core-dev (>= 3.10),
+ libghc-copilot-core-dev (<< 3.11),
+ libghc-copilot-core-prof,
+ libghc-data-default-dev (>= 0.7),
+ libghc-data-default-dev (<< 0.8),
+ libghc-data-default-prof,
+ libghc-libbf-dev (>= 0.6.2),
+ libghc-libbf-dev (<< 0.7),
+ libghc-libbf-prof,
+ libghc-panic-dev (>= 0.4.0),
+ libghc-panic-dev (<< 0.5),
+ libghc-panic-prof,
+ libghc-parameterized-utils-dev (>= 2.1.1),
+ libghc-parameterized-utils-dev (<< 2.2),
+ libghc-parameterized-utils-prof,
+ libghc-random-dev (>= 1.1),
+ libghc-random-dev (<< 1.3),
+ libghc-random-prof,
+ libghc-what4-dev (>= 1.1),
+ libghc-what4-dev (<< 1.4),
+ libghc-what4-prof,
+ libghc-xml-dev (>= 1.3),
+ libghc-xml-dev (<< 1.4),
+ libghc-xml-prof,
+Build-Depends-Indep: ghc-doc,
+ libghc-bimap-doc,
+ libghc-bv-sized-doc,
+ libghc-copilot-core-doc,
+ libghc-data-default-doc,
+ libghc-libbf-doc,
+ libghc-panic-doc,
+ libghc-parameterized-utils-doc,
+ libghc-random-doc,
+ libghc-what4-doc,
+ libghc-xml-doc,
+Standards-Version: 4.6.1
+Homepage: https://copilot-language.github.io
+Vcs-Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-copilot-theorem
+Vcs-Git: https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-copilot-theorem]
+X-Description: k-induction for Copilot.
+ Some tools to prove properties on Copilot programs with k-induction model
+ checking.
+ .
+ Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in
+ Haskell that compiles into embedded C. Copilot contains an interpreter,
+ multiple back-end compilers, and other verification tools.
+ .
+ A tutorial, examples, and other information are available at
+ <https://copilot-language.github.io>.
+
+Package: libghc-copilot-theorem-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-copilot-theorem-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-copilot-theorem-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}
=====================================
p/haskell-copilot-theorem/debian/copyright
=====================================
@@ -0,0 +1,47 @@
+Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
+Upstream-Name: copilot-theorem
+Upstream-Contact: Ivan Perez <ivan.perezdominguez at nasa.gov>
+Source: https://hackage.haskell.org/package/copilot-theorem
+
+Files: *
+Copyright: none listed
+License: BSD-3-clause
+
+Files: src/Copilot/Theorem/What4.hs
+Copyright: (c) Ben Selfridge, 2020
+License: BSD-3-clause
+
+Files: debian/*
+Copyright: held by the contributors mentioned in debian/changelog
+License: BSD-3-clause
+
+License: BSD-3-clause
+ 2009
+ BSD3 License terms
+ .
+ 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 developers 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-copilot-theorem/debian/rules
=====================================
@@ -0,0 +1,9 @@
+#!/usr/bin/make -f
+
+DEB_ENABLE_TESTS = yes
+DEB_SETUP_BIN_NAME = debian/hlibrary.setup
+DEB_CABAL_PACKAGE = copilot-theorem
+DEB_DEFAULT_COMPILER = ghc
+
+include /usr/share/cdbs/1/rules/debhelper.mk
+include /usr/share/cdbs/1/class/hlibrary.mk
=====================================
p/haskell-copilot-theorem/debian/source/format
=====================================
@@ -0,0 +1 @@
+3.0 (quilt)
=====================================
p/haskell-copilot-theorem/debian/watch
=====================================
@@ -0,0 +1,2 @@
+version=3
+https://hackage.haskell.org/package/copilot-theorem/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/303eb0e83a712fa997d22422824bb8c1ee7c5ee5
--
View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/commit/303eb0e83a712fa997d22422824bb8c1ee7c5ee5
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/20220818/9c14fa86/attachment-0001.htm>
More information about the Pkg-haskell-commits
mailing list