Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Fri, 26 Apr 2024 14:47:46 +0200
Source: coq-math-classes
Architecture: source
Version: 8.19.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Julien Puydt <[email protected]>
Changes:
coq-math-classes (8.19.0-1) unstable; urgency=medium
.
* New upstream release.
* Bump standards-version to 4.7.0.
Checksums-Sha1:
38e263b943df3c31abbdbfac6a8e12ad69f0da74 2164 coq-math-classes_8.19.0-1.dsc
39aa2872cb93ed126c608c5fee30657a7f2d9e8f 169013 coq-math-classes_8.19.0.orig.tar.gz
fbbc92416d7d8f02c9fbccf4a40ac977fc36c466 2936 coq-math-classes_8.19.0-1.debian.tar.xz
207568e57201dce9b2f03f36f1c2e06c0985f4ec 8187 coq-math-classes_8.19.0-1_source.buildinfo
Checksums-Sha256:
29a1adaaf6631f543640b790762a379e7d1a9d59a046a1e3d1a83a9f3825d86c 2164 coq-math-classes_8.19.0-1.dsc
082bcf1cec976e02123fb175538229cb0531fa542d67c7b879520bb431034492 169013 coq-math-classes_8.19.0.orig.tar.gz
e1d78aaf06c866351820c2bbf4665829c55448007bc6f1a0c0f8d667d9530d07 2936 coq-math-classes_8.19.0-1.debian.tar.xz
c4e5b747541dc2b9bf1034c7a2cb1993ca411bd460628d7a703fb2f96460e93f 8187 coq-math-classes_8.19.0-1_source.buildinfo
Files:
80397167cb934b249775ea5e25b134df 2164 ocaml optional coq-math-classes_8.19.0-1.dsc
1e4bc4d838d4327be31236da7de0b600 169013 ocaml optional coq-math-classes_8.19.0.orig.tar.gz
ec4c02ce077f74ef51b3347dd3f46838 2936 ocaml optional coq-math-classes_8.19.0-1.debian.tar.xz
7903383aa5b84bfa4308bb4b5884dfc1 8187 ocaml optional coq-math-classes_8.19.0-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYroo4SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRQ3wP/2sGX9DEwlT9inHGmftDu0m9lx+PXywm IZH3Txf0c47kNkPpXkgB/+/ZOaOkl3JQbFaCRAY6vuheOgBr3OPioTfsT5kn+MHN hG7k3y0mgGVHA+NuGS6Q22yA0KpH7KvKJJ9/OwRxw5PGszgFU2HSmZiHn7C8GrMJ irnT0vbhqi8OlVumVHlK9XlWzn6Lizm5ERUzjnLbXSkHDfcUWA6pMmvoAWmDpmx8 KA0l/6+u2vIuDf+YYwJ/N/woWSapPUeK54sprOfU94Yd7cAJgFUnBpVygWaFOnrq U1aWpYnbgKrkThUUV602Wi1O/h3UurMaj3WyBLHMARXb9WQul9i6wpnJS24Auv/s 3C9mve8De0qtOFONgBLNTacTrqoxTBsSjfCuroEi6/kZ9uBGWqq3U1YCIimn465S 5bzRdvNuKF0QSxh/Cfuin1ePL7XFDL3hs1yDWlo7FXKIgJkDQACfaU8a25UcxGZu g2iVkmh7p2IfoEM5RB0x7Qr8lvsoivdqrJz97/yVNpVOY0wHNJAVtUhD7nLCtTcQ RofBoxE/CPhYdOHzsxmIGnzdZHqWOj2SjUO7pYHE3AZyqKVGPfsk+N5dlmtEKOml UZjJotVLg1i5tdTQC7hHArqppXUh9hFLN6+xIaSoWU2YglDVSeWBKLJRVDPP8ChT
EIpWXTqqJ6qY
=iobq
-----END PGP SIGNATURE-----


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

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZi5e0AAKCRCb9qggYcy5 Iem8AQDkhjw1zHI2p3L3GIm5H9FclvEgDTznTXHw7HNSEJubkAD/a1D+w3thMg8f OTWg0XobC6z7p0TDgQHdAtAT9sZwvgw=WP2U
-----END PGP SIGNATURE-----

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