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

Bug#903371: marked as done (ITP: ocaml-qcheck -- QuickCheck inspired property-based testing for OCaml)

Your message dated Tue, 04 Sep 2018 13:00:13 +0000
with message-id <E1fxAwH-00008M-UT@fasolo.debian.org>
and subject line Bug#903371: fixed in ocaml-qcheck 0.8-1
has caused the Debian Bug report #903371,
regarding ITP: ocaml-qcheck -- QuickCheck inspired property-based testing for OCaml
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.)


-- 
903371: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=903371
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: Andy Li <andy@onthewings.net>

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

* Package name    : ocaml-qcheck
  Version         : 0.8
  Upstream Author : Simon Cruanes <simon.cruanes.2007@m4x.org>
                    Rudi Grinberg <rudi.grinberg@gmail.com>
                    Jacques-Pascal Deplaix <jp.deplaix@gmail.com>
                    Jan Midtgaard <mail@janmidtgaard.dk>
* URL             : https://github.com/c-cube/qcheck
* License         : BSD
  Programming Lang: OCaml
  Description     : QuickCheck inspired property-based testing for OCaml

This module allows to check invariants (properties of some types) over randomly
generated instances of the type. It provides combinators for generating
instances and printing them.

This is one of the dependencies of the next version of Haxe (4.0.0).




-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQEcBAEBCAAGBQJbQtJ5AAoJENYPsCrEEWxpQp4H/RzEQbLn54kzqCmwbpZLWcI1
U/ygzXbw8BXKtmisOm209gEnCVi265cuidbxRt9WPT8bxlNJb270/KUU0r4W0+Xd
sa90yYBVwRM/esWcrklTSkQBUCp0oVGMv5vVkEuw95i3OKJtS+ENuAox6Mj49l7X
EcdiQZ2vkrXBfq2NHVLT4wwLmnXhcau2xFJyAfMiL/Jqw3jhemu9oYJwc+pnrE83
LryrYt5s1c75hYySH2ZJiPrUmSotpeu2/1Ol3Tq0LElTEnMUwMMYe+09jTdqe82t
Rm1llmd0bWm6XElApArThzWnXsFcSBcTcy4cjLuIsqBcx7H79C4z8gsn1QgF2T0=
=n5Qp
-----END PGP SIGNATURE-----

--- End Message ---
--- Begin Message --- 
Source: ocaml-qcheck
Source-Version: 0.8-1

We believe that the bug you reported is fixed in the latest version of
ocaml-qcheck, 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 903371@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Andy Li <andy@onthewings.net> (supplier of updated ocaml-qcheck 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: SHA256

Format: 1.8
Date: Wed, 15 Aug 2018 10:14:09 +0800
Source: ocaml-qcheck
Binary: libqcheck-ocaml libqcheck-ocaml-dev libqcheck-ocaml-doc
Architecture: source amd64 all
Version: 0.8-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Andy Li <andy@onthewings.net>
Description:
 libqcheck-ocaml - QuickCheck inspired property-based testing for OCaml (Runtime lib
 libqcheck-ocaml-dev - QuickCheck inspired property-based testing for OCaml (Development
 libqcheck-ocaml-doc - Documentation for ocaml-qcheck
Closes: 903371
Changes:
 ocaml-qcheck (0.8-1) unstable; urgency=medium
 .
   * Initial release. (Closes: #903371)
Checksums-Sha1:
 4ec41751fffe144775cd45697c96c506290c0ec0 2225 ocaml-qcheck_0.8-1.dsc
 fd26b872df3e415379419a16ed775800a72c9108 245224 ocaml-qcheck_0.8.orig.tar.gz
 8c181c8485dd59940cda65995645ecceee2f6640 2928 ocaml-qcheck_0.8-1.debian.tar.xz
 6bf459aa0201d4d146902c4fa400e0340919c64e 22720 libqcheck-ocaml-dbgsym_0.8-1_amd64.deb
 ffa80424352e1555048e81dd82b6ce930d97dd76 465104 libqcheck-ocaml-dev_0.8-1_amd64.deb
 08a86ff2e2e12b7cb2c4a76a8857442f10cacaee 31968 libqcheck-ocaml-doc_0.8-1_all.deb
 6b8bbed1f27c94fd941fbfe856308f0c6d68550d 211916 libqcheck-ocaml_0.8-1_amd64.deb
 c74c764d7fdb80c2a68b7af12f1a988ca9423397 7482 ocaml-qcheck_0.8-1_amd64.buildinfo
Checksums-Sha256:
 2bee0f641b906beaa3736fd10067702de9897864cc9aa64999221ae86f7367f5 2225 ocaml-qcheck_0.8-1.dsc
 b1f9c4e1d9dcf4f9b0c7f82cef24c739e3dbcbb53337198930e037245436effd 245224 ocaml-qcheck_0.8.orig.tar.gz
 8f4fbdab68d24020a70e5b2c22a9604106a09ff3fd5cf1a57da427ba3bd4e5d6 2928 ocaml-qcheck_0.8-1.debian.tar.xz
 7dd2da40c60875000cbbfc7afdcdb638ed7e18725f787d1f673c133a1e9e203a 22720 libqcheck-ocaml-dbgsym_0.8-1_amd64.deb
 d0b0cabd0476204870b07cae09f316d8ac26064decba8cc7a9af9146d9739e1f 465104 libqcheck-ocaml-dev_0.8-1_amd64.deb
 3ead09e3793105c88df76cb1be2816c88e3820ce05dd7b8373986e290da4dea5 31968 libqcheck-ocaml-doc_0.8-1_all.deb
 16225dbad128d567b5592faf998a3c3a97b51fdc6d45e65ebf9755b1a1bc99f8 211916 libqcheck-ocaml_0.8-1_amd64.deb
 ac71249fc3a2745e83e95f8a1fe35ce9eb552c6126a1146c793a5839ddc5e2d6 7482 ocaml-qcheck_0.8-1_amd64.buildinfo
Files:
 9fa4a8625b4579f4d95e13f44bdd92b8 2225 ocaml optional ocaml-qcheck_0.8-1.dsc
 061005847a32c4b4252d449e26f6c8f9 245224 ocaml optional ocaml-qcheck_0.8.orig.tar.gz
 a7c4446c151524220bbde7fd7dc3e901 2928 ocaml optional ocaml-qcheck_0.8-1.debian.tar.xz
 50bee836ff5a9651b89ca642aa46e813 22720 debug optional libqcheck-ocaml-dbgsym_0.8-1_amd64.deb
 e34375e86bea521d8b2c989484249517 465104 ocaml optional libqcheck-ocaml-dev_0.8-1_amd64.deb
 e57eab942e4f942ba63da0c754d40339 31968 doc optional libqcheck-ocaml-doc_0.8-1_all.deb
 4323f0a902e8792eab0fe1d05d256b45 211916 ocaml optional libqcheck-ocaml_0.8-1_amd64.deb
 ef9020ea62f001d32ddf59a8a13f39bf 7482 ocaml optional ocaml-qcheck_0.8-1_amd64.buildinfo

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAltzwq4ACgkQdFxHZtTK
zf9QRBAAkJuXT8PUWli8BohGObWcnMF5JFCzNKqQc+nV9Q3VPsrJPtEIMPMd60w6
gDhY0egcFVXFvBhpecnvWZLkspz62Co0pKsdhjqXTTDSXQ+RdBOgAwW970/FsJOq
aOZpoEyzOvk9JW+/vm7HSSKsEmo2Mx7hJZjp0gRY6KE7bTMuuRkQqkizYYmZTuM8
XJb1W/j+HEo6wEK98pAFKQaLWg6jFwbsTYDoxhuqfH1TAjPT2AZhK+ndBAC3wxEt
+Vz+5K+wG1CMdJHiIbC68QtNM5k8LgeT+s13uxtRE6p32qc0StCG00IiLVEBC5a7
evjTphkZkpyv7H6CXEE8P3Kzd6V24ytpLcBwnc4yKOUGx5nQDmW43ryl6MjGISTw
w6qKXUPk7c9Sct+ghBqdWAs3BtGMBfYMmmakFVlirfpZsN5+wHfA5RGUo+yOYpj3
XicdEVcwRlfehF46A+OT6HTiI7C2SpRBEEW45TDacUfv4iE2/S1H/X+Ere9BW6ay
yB38OQfeRLrQ5T77Cvisre+WX0kiAWnVsPDAhcKteDxrrWweiJKoED/yfLxEbLum
JtVdQw48zqOvMDs3eyeASA7lyF1pBzvnHLRFC+oOesgrXPoIMPHAFL0R76p1vltG
Y66ZaMTe5nisHAA6D5yN3xaF41ams4lDPCreVWZoBuKzcb8vclk=
=G803
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: