Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Fri, 26 Apr 2024 15:27:08 +0200
Source: coq-unicoq
Architecture: source
Version: 1.6-8.19-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Julien Puydt <[email protected]>
Changes:
coq-unicoq (1.6-8.19-1) unstable; urgency=medium
.
* New upstream release.
* Bump standards-version to 4.7.0.
Checksums-Sha1:
51d2b3b4e19fdb729d2d50039a020f20bff2d63f 2094 coq-unicoq_1.6-8.19-1.dsc
75eebbf70381200eb536e3ea3c558f5a089c4e1c 593676 coq-unicoq_1.6-8.19.orig.tar.gz
356201613de5d88a57c3c4e7ffe75f805331b63e 2608 coq-unicoq_1.6-8.19-1.debian.tar.xz
81a52e399e7ecfe66ddef4966b970b9352af35ad 8134 coq-unicoq_1.6-8.19-1_source.buildinfo
Checksums-Sha256:
98b3df66a18b80e1837355f704c4c9541b04bdb459993b52d9af5fb7a17956de 2094 coq-unicoq_1.6-8.19-1.dsc
c4374e42d176f8da31d96e6d87808b1d05fd0672a30a84739a883f283a8a0542 593676 coq-unicoq_1.6-8.19.orig.tar.gz
d297d553929e693a51206af73e9bb8af86f8ec21786253d59f935606a26754e7 2608 coq-unicoq_1.6-8.19-1.debian.tar.xz
a742de1826bfad1b9fbe3af77c5ae9affa8f21bb2515d1cfcea6fb122f9b1d1c 8134 coq-unicoq_1.6-8.19-1_source.buildinfo
Files:
b080aa689377afbbbd56d91b48d7dfbe 2094 ocaml optional coq-unicoq_1.6-8.19-1.dsc
7ab2b1818a532acb1d1aec540cc4c30c 593676 ocaml optional coq-unicoq_1.6-8.19.orig.tar.gz
2e0a396b8313fc537f29df777c6c8bab 2608 ocaml optional coq-unicoq_1.6-8.19-1.debian.tar.xz
9f7bcce7cd8eb9458c4d83ca31f63d7a 8134 ocaml optional coq-unicoq_1.6-8.19-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYrq8ISHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRt50P/A8iyDpoYM+FfVy6R1bwYeddycw0GM/k JAEp/TBP580x+aunQuj5ud/iDEgp+CofsnS6hFvJcHq5eFyo1xo162Rnduv28S4E D0FwrTp19r2IIoRlz7WHkRjaIXSA4IahAXmJmUtStH76tTq5P311HKftdmPVGSht qzNQZWitoRXGbz1qZDpYTkrKQRDH9ddYLfP06hUlpJi1oy0cE4FZv9O88RGofayq IGoBR4kywqAhWG1PgNgtBOV448UBvprLDfxYRpKzvl9sGpXVfzI741JlQD6qs86K 6sVG+cN5F9y4xc6y2wkaTmBZOtotg2qYSnWNzAd6GcoK0u2RezK0QwUi9G0Vqs5Y PLl/z0xn5QOZgNPqFvp2uHvq7FE6WH2ngzEAK7nymjbZB7YN+CJ+51IDYEw87loO QefEIzXyLWj3AbzPph+mGPtoGKwO4Z94PjRhZztlgrIb7+WAbWhT50pa6VLyN4hH 9ZIkTlZNUo92a1yC+iVU/j79V5MEDaxXHjeySZ1FknZH4yPD0ATrXIJf40aFiwiu +3Y2/1s4mHjy5zOswbP6HMdbB03Cg/UIhd3B+MLHPQ0Ucm5VhGFbid0faOOuHGqh AXDYPapK2p0lPGWk5xl7bk9lfQdEb7NhTNDF5e5f6ogwuibMV7117y1wvULfIC8H
K1kPL0BRvkmK
=bjea
-----END PGP SIGNATURE-----


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

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZiu/5wAKCRCb9qggYcy5 IScmAP9XCagztHiR9/6LV0kaLc3LYZoGSxaw1xIlyNXKTDLsBwEA2iwQUu1D/MQk hxaleQ1VSfFuO+WZ2/CzytwrwhSIUgs=HBtZ
-----END PGP SIGNATURE-----

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