Bug#689388: marked as done (ITP: erlang-proper -- QuickCheck-inspired property-based testing tool for Erlang)
Your message dated Sun, 07 Oct 2012 13:00:06 +0000
with message-id <E1TKqSk-0007HL-8I@franck.debian.org>
and subject line Bug#689388: fixed in erlang-proper 1.0+20120524+dfsg-1
has caused the Debian Bug report #689388,
regarding ITP: erlang-proper -- QuickCheck-inspired property-based testing tool for Erlang
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.)
--
689388: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=689388
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Nobuhiro Iwamatsu <iwamatsu@debian.org>
* Package name : erlang-proper
Version : 1.0
Upstream Author : Manolis Papadakis <manopapad@gmail.com>
Eirini Arvaniti <eirinibob@gmail.com>
Kostis Sagonas <kostis@cs.ntua.gr>
* URL : https://github.com/manopapad/proper.git
* License : GPLv3+
Programming Lang: erlang
Description : QuickCheck-inspired property-based testing tool for Erlang
PropEr (PROPerty-based testing tool for ERlang) is a QuickCheck-inspired
open-source property-based testing tool for Erlang.
--- End Message ---
--- Begin Message ---
Source: erlang-proper
Source-Version: 1.0+20120524+dfsg-1
We believe that the bug you reported is fixed in the latest version of
erlang-proper, 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 689388@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Nobuhiro Iwamatsu <iwamatsu@debian.org> (supplier of updated erlang-proper 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: SHA256
Format: 1.8
Date: Thu, 02 Aug 2012 12:38:43 +0900
Source: erlang-proper
Binary: erlang-proper erlang-proper-dev
Architecture: source amd64
Version: 1.0+20120524+dfsg-1
Distribution: unstable
Urgency: low
Maintainer: LeoFS maintainers team <pkg-leofs-devel@lists.alioth.debian.org>
Changed-By: Nobuhiro Iwamatsu <iwamatsu@debian.org>
Description:
erlang-proper - QuickCheck-inspired property-based testing tool for Erlang
erlang-proper-dev - QuickCheck-inspired property-based testing tool for Erlang
Closes: 689388
Changes:
erlang-proper (1.0+20120524+dfsg-1) unstable; urgency=low
.
* Initial release. (Closes: #689388)
Checksums-Sha1:
a761f18901de5910e6008b53e951d27d0bb0a882 2074 erlang-proper_1.0+20120524+dfsg-1.dsc
a0ebb32a452e14e027e8f79ebbf92f027b92e214 149585 erlang-proper_1.0+20120524+dfsg.orig.tar.gz
abc2f5e76b2cfbacf5a46b022909c2b83ab54570 2609 erlang-proper_1.0+20120524+dfsg-1.debian.tar.gz
837a35814d1fdd00aa827b0a7e1b988bd1d52480 290186 erlang-proper_1.0+20120524+dfsg-1_amd64.deb
731a8c37cb24f748f9a69a31ebe0b329f7e7045e 4626 erlang-proper-dev_1.0+20120524+dfsg-1_amd64.deb
Checksums-Sha256:
f48a9af9dd560cdd751134a7e5065bc0c0b6354dc84ab66071e2bb650f9c39d8 2074 erlang-proper_1.0+20120524+dfsg-1.dsc
3921a1ae219823bdcc058c083c05c52722dd13f5c96d6bd24a4da4aa29f45116 149585 erlang-proper_1.0+20120524+dfsg.orig.tar.gz
489aa96216198e70e4a059fd10bc414121cc7e6210a00bcc3067d52f4e92d584 2609 erlang-proper_1.0+20120524+dfsg-1.debian.tar.gz
3acb8084f843483569bc1cbbe0a44d6eaab0333ad37e2c2edae57b12adbf2c68 290186 erlang-proper_1.0+20120524+dfsg-1_amd64.deb
f305d83014c360ab6f82d92116c050fc7e1ccf7a3a3f7788437d2955cb31d079 4626 erlang-proper-dev_1.0+20120524+dfsg-1_amd64.deb
Files:
3b2b8fe80e6e0e36229b4eeb69097a73 2074 devel optional erlang-proper_1.0+20120524+dfsg-1.dsc
c0b5d703e3555c7fa3b5219a7452925a 149585 devel optional erlang-proper_1.0+20120524+dfsg.orig.tar.gz
80a3cafc2cb9b921e6886ee5a0260bda 2609 devel optional erlang-proper_1.0+20120524+dfsg-1.debian.tar.gz
99f53c23eb9e6b82bc9d4a7614b0f3b8 290186 devel optional erlang-proper_1.0+20120524+dfsg-1_amd64.deb
c8a25c816760ac717e015e8ce67504cf 4626 devel optional erlang-proper-dev_1.0+20120524+dfsg-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCAAGBQJQbLyrAAoJEDIkf7tArR+mF7kP/153KHuXtQKY84sA6JeyCKdI
gPbdZweP0NL5JFAiKnVgvXUZ68SAWohg1FHtnlL7pfaFjluONUhFmY1QSpX1uV/N
yhlor3fFaGeaC1sIBfhayhQ7cwiaM/KTds0o33krip84sKrh0wtFHpzpGwMVR4b2
BlabDu9KIYr+y/Oy7oW78tcbRF8kh5jE+h4kekCCkQXfSZ5ntAV7kZmJRoINhvRH
PWNb32sIyZ31Dk3zWX9IMUdoGYB10JkHMEmItpIrakM8qT3XCorfesutVcLd1jTj
bZYC1Vam8FWUahVU9fsyjAE75znRDSNO8UT1RR/z9bJBarZpXSTi5xuHzyYlp/xY
rl/TKMEzp3e7vv21/ebercYYCI0zNRLPcppuJYCGIHFEK16GT7amZxaS9cnl+I7s
G9OdfZSVK+QeaRubzDPU+Ay+//xsrkJoN2HvX+EFrI7nlx8VwSXfLhSTqWuHy6AF
d/Ga1hXM/Jk4GJs3A5migh7Js0s5FT6r0yKKaXqdMxO1kPUysXfSA7+3OdX0Ysy2
/4f19va0Exd6adAOWM+h+TZ1MSlrTiuMUGkR6+d25SxaX6B78g+PdobIVKbV8Xr7
08CzkuLwJ70bCujW5Yzw2+oZJ/ygwWcL7SB6SGOFzkRjuWNjkDalqtKlQVjNkTR/
b8iXVJVeB+SX2AEqrFPj
=NgwY
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: