Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Thu, 15 Jun 2023 07:21:58 +0200
Source: coq-interval
Architecture: source
Version: 4.7.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-interval (4.7.0-1) unstable; urgency=medium
.
* New upstream release.
* Bump standards-version to 4.6.2.
Checksums-Sha1:
5ac708b2ef3481774f154de8ee10ef19f0c03dfe 2187 coq-interval_4.7.0-1.dsc
f9b22b532d901fc8dddeb6f62c673ca88bea9f5e 260975 coq-interval_4.7.0.orig.tar.bz2
d20949a0d98870d361db2e0dbdfecf418a03fb58 8828 coq-interval_4.7.0-1.debian.tar.xz
d7e1720f7f6f9024b20770b3e57ae29072a5ac50 7571 coq-interval_4.7.0-1_source.buildinfo
Checksums-Sha256:
011048061115873d8528317e2a8839e1aa9029bf82e78525ea22bd8b60d42f94 2187 coq-interval_4.7.0-1.dsc
bf9a6d6fadcac7706dee3bf012ad2393e9324f4501305e62bcd89e9c78820028 260975 coq-interval_4.7.0.orig.tar.bz2
3e1f52f94d6a8924c29e3244d90f1009f66f46557ec786ec4a3d67b745e26b7f 8828 coq-interval_4.7.0-1.debian.tar.xz
cb42d3107d56b1d2588049ade6142a935644aeead5d64e67f18c4bf5cf6b1034 7571 coq-interval_4.7.0-1_source.buildinfo
Files:
925e11d0eb441082576811534596d696 2187 ocaml optional coq-interval_4.7.0-1.dsc
281ec2a3721f822195eb172a0efd139f 260975 ocaml optional coq-interval_4.7.0.orig.tar.bz2
06bb513d13da16d85f58a384d951ac7d 8828 ocaml optional coq-interval_4.7.0-1.debian.tar.xz
a084cfff5f18f9938ca8d60a52c1f5dc 7571 ocaml optional coq-interval_4.7.0-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSKn/0SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRIKkP/3cm/rfTrkindb3ne8a3eQQG7wb2D+7C Ok/Iqc2DN7DUTs2laXU3gqidYHNKO2hPPG3AVylFIh/gVgES+nwVf1fFXPLFNq7I +0iRxX57m+ZOuD3uUvrkrUAZ7mk6+flv0SWzvpOyMp5IC9+TerSXMBjwCfTXRXyU uo+0GQ2yA+K9B4af2yewrR4dDAypuM0/jJRtCRSnX6R+/Fr0jHi888A+Pv/7+h90 7MppIvNMwWDs9nOP5Cv3OLyvmaIPV7+w0PG+CakdhVaUs5R+PG0vISCrDrhBrTWf tKcIK3pSz/nt8qJtCj8280c/++dRmkb/bz/HthI/QbTnvqKpZ49LbQD82KyNazvG JAXxgnqAJM2Q3fDi0aVpLxTwGIaIIjODUUjfgMIV7FNFTmGtVn2bXgP8lItb04lK wKFw8D6CvKYX6YkDV4ad2/tjnR4s3oP/wkjJrGpRBiGUsjqvEWvlgglM3RBO+Ufr 18kjmREJdVc1rwIOzylVRERByJgh1yov+w+Ok2AxGDWJmSbctLO4I4M+sKTa11W1 XZLEDEE1ImDt272GQ7e5QR3CTd6RIKafOAmcPoNiWpM35uDKQpV1euhoa/dXJM3O e41B1geIYhehd8/EdBw6ZCI6cSMB8RM22KeRdjW3wehbY/8I33YQT0vBr1Q4WTWi
BqeCZfXX8UOC
=Yhr6
-----END PGP SIGNATURE-----

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)