debian/0000755000000000000000000000000012246271176007176 5ustar debian/compat0000644000000000000000000000000212246271135010367 0ustar 9 debian/rules0000755000000000000000000000015512246271135010252 0ustar #!/usr/bin/make -f include /usr/share/cdbs/1/rules/debhelper.mk include /usr/share/cdbs/1/class/hlibrary.mk debian/control0000644000000000000000000000431412246271176010603 0ustar Source: haskell-logict Section: haskell Priority: extra Maintainer: Debian Haskell Group Uploaders: Clint Adams Build-Depends: debhelper (>= 9) , cdbs , haskell-devscripts (>= 0.8.15) , ghc , ghc-prof , libghc-mtl-dev (>= 2) , libghc-mtl-dev (<< 2.3) , libghc-mtl-prof Build-Depends-Indep: ghc-doc , libghc-mtl-doc Standards-Version: 3.9.5 Homepage: http://hackage.haskell.org/package/logict Vcs-Darcs: http://darcs.debian.org/pkg-haskell/haskell-logict Vcs-Browser: http://darcs.debian.org/cgi-bin/darcsweb.cgi?r=pkg-haskell/haskell-logict Package: libghc-logict-dev Architecture: any Depends: ${haskell:Depends} , ${shlibs:Depends} , ${misc:Depends} Recommends: ${haskell:Recommends} Suggests: ${haskell:Suggests} Provides: ${haskell:Provides} Description: Backtracking logic-programming monad${haskell:ShortBlurb} It is a continuation-based, backtracking, logic programming monad. An adaptation of the two-continuation implementation found in the paper Backtracking, Interleaving, and Terminating Monad Transformers available here: http://okmij.org/ftp/papers/LogicT.pdf . ${haskell:Blurb} Package: libghc-logict-prof Architecture: any Depends: ${haskell:Depends} , ${misc:Depends} Recommends: ${haskell:Recommends} Suggests: ${haskell:Suggests} Provides: ${haskell:Provides} Description: Backtracking logic-programming monad${haskell:ShortBlurb} It is a continuation-based, backtracking, logic programming monad. An adaptation of the two-continuation implementation found in the paper Backtracking, Interleaving, and Terminating Monad Transformers available here: http://okmij.org/ftp/papers/LogicT.pdf . ${haskell:Blurb} Package: libghc-logict-doc Section: doc Architecture: all Depends: ${misc:Depends}, ${haskell:Depends} Recommends: ${haskell:Recommends} Suggests: ${haskell:Suggests} Description: Backtracking logic-programming monad${haskell:ShortBlurb} It is a continuation-based, backtracking, logic programming monad. An adaptation of the two-continuation implementation found in the paper Backtracking, Interleaving, and Terminating Monad Transformers available here: http://okmij.org/ftp/papers/LogicT.pdf . ${haskell:Blurb} debian/copyright0000644000000000000000000000317012246271135011125 0ustar This package was debianized by Clint Adams on Wed, 15 Jun 2011 17:49:38 -0000 It was downloaded from http://hackage.haskell.org/package/logict Upstream Author: Dan Doel Copyright: 2007-2010 Dan Doel License: 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. * The names of the contributors may not 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. debian/watch0000644000000000000000000000017412246271135010224 0ustar version=3 http://hackage.haskell.org/package/logict/distro-monitor .*-([0-9\.]+).(?:zip|tgz|tbz|txz|(?:tar\.(?:gz|bz2|xz))) debian/source/0000755000000000000000000000000012246271135010471 5ustar debian/source/format0000644000000000000000000000001412246271135011677 0ustar 3.0 (quilt) debian/changelog0000644000000000000000000000322212246271152011041 0ustar haskell-logict (0.6.0.1-1) unstable; urgency=medium [ Joachim Breitner ] * Adjust watch file to new hackage layout [ Clint Adams ] * New upstream version. -- Clint Adams Sat, 30 Nov 2013 00:06:42 -0500 haskell-logict (0.5.0.2-3) unstable; urgency=low * Move Haskell blurb to the end of the description, reduces the impact of #708703 -- Joachim Breitner Sat, 25 May 2013 23:52:28 +0200 haskell-logict (0.5.0.2-2) unstable; urgency=low * Enable compat level 9 * Use substvars for Haskell description blurbs -- Joachim Breitner Fri, 24 May 2013 12:51:20 +0200 haskell-logict (0.5.0.2-1) experimental; urgency=low * New upstream release -- Joachim Breitner Sun, 02 Dec 2012 22:16:13 +0100 haskell-logict (0.5.0.1-2) experimental; urgency=low * Depend on haskell-devscripts 0.8.13 to ensure this packages is built against experimental * Bump standards version, no change -- Joachim Breitner Sun, 14 Oct 2012 12:01:28 +0200 haskell-logict (0.5.0.1-1) unstable; urgency=low * New upstream release -- Joachim Breitner Thu, 17 May 2012 23:55:33 +0200 haskell-logict (0.5.0-2) unstable; urgency=low * Sourceful upload to rebuild documentation package. -- Clint Adams Mon, 13 Feb 2012 22:57:54 -0500 haskell-logict (0.5.0-1) unstable; urgency=low * New upstream version. -- Clint Adams Sat, 10 Sep 2011 13:24:27 -0400 haskell-logict (0.4.2-1) unstable; urgency=low * Initial release. -- Clint Adams Wed, 15 Jun 2011 13:49:38 -0400