debian/0000755000000000000000000000000012151073512007163 5ustar debian/watch0000644000000000000000000000034012036251731010214 0ustar version=3 opts="downloadurlmangle=s|archive/([\w\d_-]+)/([\d\.]+)/|archive/$1/$2/$1-$2.tar.gz|,\ filenamemangle=s|(.*)/$|type-level-$1.tar.gz|" \ http://hackage.haskell.org/packages/archive/type-level \ ([\d\.]*\d)/ debian/rules0000755000000000000000000000022212036251731010242 0ustar #!/usr/bin/make -f DEB_BUILD_DEPENDENCIES = build-arch include /usr/share/cdbs/1/rules/debhelper.mk include /usr/share/cdbs/1/class/hlibrary.mk debian/copyright0000644000000000000000000000414212036251731011122 0ustar Format-Specification: http://svn.debian.org/wsvn/dep/web/deps/dep5.mdwn?op=file&rev=135 Name: type-level Maintainer: Alfonso Acosta Source: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/type-level Copyright: 2008 Alfonso Acosta, Oleg Kiselyov, Wolfgang Jeltsch and SAM Group at the School of Information and Communication Technology, (Royal Institute of Technology, Stockholm, Sweden) License: BSD Copyright (c) 2008 Alfonso Acosta, Oleg Kiselyov, Wolfgang Jeltsch and SAM Group at the School of Information and Communication Technology, (Royal Institute of Technology, Stockholm, Sweden) All rights reserved. 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. * Neither the name of The ForSyDe Team nor the names of its contributors 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 TEAM 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/source/0000755000000000000000000000000012036251731010466 5ustar debian/source/format0000644000000000000000000000001412036251731011674 0ustar 3.0 (quilt) debian/patches/0000755000000000000000000000000012036251731010615 5ustar debian/patches/00-prune-useless-aliases-docs.diff0000644000000000000000000000203512036251731017043 0ustar Description: The module Data.TypeLevel.Num.Aliases is generated using Template Haskell and contains a huge number of stub definitions with no real documentation. The resulting HTML file is nearly 10 megabytes in size. . By enabling the Haddock prune option we hide these useless documentation stubs. . This patch has been emailed to the upstream author, but no action has yet been taken. Forwarded: In private email to upstream author. Author: Erik de Castro Lopo Last-Update: 2010-04-05 Index: haskell-type-level-0.2.4/src/Data/TypeLevel/Num/Aliases.hs =================================================================== --- haskell-type-level-0.2.4.orig/src/Data/TypeLevel/Num/Aliases.hs +++ haskell-type-level-0.2.4/src/Data/TypeLevel/Num/Aliases.hs @@ -1,5 +1,6 @@ {-# OPTIONS_GHC -fno-warn-missing-signatures #-} {-# LANGUAGE CPP, TemplateHaskell #-} +{-# OPTIONS_HADDOCK prune #-} ----------------------------------------------------------------------------- -- | -- Module : Data.TypeLevel.Num.Aliases debian/patches/series0000644000000000000000000000004312036251731012027 0ustar 00-prune-useless-aliases-docs.diff debian/compat0000644000000000000000000000000212147616346010376 0ustar 9 debian/control0000644000000000000000000000773712147627365010624 0ustar Source: haskell-type-level Section: haskell Priority: extra Maintainer: Debian Haskell Group Uploaders: Erik de Castro Lopo Build-Depends: debhelper (>= 9) , cdbs , haskell-devscripts (>= 0.8.15) , ghc , ghc-prof , libghc-syb-dev , libghc-syb-prof , ghc-ghci Build-Depends-Indep: ghc-doc , libghc-syb-doc Standards-Version: 3.9.4 Homepage: http://hackage.haskell.org/package/type-level Vcs-Darcs: http://darcs.debian.org/pkg-haskell/haskell-type-level Vcs-Browser: http://darcs.debian.org/cgi-bin/darcsweb.cgi?r=pkg-haskell/haskell-type-level Package: libghc-type-level-dev Architecture: any Depends: ${haskell:Depends} , ${shlibs:Depends} , ${misc:Depends} Recommends: ${haskell:Recommends} Suggests: ${haskell:Suggests} Provides: ${haskell:Provides} Description: A Haskell library for type-level programming${haskell:ShortBlurb} A haskell library for performing computations on the type-level. Type-level functions are implemented using functional dependencies of multi parameter type classes. To date, Booleans and Numerals (Naturals and Positives) are supported. With regard to Numerals, there is support for common arithmetic operations (addition, substraction, multiplication, division, exponientation, logarithm, maximum, comparison, GCD) over natural numbers (using a decimal representation to make compile-time errors friendlier). Although making use of type-level computations might seem devious and obfuscated at first sight, it is indeed useful in practice to implement lightweight dependent types such as number-parameterized types (e.g. an array type parameterized by the array's size or a modular group type Zn parameterized by the modulus). . ${haskell:Blurb} Package: libghc-type-level-prof Architecture: any Depends: ${haskell:Depends} , ${shlibs:Depends} , ${misc:Depends} Recommends: ${haskell:Recommends} Suggests: ${haskell:Suggests} Provides: ${haskell:Provides} Description: Profiling libraries for type-level programming in Haskell${haskell:ShortBlurb} A haskell library for performing computations on the type-level. Type-level functions are implemented using functional dependencies of multi parameter type classes. To date, Booleans and Numerals (Naturals and Positives) are supported. With regard to Numerals, there is support for common arithmetic operations (addition, substraction, multiplication, division, exponientation, logarithm, maximum, comparison, GCD) over natural numbers (using a decimal representation to make compile-time errors friendlier). Although making use of type-level computations might seem devious and obfuscated at first sight, it is indeed useful in practice to implement lightweight dependent types such as number-parameterized types (e.g. an array type parameterized by the array's size or a modular group type Zn parameterized by the modulus). . ${haskell:Blurb} Package: libghc-type-level-doc Section: doc Architecture: all Depends: ${misc:Depends}, ${haskell:Depends} Recommends: ${haskell:Recommends} Suggests: ${haskell:Suggests} Description: Documentation for type-level programming in Haskell${haskell:ShortBlurb} A haskell library for performing computations on the type-level. Type-level functions are implemented using functional dependencies of multi parameter type classes. To date, Booleans and Numerals (Naturals and Positives) are supported. With regard to Numerals, there is support for common arithmetic operations (addition, substraction, multiplication, division, exponientation, logarithm, maximum, comparison, GCD) over natural numbers (using a decimal representation to make compile-time errors friendlier). Although making use of type-level computations might seem devious and obfuscated at first sight, it is indeed useful in practice to implement lightweight dependent types such as number-parameterized types (e.g. an array type parameterized by the array's size or a modular group type Zn parameterized by the modulus). . ${haskell:Blurb} debian/changelog0000644000000000000000000000317212151073512011040 0ustar haskell-type-level (0.2.4-7build1) saucy; urgency=low * Rebuild for new GHC ABIs. -- Colin Watson Tue, 28 May 2013 10:22:18 +0100 haskell-type-level (0.2.4-7) unstable; urgency=low * Enable compat level 9 * Use substvars for Haskell description blurbs -- Joachim Breitner Fri, 24 May 2013 12:52:19 +0200 haskell-type-level (0.2.4-6) 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:02:18 +0200 haskell-type-level (0.2.4-5) unstable; urgency=low * Remove doc-base file, avoids squeeze → wheezy upgrade problems -- Joachim Breitner Sat, 19 May 2012 22:53:51 +0200 haskell-type-level (0.2.4-4) unstable; urgency=low * Sourceful upload to rebuild documentation package -- Iain Lane Thu, 23 Feb 2012 11:17:27 +0000 haskell-type-level (0.2.4-3) unstable; urgency=low * Build-Depend on ghc-ghci, to only attempt builds on architectures where template haskell is available. -- Joachim Breitner Tue, 05 Apr 2011 20:27:32 +0530 haskell-type-level (0.2.4-2) unstable; urgency=low [ Marco Silva ] * Use ghc instead of ghc6 [ Joachim Breitner ] * Bump standards version, no change -- Joachim Breitner Sun, 03 Apr 2011 10:09:37 +0530 haskell-type-level (0.2.4-1) unstable; urgency=low * Initial debian package. Closes: #574102. -- Erik de Castro Lopo Tue, 30 Mar 2010 20:26:13 +1100