Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 27 Oct 2022 20:19:05 +0200
Source: coq-interval
Architecture: source
Version: 4.6.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.6.0-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
0a48d58068c9566cb5d2378c2aff5a74d24d55ed 2182 coq-interval_4.6.0-1.dsc
ca1c5a5293a958c97634d7d90f892be97bd17a71 259268 coq-interval_4.6.0.orig.tar.bz2
3971607ead1eb068d83bb264a89cacc0aa55480e 8720 coq-interval_4.6.0-1.debian.tar.xz
bd78e1e96e81e5ac5712fd6943389d76a804515c 7647 coq-interval_4.6.0-1_source.buildinfo
Checksums-Sha256:
ea5f1b6d573c40c21a4ba91444515d7689a89d921c6c174ba9529f9ba42dffcd 2182 coq-interval_4.6.0-1.dsc
d42c8eda6ce2a7c52952fefeda269059646fe903d7cdfafc51c9f55004e0aa6a 259268 coq-interval_4.6.0.orig.tar.bz2
634061b685630a082504e034e628d1d43c5dd1520432ef799828c601fe90ab48 8720 coq-interval_4.6.0-1.debian.tar.xz
b4fd30f26dafecd6396fcd08cc5968dd13085d18985838047c6cd8522d79dd69 7647 coq-interval_4.6.0-1_source.buildinfo
Files:
dc66f1c64df4cdbc17c105b0290e6a9c 2182 ocaml optional coq-interval_4.6.0-1.dsc
7fca1f97a24a51983a28372e65042615 259268 ocaml optional coq-interval_4.6.0.orig.tar.bz2
b29b68c942deb281492970522876c952 8720 ocaml optional coq-interval_4.6.0-1.debian.tar.xz
8248addb0aa94f1e06a562a8be911a65 7647 ocaml optional coq-interval_4.6.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmNay7gSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR70AP/Roq4K8bDvWw6NhZtTFXMe509AxVEktE mXmquviJLOIH6110qieUtsb24M+qoMTc0oU0V22KBxm9+DPX2cpp0E2fZJXTGQ5O Opi4GrniMNfas5xuSMU+XAmb5tbFT8A9xnbGm7MnIK2gF3qvG6VI6VkJrkhDCJZZ Gt8E4DfnmT1rrrlp268damsd+mN/SDIaLzaI477iLsS5G7T6Pu14BmWkeLwu6hLP w9EJlFu/5yxquH4fl8hBYTTE+AB/1Qxq4x03ntdODdOA27uf0GnB/K54sfBk11NO VbwURwxijvrB+/fAL0cucpK7hHMskiET07ZW7R1SpjwSGUUWhtYU4SGBHvsDHqU1 Jicd/DSRFvOziWsx/4jvxc2RMGB/xMSm7suJzl3eSfMgbPf8D4BgrcYQt5BOhhEp kyGD2Ry5sMsusEeBixGgHTw8gWFe+JsXXQuLxexEloF0zkb7uKClKc5Zi6lfFkcP SNv60YMcIW+ZMGKfCony1CJ3eO/VLghCY9bzgpcepHUdnHsl4oHyKw6x9cE1pVdx KDv6KbS1UxsIjz8GF9ey+0Q7lDWZkNVdT0Fdb5EJgWi5dPiXzbumJJ6E1cyg8jss BvKvogG5gk3XtS9c4IGOCqqgZxuQBbZm4MT487gPli0Mwv+haFy1uoWI0zQ6oUX/
ZGoNav3XXRW1
=qP43
-----END PGP SIGNATURE-----
Thank you for your contribution to Debian.
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)