Commit 949dfbd0 authored by Daniel Gröber (dxld)'s avatar Daniel Gröber (dxld) Committed by Daniel Gröber (dxld)

haskell-djinn-lib: Initial Check-In

parent 5af0c5d8
haskell-djinn-lib (0.0.1.2-1) UNRELEASED; urgency=low
* Initial release.
-- Daniel Gröber <dxld@darkboxed.org> Mon, 28 Oct 2014 00:36:23 +0100
Source: haskell-djinn-lib
Section: haskell
Priority: extra
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders: Daniel Gröber <dxld@darkboxed.org>
Build-Depends: debhelper (>= 9)
, cdbs
, haskell-devscripts (>= 0.8.15)
, ghc
, ghc-prof
, libghc-mtl-dev
, libghc-transformers-dev
, libghc-mtl-prof
, libghc-transformers-prof
Build-Depends-Indep: ghc-doc
, libghc-mtl-doc
, libghc-transformers-doc
Standards-Version: 3.9.5
Homepage: http://hackage.haskell.org/package/djinn-lib
Vcs-Darcs: http://darcs.debian.org/pkg-haskell/haskell-djinn-lib
Vcs-Browser: http://darcs.debian.org/cgi-bin/darcsweb.cgi?r=pkg-haskell/haskell-djinn-lib
X-Description: Generate Haskell code from a type
Djinn-Lib uses an theorem prover for intuitionistic propositional logic to
generate a Haskell expression when given a type. This is a library extracted
from Djinn-Lib sources.
Package: libghc-djinn-lib-dev
Architecture: any
Depends: ${haskell:Depends}
, ${shlibs:Depends}
, ${misc:Depends}
Recommends: ${haskell:Recommends}
Suggests: ${haskell:Suggests}
Provides: ${haskell:Provides}
Description: ${haskell:ShortDescription}${haskell:ShortBlurb}
${haskell:LongDescription}
.
${haskell:Blurb}
Package: libghc-djinn-lib-prof
Architecture: any
Depends: ${haskell:Depends}
, ${misc:Depends}
Recommends: ${haskell:Recommends}
Suggests: ${haskell:Suggests}
Provides: ${haskell:Provides}
Description: ${haskell:ShortDescription}${haskell:ShortBlurb}
${haskell:LongDescription}
.
${haskell:Blurb}
Package: libghc-djinn-lib-doc
Section: doc
Architecture: all
Depends: ${misc:Depends}, ${haskell:Depends}
Recommends: ${haskell:Recommends}
Suggests: ${haskell:Suggests}
Description: ${haskell:ShortDescription}${haskell:ShortBlurb}
${haskell:LongDescription}
.
${haskell:Blurb}
Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: djinn-lib
Upstream-Contact: Alejandro Serrano <trupill@gmail.com>
Source: http://hackage.haskell.org/package/djinn-lib
Files: *
Copyright: 2005 Lennart Augustsson
2005 Thomas Johnsson
License:
Copyright (c) 2005 Lennart Augustsson, Thomas Johnsson
Chalmers University of Technology
All rights reserved.
.
This code is derived from software written by Lennart Augustsson
(lennart@augustsson.net).
.
Redistribution and use in source and binary forms, with or without
modification, are permitted provided that the following conditions
are met:
1. Redistributions of source code must retain the above copyright
notice, this list of conditions and the following disclaimer.
2. 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.
3. None of the names of the copyright holders 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 ``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 HOLDERS 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.
.
*** End of disclaimer. ***
Files: debian/*
Copyright: 2014 Daniel Gröber <dxld@darkboxed.org>
License: GPL-3.0+
License: GPL-3.0+
This program is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
.
This package is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
.
You should have received a copy of the GNU General Public License
along with this program. If not, see <http://www.gnu.org/licenses/>.
.
On Debian systems, the complete text of the GNU General
Public License version 3 can be found in "/usr/share/common-licenses/GPL-3".
#!/usr/bin/make -f
# DEB_ENABLE_TESTS = yes
include /usr/share/cdbs/1/rules/debhelper.mk
include /usr/share/cdbs/1/class/hlibrary.mk
version=3
http://hackage.haskell.org/package/djinn-lib/distro-monitor .*-([0-9\.]+)\.(?:zip|tgz|tbz|txz|(?:tar\.(?:gz|bz2|xz)))
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment