[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#836550: marked as done (ITP: haskell-type-level-numbers -- library representing integers using Haskell type families)

Your message dated Fri, 16 Sep 2016 22:01:24 +0000
with message-id <E1bl1CG-00055O-8O@franck.debian.org>
and subject line Bug#836550: fixed in haskell-type-level-numbers 0.1.1.1-1
has caused the Debian Bug report #836550,
regarding ITP: haskell-type-level-numbers -- library representing integers using Haskell type families
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 owner@bugs.debian.org
immediately.)


-- 
836550: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=836550
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: Sean Whitton <spwhitton@spwhitton.name>
Control: block 836547 by -1

* Package name    : haskell-type-level-numbers
  Version         : 0.1.1.1
  Upstream Author : Alexey Khudyakov <alexey.skladnoy@gmail.com>
* URL             : http://hackage.haskell.org/package/type-level-numbers
* License         : BSD-3-clause
  Programming Lang: Haskell
  Description     : library representing integers using Haskell type families

I'm packaging this as a dependency of haskell-finite-field, another ITP of mine.

I intend to maintain this as part of DHG.

-- 
Sean Whitton

Attachment: signature.asc
Description: PGP signature


--- End Message ---
--- Begin Message --- 
Source: haskell-type-level-numbers
Source-Version: 0.1.1.1-1

We believe that the bug you reported is fixed in the latest version of
haskell-type-level-numbers, which is due to be installed in the Debian FTP archive.

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 836550@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Sean Whitton <spwhitton@spwhitton.name> (supplier of updated haskell-type-level-numbers 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 ftpmaster@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Tue, 13 Sep 2016 18:38:10 -0700
Source: haskell-type-level-numbers
Binary: libghc-type-level-numbers-dev libghc-type-level-numbers-prof libghc-type-level-numbers-doc
Architecture: source amd64 all
Version: 0.1.1.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Sean Whitton <spwhitton@spwhitton.name>
Description:
 libghc-type-level-numbers-dev - ${haskell:ShortDescription}${haskell:ShortBlurb}
 libghc-type-level-numbers-doc - ${haskell:ShortDescription}${haskell:ShortBlurb}
 libghc-type-level-numbers-prof - ${haskell:ShortDescription}${haskell:ShortBlurb}
Closes: 836550
Changes:
 haskell-type-level-numbers (0.1.1.1-1) unstable; urgency=medium
 .
   * Initial release (Closes: #836550).
Checksums-Sha1:
 2ee5451ab83f48726cba36ad4133060e465d55ee 2541 haskell-type-level-numbers_0.1.1.1-1.dsc
 a6d89ab0f627ed010ed78bb0bbf93c4490450e55 9978 haskell-type-level-numbers_0.1.1.1.orig.tar.gz
 e391a2480255d833f101a106cdb3aeec1828695e 2144 haskell-type-level-numbers_0.1.1.1-1.debian.tar.xz
 c0100d88e772453945e22f66de27c548a9a54262 74802 libghc-type-level-numbers-dev_0.1.1.1-1_amd64.deb
 6f3a99727c6246715f5cee859878f64bd982e436 52294 libghc-type-level-numbers-doc_0.1.1.1-1_all.deb
 b303a3ea94998ac5b7c849e0bf1f1f56c551a655 65528 libghc-type-level-numbers-prof_0.1.1.1-1_amd64.deb
Checksums-Sha256:
 0274e815819230b88087088f1496c79153c32991d246d53d6270bef098644d4c 2541 haskell-type-level-numbers_0.1.1.1-1.dsc
 5b56ef5f6e0b6476b9aba46055c3919e67823cbc1b87ed8e6ed70113b1f2318a 9978 haskell-type-level-numbers_0.1.1.1.orig.tar.gz
 c1045ac12b068d9d511a324f14ad8acdb5f87e20ea65f8be82df9805d0ad1ffd 2144 haskell-type-level-numbers_0.1.1.1-1.debian.tar.xz
 9963aafcf799552d6e27e0145e1ced2d3944bfbcc6c2e4e67b088c115af23b17 74802 libghc-type-level-numbers-dev_0.1.1.1-1_amd64.deb
 fd66a5fc8cd8a9ac5f03f7d40f5f518349eb94e6f21dbf1c256e9412f088254c 52294 libghc-type-level-numbers-doc_0.1.1.1-1_all.deb
 e10a2ee672b568d3fe99ad43b38b77a744ce9e6e75b6faa1f3e553120ddfbd10 65528 libghc-type-level-numbers-prof_0.1.1.1-1_amd64.deb
Files:
 ba8d1faa91506e015bf251b3e6e7061d 2541 haskell extra haskell-type-level-numbers_0.1.1.1-1.dsc
 39e6dbfe99bb2037c2d8d871685b074a 9978 haskell extra haskell-type-level-numbers_0.1.1.1.orig.tar.gz
 bab45d894d377b858e1daeae57e811fe 2144 haskell extra haskell-type-level-numbers_0.1.1.1-1.debian.tar.xz
 8fc9c65de893d4645d1f54ff5d38058b 74802 haskell extra libghc-type-level-numbers-dev_0.1.1.1-1_amd64.deb
 a04aa2efc42a1cf49a617f9441d2d7dc 52294 doc extra libghc-type-level-numbers-doc_0.1.1.1-1_all.deb
 18894912567c975d123f853190abb3b9 65528 haskell extra libghc-type-level-numbers-prof_0.1.1.1-1_amd64.deb

-----BEGIN PGP SIGNATURE-----
Comment: Debian!

iQJ8BAEBCgBmBQJX3CqqXxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w
ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXQ3NTgxRUM4NzQwNTNFNkM4MDc3OTFCOUI1
NTkyMzMxRTE5OUQzOEE4AAoJEFWSMx4ZnTioES8P/2EjF5A8A7TtoUz82U8xApzA
N06X+mGtQiEuxpwc11bEVfWt+yKzjV4sRQR35Atk+eSrB5PwXXmSDqJaQlzBrOmb
B8Y1TUxy6lo+M+HbbNT+kt6EO1VZntzdRMxw5BpkAhvIYyuV+eQNQcijYqNPJ6Bf
XqfJRWYzWmJNO4XhD98TEDRXK0OeixUoPmg80l9dJK4aKPwIDEAvTDIRudtMNtqu
LA8mBns7GqXfN68YnK0OZcDA5fy3f2eFhe9GJzkJ/3avhHJZTJTlY6jtUS88uXfz
QTKDg3NTZnocO98rfgGO5qERi4HK34Z+0hXwe5yjY7u3rk03gMnf+GTjUe3M3uD9
DsdptiIxEAbD8E9Qrl9NnxLUsTY1U0Ydcf5NV6lL3TvvB2vwkMM1U1+P23UUpVGb
khD+2XD7Q4VgSOqVG8MHbY7LoG4yKNT1ahL9BEV7hRyWu268J34gxjI5YbrgoGFi
B4DrLGICrNhy1z90k7eTxMdnnzHdKiI503OHcfdnOkNj4t67xJ+PFTYA3Zktbu2Y
jR3pOTs37n/P/YI7i/mExRyyHytODX2Hn/q2y8UB/xs1xELHk9pMcpQiT6MVCtdk
2ZfdixxJ3PVVbbn6wNAv1m3zthFVH9jX0gRDO/5Ojx/tB3E/TkMkBgsIwHW0znQA
u/Wg02IqZgkYNmsXjgzv
=7EBw
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: