-----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 <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> 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-----
