haskell-smtlib: added.
Kristoffer Rose
8 years ago
| 0 | haskell-smtlib (1.0.7-1) unstable; urgency=low | |
| 1 | ||
| 2 | * Initial release. | |
| 3 | ||
| 4 | -- Kristoffer H Rose <krisrose@debian.org> Fri, 14 Aug 2015 15:30:06 +0200 |
| 0 | 9 |
| 0 | Source: haskell-smtlib | |
| 1 | Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> | |
| 2 | Uploaders: Kristoffer H Rose <krisrose@debian.org> | |
| 3 | Priority: extra | |
| 4 | Section: haskell | |
| 5 | Build-Depends: debhelper (>= 9), | |
| 6 | haskell-devscripts (>= 0.8), | |
| 7 | cdbs, | |
| 8 | ghc, | |
| 9 | ghc-prof, | |
| 10 | Build-Depends-Indep: ghc-doc, | |
| 11 | Standards-Version: 3.9.6 | |
| 12 | X-Description: A library for working with the SMTLIB format. | |
| 13 | ||
| 14 | Package: libghc-smtlib-dev | |
| 15 | Architecture: any | |
| 16 | Depends: ${haskell:Depends}, | |
| 17 | ${misc:Depends}, | |
| 18 | ${shlibs:Depends}, | |
| 19 | Recommends: ${haskell:Recommends}, | |
| 20 | Suggests: ${haskell:Suggests}, | |
| 21 | Conflicts: ${haskell:Conflicts}, | |
| 22 | Provides: ${haskell:Provides}, | |
| 23 | Description: ${haskell:ShortDescription}${haskell:ShortBlurb} | |
| 24 | ${haskell:LongDescription} | |
| 25 | . | |
| 26 | ${haskell:Blurb} | |
| 27 | ||
| 28 | Package: libghc-smtlib-prof | |
| 29 | Architecture: any | |
| 30 | Depends: ${haskell:Depends}, | |
| 31 | ${misc:Depends}, | |
| 32 | Recommends: ${haskell:Recommends}, | |
| 33 | Suggests: ${haskell:Suggests}, | |
| 34 | Conflicts: ${haskell:Conflicts}, | |
| 35 | Provides: ${haskell:Provides}, | |
| 36 | Description: ${haskell:ShortDescription}${haskell:ShortBlurb} | |
| 37 | ${haskell:LongDescription} | |
| 38 | . | |
| 39 | ${haskell:Blurb} | |
| 40 | ||
| 41 | Package: libghc-smtlib-doc | |
| 42 | Architecture: all | |
| 43 | Section: doc | |
| 44 | Depends: ${haskell:Depends}, | |
| 45 | ${misc:Depends}, | |
| 46 | Recommends: ${haskell:Recommends}, | |
| 47 | Suggests: ${haskell:Suggests}, | |
| 48 | Conflicts: ${haskell:Conflicts}, | |
| 49 | Description: ${haskell:ShortDescription}${haskell:ShortBlurb} | |
| 50 | ${haskell:LongDescription} | |
| 51 | . | |
| 52 | ${haskell:Blurb} |
| 0 | Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ | |
| 1 | Upstream-Name: smtLib | |
| 2 | Upstream-Contact: iavor.diatchki@gmail.com | |
| 3 | Source: https://hackage.haskell.org/package/smtLib | |
| 4 | ||
| 5 | Files: * | |
| 6 | Copyright: 2011 Iavor S. Diatchki, Galois Inc. | |
| 7 | License: BSD3 | |
| 8 | ||
| 9 | Files: debian/* | |
| 10 | Copyright: held by the contributors mentioned in debian/changelog | |
| 11 | License: BSD3 | |
| 12 | ||
| 13 | License: BSD3 | |
| 14 | Permission is hereby granted, free of charge, to any person obtaining | |
| 15 | a copy of this software and associated documentation files (the | |
| 16 | "Software"), to deal in the Software without restriction, including | |
| 17 | without limitation t he rights to use, copy, modify, merge, publish, | |
| 18 | distribute, sublicense, and/or sell copies of the Software, and to | |
| 19 | permit persons to whom the Software is furnished to do so, subject to | |
| 20 | the following conditions: | |
| 21 | . | |
| 22 | The above copyright notice and this permission notice shall be | |
| 23 | included in all copies or substantial portions of the Software. | |
| 24 | . | |
| 25 | THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, | |
| 26 | EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF | |
| 27 | MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND | |
| 28 | NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE | |
| 29 | LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION | |
| 30 | OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION | |
| 31 | WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. |
| 0 | #!/usr/bin/make -f | |
| 1 | ||
| 2 | DEB_CABAL_PACKAGE = smtlib | |
| 3 | DEB_DEFAULT_COMPILER = ghc | |
| 4 | ||
| 5 | include /usr/share/cdbs/1/rules/debhelper.mk | |
| 6 | include /usr/share/cdbs/1/class/hlibrary.mk |
| 0 | 3.0 (quilt) |