add dec
Clint Adams
4 years ago
| 0 | haskell-dec (0.0.3-1) unstable; urgency=low | |
| 1 | ||
| 2 | * Initial release | |
| 3 | ||
| 4 | -- Clint Adams <clint@debian.org> Fri, 23 Aug 2019 18:34:53 -0400 |
| 0 | 10 |
| 0 | Source: haskell-dec | |
| 1 | Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> | |
| 2 | Uploaders: Clint Adams <clint@debian.org> | |
| 3 | Priority: optional | |
| 4 | Section: haskell | |
| 5 | Build-Depends: debhelper (>= 10), | |
| 6 | haskell-devscripts-minimal | haskell-devscripts (>= 0.13), | |
| 7 | cdbs, | |
| 8 | ghc, | |
| 9 | ghc-prof, | |
| 10 | Build-Depends-Indep: ghc-doc, | |
| 11 | Standards-Version: 4.4.0 | |
| 12 | Homepage: https://github.com/phadej/vec | |
| 13 | X-Description: decidable propositions | |
| 14 | This package provides a Dec type for decidable (nullary) relations. | |
| 15 | ||
| 16 | Package: libghc-dec-dev | |
| 17 | Architecture: any | |
| 18 | Depends: ${haskell:Depends}, | |
| 19 | ${misc:Depends}, | |
| 20 | ${shlibs:Depends}, | |
| 21 | Recommends: ${haskell:Recommends}, | |
| 22 | Suggests: ${haskell:Suggests}, | |
| 23 | Conflicts: ${haskell:Conflicts}, | |
| 24 | Provides: ${haskell:Provides}, | |
| 25 | Description: ${haskell:ShortDescription}${haskell:ShortBlurb} | |
| 26 | ${haskell:LongDescription} | |
| 27 | . | |
| 28 | ${haskell:Blurb} | |
| 29 | ||
| 30 | Package: libghc-dec-prof | |
| 31 | Architecture: any | |
| 32 | Depends: ${haskell:Depends}, | |
| 33 | ${misc:Depends}, | |
| 34 | Recommends: ${haskell:Recommends}, | |
| 35 | Suggests: ${haskell:Suggests}, | |
| 36 | Conflicts: ${haskell:Conflicts}, | |
| 37 | Provides: ${haskell:Provides}, | |
| 38 | Description: ${haskell:ShortDescription}${haskell:ShortBlurb} | |
| 39 | ${haskell:LongDescription} | |
| 40 | . | |
| 41 | ${haskell:Blurb} | |
| 42 | ||
| 43 | Package: libghc-dec-doc | |
| 44 | Architecture: all | |
| 45 | Section: doc | |
| 46 | Depends: ${haskell:Depends}, | |
| 47 | ${misc:Depends}, | |
| 48 | Recommends: ${haskell:Recommends}, | |
| 49 | Suggests: ${haskell:Suggests}, | |
| 50 | Conflicts: ${haskell:Conflicts}, | |
| 51 | Description: ${haskell:ShortDescription}${haskell:ShortBlurb} | |
| 52 | ${haskell:LongDescription} | |
| 53 | . | |
| 54 | ${haskell:Blurb} |
| 0 | Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ | |
| 1 | Upstream-Name: dec | |
| 2 | Upstream-Contact: Oleg.Grenrus <oleg.grenrus@iki.fi> | |
| 3 | Source: https://hackage.haskell.org/package/dec | |
| 4 | ||
| 5 | Files: * | |
| 6 | Copyright: 2019 Oleg Grenrus | |
| 7 | License: BSD-3-clause | |
| 8 | ||
| 9 | Files: debian/* | |
| 10 | Copyright: held by the contributors mentioned in debian/changelog | |
| 11 | License: BSD-3-clause | |
| 12 | ||
| 13 | License: BSD-3-clause | |
| 14 | Redistribution and use in source and binary forms, with or without | |
| 15 | modification, are permitted provided that the following conditions are met: | |
| 16 | . | |
| 17 | * Redistributions of source code must retain the above copyright | |
| 18 | notice, this list of conditions and the following disclaimer. | |
| 19 | . | |
| 20 | * Redistributions in binary form must reproduce the above | |
| 21 | copyright notice, this list of conditions and the following | |
| 22 | disclaimer in the documentation and/or other materials provided | |
| 23 | with the distribution. | |
| 24 | . | |
| 25 | * Neither the name of Oleg Grenrus nor the names of other | |
| 26 | contributors may be used to endorse or promote products derived | |
| 27 | from this software without specific prior written permission. | |
| 28 | . | |
| 29 | THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS | |
| 30 | "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT | |
| 31 | LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR | |
| 32 | A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT | |
| 33 | OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, | |
| 34 | SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT | |
| 35 | LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, | |
| 36 | DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY | |
| 37 | THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT | |
| 38 | (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE | |
| 39 | OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| 0 | setup-hs |
| 0 | --- /dev/null | |
| 1 | +++ b/Setup.hs | |
| 2 | @@ -0,0 +1,2 @@ | |
| 3 | +import Distribution.Simple | |
| 4 | +main = defaultMain |
| 0 | #!/usr/bin/make -f | |
| 1 | ||
| 2 | DEB_SETUP_BIN_NAME = debian/hlibrary.setup | |
| 3 | DEB_CABAL_PACKAGE = dec | |
| 4 | DEB_DEFAULT_COMPILER = ghc | |
| 5 | ||
| 6 | include /usr/share/cdbs/1/rules/debhelper.mk | |
| 7 | include /usr/share/cdbs/1/class/hlibrary.mk |
| 0 | 3.0 (quilt) |