Your message dated Sun, 11 Apr 2010 13:32:11 +0000
with message-id <e1o0xgl-0000qk...@ries.debian.org>
and subject line Bug#574102: fixed in haskell-type-level 0.2.4-1
has caused the Debian Bug report #574102,
regarding ITP: haskell-type-level -- A Haskell library for type-level
programming
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)
--
574102: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=574102
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Erik de Castro Lopo <er...@mega-nerd.com>
* Package name : haskell-type-level
Version : 0.2.4
Upstream Author : Alfonso Acosta, Oleg Kiselyov, Wolfgang Jeltsch et al
* URL :
http://hackage.haskell.org/cgi-bin/hackage-scripts/package/type-level
* License : BSD
Programming Lang: Haskell
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).
--- End Message ---
--- Begin Message ---
Source: haskell-type-level
Source-Version: 0.2.4-1
We believe that the bug you reported is fixed in the latest version of
haskell-type-level, which is due to be installed in the Debian FTP archive:
haskell-type-level_0.2.4-1.debian.tar.gz
to main/h/haskell-type-level/haskell-type-level_0.2.4-1.debian.tar.gz
haskell-type-level_0.2.4-1.dsc
to main/h/haskell-type-level/haskell-type-level_0.2.4-1.dsc
haskell-type-level_0.2.4.orig.tar.gz
to main/h/haskell-type-level/haskell-type-level_0.2.4.orig.tar.gz
libghc6-type-level-dev_0.2.4-1_amd64.deb
to main/h/haskell-type-level/libghc6-type-level-dev_0.2.4-1_amd64.deb
libghc6-type-level-doc_0.2.4-1_all.deb
to main/h/haskell-type-level/libghc6-type-level-doc_0.2.4-1_all.deb
libghc6-type-level-prof_0.2.4-1_amd64.deb
to main/h/haskell-type-level/libghc6-type-level-prof_0.2.4-1_amd64.deb
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 574...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Erik de Castro Lopo <er...@mega-nerd.com> (supplier of updated
haskell-type-level package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Tue, 30 Mar 2010 20:26:13 +1100
Source: haskell-type-level
Binary: libghc6-type-level-dev libghc6-type-level-prof libghc6-type-level-doc
Architecture: source all amd64
Version: 0.2.4-1
Distribution: unstable
Urgency: low
Maintainer: Debian Haskell Group
<pkg-haskell-maintain...@lists.alioth.debian.org>
Changed-By: Erik de Castro Lopo <er...@mega-nerd.com>
Description:
libghc6-type-level-dev - A Haskell library for type-level programming
libghc6-type-level-doc - Documentation for type-level programming in Haskell
libghc6-type-level-prof - Profiling libraries for type-level programming in
Haskell
Closes: 574102
Changes:
haskell-type-level (0.2.4-1) unstable; urgency=low
.
* Initial debian package. Closes: #574102.
Checksums-Sha1:
0410d10fd7323db952a05b13024a55c1e71a5c57 1491 haskell-type-level_0.2.4-1.dsc
3ec9cf2f9016852ce217f1d233d6462c7eba80da 14088
haskell-type-level_0.2.4.orig.tar.gz
76383c43944be9f4b8e35459d3cdd620f62472ba 3292
haskell-type-level_0.2.4-1.debian.tar.gz
fb17242b776516991100472371b11e9f0008d1e4 176066
libghc6-type-level-doc_0.2.4-1_all.deb
bcbe2f682997265ca06373befa4db79b19ffd39d 4580874
libghc6-type-level-dev_0.2.4-1_amd64.deb
15306a96be86ce7530e19706b8945069e28ff33e 3946138
libghc6-type-level-prof_0.2.4-1_amd64.deb
Checksums-Sha256:
eafdb5bcfb8e80bb231fc8e21de72dc56047769ff03f1264e80eba04065c5c2f 1491
haskell-type-level_0.2.4-1.dsc
3bbdca0507187b72675dc182bb05da68d7e080693fa1ffe9fb961f693c81f7b1 14088
haskell-type-level_0.2.4.orig.tar.gz
dd07b22090ee20d61d7d5d65804cd0a7fd73d7be144832f519c7cb1bf3c7ac4f 3292
haskell-type-level_0.2.4-1.debian.tar.gz
c99b69619da504f21455c0fa5fcbb4f4b469b4e54b0943388c71b918f8a9d7b7 176066
libghc6-type-level-doc_0.2.4-1_all.deb
00da083f90dc869b723747d39b5af046e30933e67798364d90673c3c3fa30a0e 4580874
libghc6-type-level-dev_0.2.4-1_amd64.deb
ad6f197dba7f5b0ec7dfbef2d02b8b143bfab4619cf6d8ed8c1a0b75c45a8b45 3946138
libghc6-type-level-prof_0.2.4-1_amd64.deb
Files:
326c6a591c4826140794845bf4a13318 1491 haskell extra
haskell-type-level_0.2.4-1.dsc
4aca3b4fd0a56377ffa79464cf491509 14088 haskell extra
haskell-type-level_0.2.4.orig.tar.gz
5d8c5ae015b1467b251bd5ef4f2366b2 3292 haskell extra
haskell-type-level_0.2.4-1.debian.tar.gz
7bd7f8a9416909d77862584222e9a28f 176066 doc extra
libghc6-type-level-doc_0.2.4-1_all.deb
b38128d49732f5ce7c7c905b6d3e7b2e 4580874 haskell extra
libghc6-type-level-dev_0.2.4-1_amd64.deb
9118b467fc8b4519b5b5ab4a127966b3 3946138 haskell extra
libghc6-type-level-prof_0.2.4-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAku68f8ACgkQ9ijrk0dDIGzAswCfcR8t0XvmIzSZLXlTVFZh20SG
wiUAniYbbFxB3sCIyBW87M+aw8Y4MF0T
=gnUH
-----END PGP SIGNATURE-----
--- End Message ---
