[Pkg-haskell-commits] darcs: haskell-type-level: Initial commit.
Erik de Castro Lopo
erikd at mega-nerd.com
Tue Mar 30 09:50:14 UTC 2010
Tue Mar 30 09:45:24 UTC 2010 Erik de Castro Lopo <erikd at mega-nerd.com>
* Initial commit.
Ignore-this: 6152579c48ce34cb7397104e7c2b2ed6
A ./changelog
A ./compat
A ./control
A ./copyright
A ./libghc6-type-level-doc.doc-base
A ./rules
A ./source/
A ./source/format
A ./watch
Tue Mar 30 09:45:24 UTC 2010 Erik de Castro Lopo <erikd at mega-nerd.com>
* Initial commit.
Ignore-this: 6152579c48ce34cb7397104e7c2b2ed6
diff -rN -u old-haskell-type-level/changelog new-haskell-type-level/changelog
--- old-haskell-type-level/changelog 1970-01-01 00:00:00.000000000 +0000
+++ new-haskell-type-level/changelog 2010-03-30 09:50:13.981828944 +0000
@@ -0,0 +1,5 @@
+haskell-type-level (0.2.4-1) unstable; urgency=low
+
+ * Initial debian package. Closes: #574102.
+
+ -- Erik de Castro Lopo <erikd at mega-nerd.com> Tue, 30 Mar 2010 20:26:13 +1100
diff -rN -u old-haskell-type-level/compat new-haskell-type-level/compat
--- old-haskell-type-level/compat 1970-01-01 00:00:00.000000000 +0000
+++ new-haskell-type-level/compat 2010-03-30 09:50:13.981828944 +0000
@@ -0,0 +1 @@
+7
diff -rN -u old-haskell-type-level/control new-haskell-type-level/control
--- old-haskell-type-level/control 1970-01-01 00:00:00.000000000 +0000
+++ new-haskell-type-level/control 2010-03-30 09:50:13.981828944 +0000
@@ -0,0 +1,82 @@
+Source: haskell-type-level
+Section: haskell
+Priority: extra
+Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
+Uploaders: Erik de Castro Lopo <erikd at mega-nerd.com>
+Build-Depends: debhelper (>= 7)
+ , cdbs
+ , haskell-devscripts (>= 0.7)
+ , ghc6
+ , ghc6-prof
+Build-Depends-Indep: ghc6-doc
+Standards-Version: 3.8.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: libghc6-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
+ 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).
+ .
+ This package contains the libraries compiled for GHC 6.
+
+Package: libghc6-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
+ 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).
+ .
+ This package contains the profiling libraries compiled for GHC 6.
+
+Package: libghc6-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
+ 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).
+ .
+ This package contains the library documentation.
diff -rN -u old-haskell-type-level/copyright new-haskell-type-level/copyright
--- old-haskell-type-level/copyright 1970-01-01 00:00:00.000000000 +0000
+++ new-haskell-type-level/copyright 2010-03-30 09:50:13.981828944 +0000
@@ -0,0 +1,36 @@
+Format-Specification: http://svn.debian.org/wsvn/dep/web/deps/dep5.mdwn?op=file&rev=135
+Name: type-level
+Maintainer: Alfonso Acosta <alfonso.acosta at gmail.com>
+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.
diff -rN -u old-haskell-type-level/libghc6-type-level-doc.doc-base new-haskell-type-level/libghc6-type-level-doc.doc-base
--- old-haskell-type-level/libghc6-type-level-doc.doc-base 1970-01-01 00:00:00.000000000 +0000
+++ new-haskell-type-level/libghc6-type-level-doc.doc-base 2010-03-30 09:50:13.981828944 +0000
@@ -0,0 +1,20 @@
+Document: libghc6-type-level-doc
+Title: Manual for the Haskell type level programming library
+Abstract: 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).
+Section: Programming
+
+Format: HTML
+Index: /usr/share/doc/libghc6-type-level-doc/html/doc-index.html
+Files: /usr/share/doc/libghc6-type-level-doc/html/*.html
+ /usr/share/doc/libghc6-type-level-doc/html/src/*.html
diff -rN -u old-haskell-type-level/rules new-haskell-type-level/rules
--- old-haskell-type-level/rules 1970-01-01 00:00:00.000000000 +0000
+++ new-haskell-type-level/rules 2010-03-30 09:50:13.981828944 +0000
@@ -0,0 +1,6 @@
+#!/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
diff -rN -u old-haskell-type-level/source/format new-haskell-type-level/source/format
--- old-haskell-type-level/source/format 1970-01-01 00:00:00.000000000 +0000
+++ new-haskell-type-level/source/format 2010-03-30 09:50:13.977828731 +0000
@@ -0,0 +1 @@
+3.0 (quilt)
diff -rN -u old-haskell-type-level/watch new-haskell-type-level/watch
--- old-haskell-type-level/watch 1970-01-01 00:00:00.000000000 +0000
+++ new-haskell-type-level/watch 2010-03-30 09:50:13.977828731 +0000
@@ -0,0 +1,5 @@
+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)/
More information about the Pkg-haskell-commits
mailing list