Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Wed, 20 Nov 2024 10:55:01 +0100
Source: coq-simple-io
Architecture: source
Version: 1.10.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-simple-io (1.10.0-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
17586ed96b7227949e5ba8b75c18ea1778f867c3 2170 coq-simple-io_1.10.0-1.dsc
ea1cc64e777ea4aa23d4f58be9a9ee731c70d8f1 34396 coq-simple-io_1.10.0.orig.tar.gz
d98741069e506e56bddfb6c730c1b90d7c94df87 2660 coq-simple-io_1.10.0-1.debian.tar.xz
46c5806638238f5a0612a05229e760a7d839efe0 7251 coq-simple-io_1.10.0-1_source.buildinfo
Checksums-Sha256:
9202ebf06d42f24faf30e7af371b42b1cf648f5ce881601cf93de4d2f6caf4d0 2170 coq-simple-io_1.10.0-1.dsc
f44bd147e3a4e724ee77e47fc7bd7da0cc6b8a4cdf63633cc1c35ce21b91e3aa 34396 coq-simple-io_1.10.0.orig.tar.gz
87712add477c6b2b1e946eca27b95dfecbf8a95934ceb8061796bb51c4563a91 2660 coq-simple-io_1.10.0-1.debian.tar.xz
635a0eac80b0ae16cc8e11a7d2673a6fa8462c959ad1424c08f465da8312817d 7251 coq-simple-io_1.10.0-1_source.buildinfo
Files:
e05991cd02d0ebf423f76576afd1d450 2170 ocaml optional coq-simple-io_1.10.0-1.dsc
9acde8dbaf64bfd7ff9d2b0333747b79 34396 ocaml optional coq-simple-io_1.10.0.orig.tar.gz
79c4b4f647f1293781cb3ff5c4600fdb 2660 ocaml optional coq-simple-io_1.10.0-1.debian.tar.xz
b982f1fdae9ced370598da93ce49766d 7251 ocaml optional coq-simple-io_1.10.0-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9sg4SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR0J4QAINUM+c+nMlTsWpfpiv75tAvWOqI7Xh7 BMl1+mX29ltCTXqCcExY0T6FeRz8iR8TW7y+DpBPTON/174RF1AYZXjAqNJzkjnJ OdXqRF2991VjBsdRy9kLbKy8PU8zCeFz+XRZVj9AO5rc+jxHmlscyxhW3wfW9oVN SA50LXDORuUl6ClLOsr7Ts0UvjuTnJ2zwc9n2+7F9Kxk2Dv+i4uJJBjMIAl3Ntl6 tBd6hS33Eqoz/VoVpz/jBweYNtExFE5SF4VHLaa/MsCBjYNc4Ptjf6IR+zvclrIp 3yS0usjk3RcjTNoFRcQYBr/wrYDTHDvU1YK6Bw7MSOrylIEWquFOmlfB8FdlNlLK wQGalnepQdR/4QMp6Z1GgVLCduS6tJBu5aYz3n7vtzj+tyOL6S4jJGvmw8fTeQNd NMRHeL8W2E5JwbN1v19t0dw6jy/ioSxbbEuXD6IFt1isgUBvyqMSvVGS5cUdXjji 7a0+jcZMuo/Ah8pr0n2+62KDe9YkARMjautsPNu3XIforVZWcHnVo3ihOXmOArM5 ggSQug0ly3vqDU2Q35qDri2e/iqGLv1oYOTx5+bG3Yyw8AAk9JeytgnahV4kq925 wGYw3Oi6b0rK+jD842PHniUlARw5ynkHGbTe4zsoBJn/R5Js6oO+wGaO2P17derf
fNJ/1XKpahO9
=xof5
-----END PGP SIGNATURE-----


--==============w44416911929583497=Content-Type: application/pgp-signature

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZz234AAKCRCb9qggYcy5 IdgMAQD6zo2aDFUsvWWgwg7CR3rDLZ4LYb8EvcjUvt6xGLbzrQD+Ig24JLtJvUsY w0I2U1YKtsIp4hJQzzmH79Kj3q8w0gEp+w
-----END PGP SIGNATURE-----

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