Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Wed, 10 Apr 2024 09:25:19 +0200
Source: coq-simple-io
Architecture: source
Version: 1.9.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Julien Puydt <[email protected]>
Changes:
coq-simple-io (1.9.0-1) unstable; urgency=medium
.
* Package new upstream.
Checksums-Sha1:
82203c0546229d26561859271e9a3cca9b857bc0 2163 coq-simple-io_1.9.0-1.dsc
bc09666f5e98ca9007aed6e0ef1de5d7145c107d 34147 coq-simple-io_1.9.0.orig.tar.gz
462c0e6160b8bc80221b9c27ab762718c8fd0ba1 2568 coq-simple-io_1.9.0-1.debian.tar.xz
d5c19a98c82aff17d471765bfdebe07a6fa22652 8180 coq-simple-io_1.9.0-1_source.buildinfo
Checksums-Sha256:
da25ffc318eb65c58d9c313bda9cc6ef3749b40bfed7a5081b7e7569f5ef2e79 2163 coq-simple-io_1.9.0-1.dsc
6eff165a47b1fb0e1206ef44599b000130109ab17623d69edef549b0fa6940f2 34147 coq-simple-io_1.9.0.orig.tar.gz
fe85a801a7a8c9faaec128ccc670408e05e3bc2e11ecfb3cc25374c7077b043f 2568 coq-simple-io_1.9.0-1.debian.tar.xz
585b647450c990a13687c96b95c7066029e7b989d0f70136d59911841880e51d 8180 coq-simple-io_1.9.0-1_source.buildinfo
Files:
7f295e57faa33aa96a5fcfc40e0fe9df 2163 ocaml optional coq-simple-io_1.9.0-1.dsc
e1bdd50e4d848eaccf2ed0f2bb146e23 34147 ocaml optional coq-simple-io_1.9.0.orig.tar.gz
522fddd223d55d86029b4c92197ac333 2568 ocaml optional coq-simple-io_1.9.0-1.debian.tar.xz
b33d94e6c620627dcabac917f65d49be 8180 ocaml optional coq-simple-io_1.9.0-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYWPx8SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRJgAP/RKfSON4R3kvuXHeUJWjXO7XZQ4x0Pq7 gbc8VmFUETqGFwdIIZgwPOB44r9+Q2E5kByzT1FJYeeFfQQvw4y8UZU72u2hE/Vi 9ZqtCkSDG/oLLVoe6YM9hXbjd4hgCmFYLkL83fPUKvCTd4s5ClN22mdwatLpaSEU oTe5H5iKTSDXzQnMdWZGp+TBbzkxFp131Afa+DbLUe3c3IhjNKHytUHhjs8b6aX0 0z29d1QYEJvMNoUhl6zmDbcqP7mKyTThRD/cFtSmfOsWndUU1fyXXb3HAgDY+Au7 z94hEcHOWxy29XllPUe0bLY9Ey0fMjCuPOaOYPQIu/wLrIy56ozOUdEKwms/38fb DUZutnwV9TFiYp2G+Z9CrZ//KN4xQwiOI1+aoEzjiljdbFds0EokGZLRnzUJuX/f tXHCVnm4BeYpzxn9/wYadufdjm46r382UhHZU714qxhdQo/RboFDQCFKv/XGHwR3 W3u8RQluYxgbidG2NfdwPC6aGTKBU1RGIfdKUBGT9/1Wu5doTmx+ye7QY3XtVYKx zbvG+sXBrwd1hp9RXb2Ri/qmWyA0JSYqkYjiSPzLs0D6vEjTf6N+g2edIXmJqBfE X7RmuXxk1JNa2k9I3qPYoDBoajaVx+8nLMCg5YSpyVgQcQffLNDjA3hiip7rylcV
/p26VneJoe+s
=5U6O
-----END PGP SIGNATURE-----


--==============�14980049436373046=Content-Type: application/pgp-signature

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZi5e4wAKCRCb9qggYcy5 IU/rAQCZnLGgrQG4SkcnkK8UDxuer+EJlIT1VjS0sK93C7E+9gD9E7Lpf2wyS3n8 ZgKBY+DUU1AMS8+ZWEqkKlgoxzisvAg=sntz
-----END PGP SIGNATURE-----

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