Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Wed, 10 Apr 2024 09:29:16 +0200
Source: coq-unimath
Architecture: source
Version: 20240331-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Julien Puydt <[email protected]>
Changes:
coq-unimath (20240331-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
e1e974980d3316492fa0e2ad726e394399b9e479 2109 coq-unimath_20240331-1.dsc
10c7f870e46e293b3e96e88bce1433c54597d6a7 3324158 coq-unimath_20240331.orig.tar.gz
5ad9d0d2ca05e950b3e0fb41e66b5cf5c4b72df4 2116 coq-unimath_20240331-1.debian.tar.xz
f82bf8e59bf7d8621b0acc7798429a3fef3f2e0f 8080 coq-unimath_20240331-1_source.buildinfo
Checksums-Sha256:
f00fccee8d7dbfcccb295337b7b1a87f6890dae69dea42e03401c207147cb9a1 2109 coq-unimath_20240331-1.dsc
613e5a9e1fc502269b4744209827b853505999ab28e59e60ba55e6fb6daa0c0d 3324158 coq-unimath_20240331.orig.tar.gz
ba4c34e19475eea7a62ea76ff776e5b1b0bbfa5a242160f53441d5109aed9fa0 2116 coq-unimath_20240331-1.debian.tar.xz
60918efefc992d66f6ca1bc1d7e1a23c5acff859a72ec7aa85fd1320439f9bdf 8080 coq-unimath_20240331-1_source.buildinfo
Files:
127bcd14cee192bc083fe4a5f81e9965 2109 ocaml optional coq-unimath_20240331-1.dsc
64fd6c6c604f56ee3a6387aebb3d2981 3324158 ocaml optional coq-unimath_20240331.orig.tar.gz
e93e9f6020b3f172d88ab15686f19a2b 2116 ocaml optional coq-unimath_20240331-1.debian.tar.xz
71a2c4aafb975bb3e32820c390325d97 8080 ocaml optional coq-unimath_20240331-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYWQAESHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRVKUP/1H+cZCktGRlmUBnybV3zERfbxn3ijoU emtzJeILPLXkR3hv3y+WHjHnxlSBfuDuW1znJiFZNtJNHsddpBYg+ToPWTbs+Q/M gazYntEILy3b9ZVE8/Y2a7GSg4s6PBGbqHl6ispk0ESFdZVqz9hLaSxicHnhaaou VrsORQ5RxU08bSP67g14mPgV3Fq6hcEf323lJ1ietxvJQYrCJCy2Q+5UlLUVO/xO e5q0H3X4TcG15PnyN7olnzTGCNZMfh9NCsjSIDXIp1REIevzxKVo6nHleCsanuzT BO5N6emAZApDQgqX3tq8ZTwXG8KLJPJ3BuGBPBkS/oF71VppOERHERn1MqlmcL/L IrXLZlv4xYzJreL3n58Bk3uwbfg32p/TdM+MGy2ZpFHCVL8FqatUsguucG+nynNu Uzi8ON+ibca6gf2Oj/pzLPh/kVBnf6JXF7S2t5oQrNl1amS7MPWh6ti7tIJCQmRw HdkdvKwMuv16JlX6m/ie9vu4ahN6B3YOd9NuORyCWBu28w95eo2JBrUMTFK5gP8q IiD7vXb6+8CtsdWafJaFxGWFkr3SGmBiXU0W5Y+duJb1PA6SDQtnaUXSCATxr2Ew tk1KTf51Wq5lI3K7sp2bYKu+vWs7DnSyZrnVqEiEo+ElIm88LED0qCEwEXSPfpQS
17Is0VUjfQGb
=4iyk
-----END PGP SIGNATURE-----


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

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZi0UyQAKCRCb9qggYcy5 IQeTAQCUKvEmeEbt2Xl6wyxveWlOheYqlXugwo406q0iANiTSQD+LaaaR+HHMJWb dkpGNgWzDiBzPiuFa/78tKV2JEQtjwo=lOQi
-----END PGP SIGNATURE-----

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