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

Bug#534883: marked as done (ITP: haskell-lazysmallcheck -- A library for demand-driven testing of Haskell programs)

Your message dated Sat, 15 Aug 2009 14:04:13 +0000
with message-id <E1McJrh-0003Cn-2P@ries.debian.org>
and subject line Bug#534883: fixed in haskell-lazysmallcheck 0.3-1
has caused the Debian Bug report #534883,
regarding ITP: haskell-lazysmallcheck -- A library for demand-driven testing of Haskell programs
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.)


-- 
534883: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=534883
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: Kari Pahula <kaol@debian.org>

* Package name    : haskell-lazysmallcheck
  Version         : 0.3
  Upstream Author : Matthew Naylor <mfn@cs.york.ac.uk>
* URL             : http://www.cs.york.ac.uk/fp/smallcheck/
* License         : BSD
  Programming Lang: Haskell
  Description     : A library for demand-driven testing of Haskell programs

 Lazy SmallCheck is a library for exhaustive, demand-driven testing of
 Haskell programs. It is based on the idea that if a property holds
 for a partially-defined input then it must also hold for all
 fully-defined refinements of the that input. Compared to `eager'
 input generation as in SmallCheck, Lazy SmallCheck may require
 significantly fewer test-cases to verify a property for all inputs up
 to a given depth.

I'm packaging this since other Haskell packages depend on this one.

--- End Message ---
--- Begin Message --- 
Source: haskell-lazysmallcheck
Source-Version: 0.3-1

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

haskell-lazysmallcheck_0.3-1.diff.gz
  to pool/main/h/haskell-lazysmallcheck/haskell-lazysmallcheck_0.3-1.diff.gz
haskell-lazysmallcheck_0.3-1.dsc
  to pool/main/h/haskell-lazysmallcheck/haskell-lazysmallcheck_0.3-1.dsc
haskell-lazysmallcheck_0.3.orig.tar.gz
  to pool/main/h/haskell-lazysmallcheck/haskell-lazysmallcheck_0.3.orig.tar.gz
libghc6-lazysmallcheck-dev_0.3-1_i386.deb
  to pool/main/h/haskell-lazysmallcheck/libghc6-lazysmallcheck-dev_0.3-1_i386.deb
libghc6-lazysmallcheck-prof_0.3-1_i386.deb
  to pool/main/h/haskell-lazysmallcheck/libghc6-lazysmallcheck-prof_0.3-1_i386.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 534883@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Kari Pahula <kaol@debian.org> (supplier of updated haskell-lazysmallcheck 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@debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Fri, 24 Jul 2009 10:41:17 +0300
Source: haskell-lazysmallcheck
Binary: libghc6-lazysmallcheck-dev libghc6-lazysmallcheck-prof
Architecture: source i386
Version: 0.3-1
Distribution: unstable
Urgency: low
Maintainer: Kari Pahula <kaol@debian.org>
Changed-By: Kari Pahula <kaol@debian.org>
Description: 
 libghc6-lazysmallcheck-dev - A library for demand-driven testing of Haskell programs
 libghc6-lazysmallcheck-prof - A library for demand-driven testing of Haskell programs; profilin
Closes: 534883
Changes: 
 haskell-lazysmallcheck (0.3-1) unstable; urgency=low
 .
   * Initial release (Closes: #534883)
   * Omitted -doc package as it would have been almost empty.
Checksums-Sha1: 
 cd562e33fdbae856b70657b57a9845f36cc2e96a 1208 haskell-lazysmallcheck_0.3-1.dsc
 46fa62eca8d1259b9eb9b328d13b222889bd2803 16834 haskell-lazysmallcheck_0.3.orig.tar.gz
 38b1a8b8beff6c05f0a17bbe821062478eb4e9db 1875 haskell-lazysmallcheck_0.3-1.diff.gz
 f68ee80b572c396f18121fca7d782f4950ed7f09 83732 libghc6-lazysmallcheck-dev_0.3-1_i386.deb
 6a16fefd1cd990fdadd9a375d9e179aff366274e 72714 libghc6-lazysmallcheck-prof_0.3-1_i386.deb
Checksums-Sha256: 
 e7645f658d6b03c7ea7215922f6d32424b0932834e9496a3b7b0e395f4c7c42f 1208 haskell-lazysmallcheck_0.3-1.dsc
 f311abfe36e54a8d366db356da3daad52b607c24511ffc494fe1115eeb033cfa 16834 haskell-lazysmallcheck_0.3.orig.tar.gz
 c09475bf1bae5db3b2395f1def1085d18764ef32597d16adca2bfcedb9f76413 1875 haskell-lazysmallcheck_0.3-1.diff.gz
 172ef8b874792cffb587bcadbf1ff4a5c1b4c9eb11f3efe2b88acd21954b91df 83732 libghc6-lazysmallcheck-dev_0.3-1_i386.deb
 47075646c6b117f3595f66c1aeeea04479daf20a35cae8d9d2d095a0e79be7f1 72714 libghc6-lazysmallcheck-prof_0.3-1_i386.deb
Files: 
 ddef8acb05a267a6455ec21d6081d770 1208 haskell optional haskell-lazysmallcheck_0.3-1.dsc
 75f2495a391571013c1d10bad226e6ff 16834 haskell optional haskell-lazysmallcheck_0.3.orig.tar.gz
 1d1c1631ecb9869819db366df2a06a04 1875 haskell optional haskell-lazysmallcheck_0.3-1.diff.gz
 47fb6a4caeea899eafabc3b892eadf08 83732 haskell optional libghc6-lazysmallcheck-dev_0.3-1_i386.deb
 c203e81c47fd72ee1222ffe1f8ec144b 72714 haskell optional libghc6-lazysmallcheck-prof_0.3-1_i386.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)

iEYEARECAAYFAkppZ5YACgkQeYl9593Atw39GQCfRLfwciL6cy4ySUj6jAjiYvXn
zR4AoKk+VVC/5pjP1v/61HeNF7mQ+Kuw
=UH7C
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: