Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 25 Nov 2024 10:37:16 +0100
Source: coq-unimath
Architecture: source
Version: 20240923-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <
[email protected]> Changed-By: Julien Puydt <
[email protected]>
Changes:
coq-unimath (20240923-2) unstable; urgency=medium
.
* Unbreak autopkgtest.
Checksums-Sha1:
c3406c49b6b7cb9e33dff8c1b755f1451d31ba09 2109 coq-unimath_20240923-2.dsc
e7e37d129e35b9745330c30075fbc5da58b011bf 2284 coq-unimath_20240923-2.debian.tar.xz
260d8bee02c66bd2d3f1351387f3984af8adde75 7142 coq-unimath_20240923-2_source.buildinfo
Checksums-Sha256:
145bc63df145e376c60194bd7411fa0586f175144dca032e9c3ae1c9f7b06086 2109 coq-unimath_20240923-2.dsc
865bb2f99acfaf024ef4fe13b8aee67828e8ef4a372f6138248dcb21e90d6178 2284 coq-unimath_20240923-2.debian.tar.xz
99d3452995a5bf5ff8447741964b29555863c574285cf7f25639948e6df8c2d0 7142 coq-unimath_20240923-2_source.buildinfo
Files:
d1ab43aceb8f13df4ba5e404f786be2a 2109 ocaml optional coq-unimath_20240923-2.dsc
7108f45b0dbed95aae40a884f0792519 2284 ocaml optional coq-unimath_20240923-2.debian.tar.xz
a6153a6137577cea6b7efe65a8a334d4 7142 ocaml optional coq-unimath_20240923-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmdERWYSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR59YP/iOPRacGSBVs+awXCJxrdYueav2aXHaG oO5FRrm8+mfqBy1joI7QGnpBbOHuu/7GVJmY6io2ZG5NVkelBPy9l2n9gh50jQ9h 4qRCMYy7kcN+054FDpe4zfjsbntJVHILRIVBvD/Afiz61ron7wwx2RWxk0UH+IJ/ jTYaEJuATrsKXgNQzhF8txZF0zy4qtDR+fOqNhUJkx2tHOUEx1S5BauTias1nyOy MZ/31upLOEoGmn1Yw9X0MOf+RxyLGb3HQTkDnTGXbFqBvn6FFYwO96FL3Os+iQqR 6igwxcVkZqtqJFyEfTwx6AQN22WhlRQ4I3kxAybtqZjJEeOZEEBL4RwG46ys7w0n MaZ8LfSlobPkXU/HiNHzE5zT6UEKldoWsdjrQUwb5IRR+n+dG0NDjW5lLDqsngaK kJVYIFPKQs7VdFlxs1zLCZo4cVElm9ZNcZlhQcMApNlHUrxOHri/l1ItXFP1OhFC ibbzV9jEoOd1PKSLeIDRZgYAvJgI2bXpi9z5LjHq14MI8GqsCPdDY/fIr6uA/0Ff Vsup4fSwDJKMwG/XMMcknauPWvMewXwSxO2ebasHfmzj9nL4Pa6p3qs7Rj2epT8d 4NdGZUugTFQdZSJ/OAzb9pKd/nk0cVKS/35E5mLmYRky9cSzxrf5U8Mx5hA8o2YQ
xKDSYWPS+0f8
=KUFT
-----END PGP SIGNATURE-----
--==============02796099219841954=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZ0R8zwAKCRCb9qggYcy5 IergAQDFYb9csTdXRQ/TESLs7rim5n8GevQbjmfrya5C2rRMeQD/bp1SAUBYPzOd yhp2iZ2kik3JH8AdaBCaCBEcy7ygKgI=5yoQ
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)