[Git][haskell-team/DHG_packages][master] 2 commits: sbv: Upgrading from 8.7 to 8.17

Fri Jul 29 18:21:11 BST 2022


Scott Talbert pushed to branch master at Debian Haskell Group / DHG_packages


Commits:
81718f8c by Scott Talbert at 2022-07-29T13:21:00-04:00
sbv: Upgrading from 8.7 to 8.17

- - - - -
5a2e2949 by Scott Talbert at 2022-07-29T13:21:00-04:00
Initial packaging of libBF-0.6.3

- - - - -


9 changed files:

- + p/haskell-libbf/debian/changelog
- + p/haskell-libbf/debian/compat
- + p/haskell-libbf/debian/control
- + p/haskell-libbf/debian/copyright
- + p/haskell-libbf/debian/rules
- + p/haskell-libbf/debian/source/format
- + p/haskell-libbf/debian/watch
- p/haskell-sbv/debian/changelog
- p/haskell-sbv/debian/control


Changes:

=====================================
p/haskell-libbf/debian/changelog
=====================================
@@ -0,0 +1,5 @@
+haskell-libbf (0.6.3-1) unstable; urgency=low
+
+  * Initial release
+
+ -- Scott Talbert <swt at techie.net>  Fri, 29 Jul 2022 12:41:41 -0400


=====================================
p/haskell-libbf/debian/compat
=====================================
@@ -0,0 +1 @@
+10


=====================================
p/haskell-libbf/debian/control
=====================================
@@ -0,0 +1,61 @@
+Source: haskell-libbf
+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-hashable-dev (>= 1.3),
+ libghc-hashable-prof,
+Build-Depends-Indep: ghc-doc,
+ libghc-hashable-doc,
+Standards-Version: 4.6.1
+Homepage: https://hackage.haskell.org/package/libBF
+Vcs-Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-libbf
+Vcs-Git: https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-libbf]
+X-Description: Binding to the libBF library
+ LibBF is a C library for working with arbitray precision
+ IEEE 754 floating point numbers.
+
+Package: libghc-libbf-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-libbf-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-libbf-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-libbf/debian/copyright
=====================================
@@ -0,0 +1,38 @@
+Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
+Upstream-Name: libBF
+Upstream-Contact: iavor.diatchki at gmail.com
+Source: https://hackage.haskell.org/package/libBF
+
+Files: *
+Copyright: 2019 Iavor Diatchki
+License: MIT
+
+Files: debian/*
+Copyright: held by the contributors mentioned in debian/changelog
+License: MIT
+
+Files: libbf-2020-01-19/*
+Copyright: 2017-2020 Fabrice Bellard
+License: MIT
+
+License: MIT
+ Copyright (c) 2019 Iavor Diatchki
+ .
+ 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.


=====================================
p/haskell-libbf/debian/rules
=====================================
@@ -0,0 +1,9 @@
+#!/usr/bin/make -f
+
+DEB_ENABLE_TESTS = yes
+DEB_SETUP_BIN_NAME = debian/hlibrary.setup
+DEB_CABAL_PACKAGE = libbf
+DEB_DEFAULT_COMPILER = ghc
+
+include /usr/share/cdbs/1/rules/debhelper.mk
+include /usr/share/cdbs/1/class/hlibrary.mk


=====================================
p/haskell-libbf/debian/source/format
=====================================
@@ -0,0 +1 @@
+3.0 (quilt)


=====================================
p/haskell-libbf/debian/watch
=====================================
@@ -0,0 +1,2 @@
+version=3
+https://hackage.haskell.org/package/libBF/distro-monitor .*-([0-9\.]+)\.(?:zip|tgz|tbz|txz|(?:tar\.(?:gz|bz2|xz)))


=====================================
p/haskell-sbv/debian/changelog
=====================================
@@ -1,8 +1,12 @@
-haskell-sbv (8.7-2) UNRELEASED; urgency=medium
+haskell-sbv (8.17-1) unstable; urgency=medium
 
+  [ Ilias Tsitsimpis ]
   * Declare compliance with Debian policy 4.6.1
 
- -- Ilias Tsitsimpis <iliastsi at debian.org>  Tue, 28 Jun 2022 15:33:02 +0300
+  [ Scott Talbert ]
+  * New upstream release (Closes: #1014005)
+
+ -- Scott Talbert <swt at techie.net>  Fri, 29 Jul 2022 12:36:35 -0400
 
 haskell-sbv (8.7-1) unstable; urgency=medium
 


=====================================
p/haskell-sbv/debian/control
=====================================
@@ -15,23 +15,23 @@ Build-Depends:
  libghc-quickcheck2-prof,
  libghc-async-dev,
  libghc-async-prof,
- libghc-cracknum-dev (>= 2.3),
- libghc-cracknum-prof,
- libghc-generic-deriving-dev,
- libghc-generic-deriving-prof,
+ libghc-libbf-dev,
+ libghc-libbf-prof,
  libghc-random-dev,
  libghc-random-prof,
  libghc-syb-dev,
  libghc-syb-prof,
+ libghc-uniplate-dev,
+ libghc-uniplate-prof,
 Build-Depends-Indep: ghc-doc,
  libghc-quickcheck2-doc,
  libghc-async-doc,
- libghc-cracknum-doc,
- libghc-generic-deriving-doc,
+ libghc-libbf-doc,
  libghc-random-doc,
  libghc-syb-doc,
+ libghc-uniplate-doc,
 Standards-Version: 4.6.1
-Homepage: http://leventerkok.github.com/sbv/
+Homepage: http://leventerkok.github.io/sbv/
 Vcs-Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-sbv
 Vcs-Git: https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-sbv]
 X-Description: symbolic Haskell theorem prover using SMT solving



View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/compare/ff1e77479ed1c76d1bb22a1aa0405184f25d14b8...5a2e294963cd5e1fb127afce54a731c3a4688175

-- 
View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/compare/ff1e77479ed1c76d1bb22a1aa0405184f25d14b8...5a2e294963cd5e1fb127afce54a731c3a4688175
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/20220729/33f1016e/attachment-0001.htm>
