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

Bug#1091841: marked as done (ITP: ocaml-monolith -- framework for strong random testing of OCaml libraries)

Your message dated Wed, 01 Jan 2025 19:00:13 +0000
with message-id <E1tT3wz-00CJlQ-Oh@fasolo.debian.org>
and subject line Bug#1091841: fixed in ocaml-monolith 0~20241126-1
has caused the Debian Bug report #1091841,
regarding ITP: ocaml-monolith -- framework for strong random testing of OCaml libraries
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.)


-- 
1091841: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1091841
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu <glondu@debian.org>
X-Debbugs-Cc: debian-devel@lists.debian.org, debian-ocaml-maint@lists.debian.org

* Package name    : ocaml-monolith
  Version         : 20241126
  Upstream Contact: François Pottier
* URL             : https://gitlab.inria.fr/fpottier/monolith/
* License         : LGPL-3+
  Programming Lang: OCaml
  Description     : framework for strong random testing of OCaml libraries

 Monolith offers facilities for **testing an OCaml library** (for
 instance, a data structure implementation) by **comparing it against
 a reference implementation**. It can be used to perform either random
 testing or fuzz testing.

This package is a test dependency of optint.

--- End Message ---
--- Begin Message --- 
Source: ocaml-monolith
Source-Version: 0~20241126-1
Done: Stéphane Glondu <glondu@debian.org>

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

Debian distribution maintenance software
pp.
Stéphane Glondu <glondu@debian.org> (supplier of updated ocaml-monolith 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: Wed, 01 Jan 2025 11:58:24 +0100
Source: ocaml-monolith
Binary: libmonolith-ocaml libmonolith-ocaml-dbgsym libmonolith-ocaml-dev
Architecture: source amd64
Version: 0~20241126-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description:
 libmonolith-ocaml - framework for strong random testing of OCaml libraries (runtime)
 libmonolith-ocaml-dev - framework for strong random testing of OCaml libraries (dev files
Closes: 1091841
Changes:
 ocaml-monolith (0~20241126-1) unstable; urgency=medium
 .
   * Initial release (Closes: #1091841)
Checksums-Sha1:
 820616dadd8ff27512747a829012b34c9968baf4 1876 ocaml-monolith_0~20241126-1.dsc
 3c1a6b562c22cfb389e48b6361da2746d0540a0e 119157 ocaml-monolith_0~20241126.orig.tar.gz
 b1ae1e7727119314b2c3253326bf811744498062 1736 ocaml-monolith_0~20241126-1.debian.tar.xz
 6022c1d9cb40931c2a395273ed482ea7bc8b2504 26096 libmonolith-ocaml-dbgsym_0~20241126-1_amd64.deb
 0ba6f9257fcaa04c05d822ab41a05f9d9d0ee472 758284 libmonolith-ocaml-dev_0~20241126-1_amd64.deb
 5d4aab6063c584ea41ad4fe1a5566d4b151d2f13 238612 libmonolith-ocaml_0~20241126-1_amd64.deb
 9164ad0479b3a39112698fbd51e947888903199f 6725 ocaml-monolith_0~20241126-1_amd64.buildinfo
Checksums-Sha256:
 75a9e289170425950a6768b7d64c45e6e9d0d898212d8e17beed6515ed917717 1876 ocaml-monolith_0~20241126-1.dsc
 e6933e6cbc76892c76fc167e30293794d82e272e6d4aaf7ed7e80b509f54bbd5 119157 ocaml-monolith_0~20241126.orig.tar.gz
 50647b4cef29820b81c9d3965884c5f3bbb30ab2f9de02fb8e630cc8aea6bb2a 1736 ocaml-monolith_0~20241126-1.debian.tar.xz
 95bd742141098904934d1efd1f2cbfe0d33e740d7c92775c741430853df74d6f 26096 libmonolith-ocaml-dbgsym_0~20241126-1_amd64.deb
 c262eb956b072bd646b5c6e5a5dd5c637df038487b88c60ec81dce2c735d2839 758284 libmonolith-ocaml-dev_0~20241126-1_amd64.deb
 3846ee520879c461883c23d7b39534e253dcf731f6158b7e71c74f5a9d1b3b4e 238612 libmonolith-ocaml_0~20241126-1_amd64.deb
 74080701372d6102bb7347b48dd88497f881deacce7849c3a22870c16f6db986 6725 ocaml-monolith_0~20241126-1_amd64.buildinfo
Files:
 dc83c8a2c64778f189d07745d0308147 1876 ocaml optional ocaml-monolith_0~20241126-1.dsc
 cbf25dad0979397788cddd5330abad79 119157 ocaml optional ocaml-monolith_0~20241126.orig.tar.gz
 863de0f1e6da7a057e703d4966f83475 1736 ocaml optional ocaml-monolith_0~20241126-1.debian.tar.xz
 be408f303a0b8925a139fedc028d9126 26096 debug optional libmonolith-ocaml-dbgsym_0~20241126-1_amd64.deb
 5bb6b49cf573a92953577706fc0fe89a 758284 ocaml optional libmonolith-ocaml-dev_0~20241126-1_amd64.deb
 491ac11daec1fd42a3b8e6f2dc6ad489 238612 ocaml optional libmonolith-ocaml_0~20241126-1_amd64.deb
 d6dea4be088a1106734e5643ecc91e08 6725 ocaml optional ocaml-monolith_0~20241126-1_amd64.buildinfo

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmd1IEcSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBsvIH/RlX0Z/PbX7rt7koq7eWwyE3+y09Wqn/
zT+C6A3zwdca4NtmAsb1meekJu//R9+4KwOFHgDWkOS5w+VXijlPlbvkEETNLJp2
SZw+y/EIJCCkC6QCN8e/em5Lgl22dZMWBIXNsUgTCdWVr8Z2jbq/7G6zi4b8ggR1
17oxbiezBChu4GaJakN8lHIBQcQX6UkJGgGnPfmKRgsShaWWfCTEXxPNiaWfoXLs
uD9z7CHqgTFx8Ha/CaD1MEKDyiIP2hhTEtmFvnPyArAICde4DE7nCR9jyXtjrXTT
5PAFm34fcOAuOKVSWalZMCFLpqJnFUXmFH4JpZZHDprGiRgXRvua6Vg=
=CcfB
-----END PGP SIGNATURE-----

Attachment: pgpWBEIlCUdjk.pgp
Description: PGP signature


--- End Message ---
Reply to: