Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Sat, 24 Feb 2024 09:58:15 +0100
Source: coq-equations
Architecture: source
Version: 1.3-8.19-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Julien Puydt <[email protected]>
Changes:
coq-equations (1.3-8.19-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
e1c9e0cce527486b8a4e4a44d4e317c76b12e6e4 2166 coq-equations_1.3-8.19-1.dsc
38fdf70af0bceefbb4d14eae0cb037b124bb3ba8 1102843 coq-equations_1.3-8.19.orig.tar.gz
73fa3875d5c59f128a653b5ac2e84b435f60c3fa 2668 coq-equations_1.3-8.19-1.debian.tar.xz
fefd43fcd68f537d2a72fa0d33355e3ac2d960d3 8431 coq-equations_1.3-8.19-1_source.buildinfo
Checksums-Sha256:
c77b5d56399a7b462e704cd3ff82a06c1c754bb51620a1f09084e75999160a55 2166 coq-equations_1.3-8.19-1.dsc
4d4d1aa0488dd111cb7f520deec6c0f9e41622b884634ad96aee554f899e4198 1102843 coq-equations_1.3-8.19.orig.tar.gz
b0999e49d5d751556d8b4610649380db3ba3298db76355b4968d6d698c001f25 2668 coq-equations_1.3-8.19-1.debian.tar.xz
e341a75cd27d61027713fe9f2d76e326ef1a2bb108567f19e70f202d512d233d 8431 coq-equations_1.3-8.19-1_source.buildinfo
Files:
6ff58c5d18c03204f59570bac41ff873 2166 ocaml optional coq-equations_1.3-8.19-1.dsc
a83b2e75a3440581de8eba8f0c0ecea2 1102843 ocaml optional coq-equations_1.3-8.19.orig.tar.gz
3b2388730dbc97d4624206073738bbb5 2668 ocaml optional coq-equations_1.3-8.19-1.debian.tar.xz
63f71f8633284a908ed7eeb336c9f58b 8431 ocaml optional coq-equations_1.3-8.19-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYH08kSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRVXUQAIKoBWMHNDT+jxXpfxUyhDZZ0Hg9CDL3 NmIyaM1xQohvAQw/oMMLnUh7Td+P2ZlMmA+kqtRjlHEj+SAlcZewkKVSBH5mX2ji PDUd1qz+P+Rz+/kVels37TonPi6lNRGKelgmLmm3m3SaB7wiwyGoOdVh61d+Ad2x 7+dQqG6++l0xfj2/q1tRVKQbfR4bsgOf63EAyyuuVdhKAy/36nN+lqXmQExYSCkj pZ76VFHmAGnHPEhY3sve5wIpR6U4Wz7vhGLZlfVXjarLaRLC/z8wyWIBnOQT17b7 oBF8QB+e/BoiznEIXH3ajVs8bpgJeL9xmGbsCMbf/mtKjSFobMJqDnOn5tXK5IV0 cQdulKzmMV6zcPurot4VzahehAmzQmgv3AihPcD1IqdXHaa7CeDGRXWATlj5148Q 6RaI2r5bfcT3alSulC5ZPHaWLPkOdt/Gh9vXRk5HiqKgXdWCt4dp3KoQumxqHyl7 aS6e9EqmJ6KSpxVxJ24Xsuq8YqX8oKgfOIsZIESx8fKhZbQ+eGnWNxUE8dPkWkdp mdSZ9KsQm5kcpjQz9PmpSyu+HEToBbIlwxBvKx192oQTuVi37kUNOuCk1YkYHHMB 3iTTT3dP1FrBUmYfgFFeA5Y/clxVPnHk1gvDQrwVGH9MAcL/+crcQWtku5NNGRtn
fCIgWrZ4lZ4n
=SUFd
-----END PGP SIGNATURE-----


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

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZi5epQAKCRCb9qggYcy5 IYL8AQDkiZKVMaZyRM83MHbjQM5IJWVEQfCNMxXIBCSPKy0jAAEAw5CoU9c4TFV1 mAtqlF26hbQyCAaCGHhf7okt0Gos7A0=ayi4
-----END PGP SIGNATURE-----

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