Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 12 Jun 2022 14:11:19 +0200
Source: mathcomp-bigenough
Architecture: source
Version: 1.0.1-7
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <
debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <
jpuydt@debian.org>
Changes:
mathcomp-bigenough (1.0.1-7) unstable; urgency=medium
.
* Use dh-coq.
Checksums-Sha1:
c1d4c04dcf3385cbea295cf3705ad46c282804b4 2115 mathcomp-bigenough_1.0.1-7.dsc
7e3f9900ae9d27bfe9b88baec4adaf022725625e 8516 mathcomp-bigenough_1.0.1-7.debian.tar.xz
79bd2e46d10d1e38a415dd49c2cbb6dfee01efeb 6647 mathcomp-bigenough_1.0.1-7_source.buildinfo
Checksums-Sha256:
04d73207966ee45225e2b962bb88cc071409c004093566d0cf8028843eec1539 2115 mathcomp-bigenough_1.0.1-7.dsc
bdbebbb3024125432c3456626e4e922cda6b194f2d4793d2d40f1a67f5cf274c 8516 mathcomp-bigenough_1.0.1-7.debian.tar.xz
ce63c4a03cc2c7da9633d1fe880c0f7df79f72b14df881ccca237b7d427d7cd8 6647 mathcomp-bigenough_1.0.1-7_source.buildinfo
Files:
f30793240630cedf91e4fd4365deffb9 2115 ocaml optional mathcomp-bigenough_1.0.1-7.dsc
302ebd1ab4563e450a184ec6418105dc 8516 ocaml optional mathcomp-bigenough_1.0.1-7.debian.tar.xz
c0e0085395ed4ecacaebb091b3700541 6647 ocaml optional mathcomp-bigenough_1.0.1-7_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKmLP0SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRpJoP/0jQ1lClnVwQS4aCArX95zktGcDDmWbC 9Jzj6B7bBhVwOy514wHJsJxtSDNxZz6LAUchD9ury9pGIIkdUUAl2ER59oqZn5D3 yPqwx8589GdXhKGnzIbb1xUzfjwUNXZx1oT7NDQe/I7/QdMDHWaYFhqxYyosX5Wx BxkfkSEsUsJ/Zq6CoL9FrlzdknvGXUeTQMRq52ff/iLu1JP9v1QboQoDbJ7mGZ0U xDoSWbD5VF2j8siDVVqvTnAX2NOewmtdgDzonGtqwMckFb3I9hpqXnb0ZKpPkMS9 cIlCakmWYhXMbM+tZgyzgqnwfdJ1KSiF+477mr5k1epiPhv7MX7MGnT5TgXNnTa1 4wvqe11JZZzY6Rp0ScueEOQAAmd33X/DUEUl/LCFFISPxXdEqhXH1coRAyvQFrSR UzSF2UTVWbOV1L0I1gO0WD9SMiNw2BzvDEOtNeChO+vTX42ZhinBEdkB657OmrQ6 oVE0yVf0fNnq+wGPJ86q9IRUCyf2ajwWn5MgZo5EwdhfxPxF9JlvsFYk2ZP2Ww4d wo4u2xnjfnMVr3J7bpv1b5+fq7h78J2E7vUcH/rnVfiwvF9/9F5vtXayRd1eZIAw Udt/HQkgjY9RjtPumCeyzumDP0EfD0sLbWNQjCHWFjwIujx/NQx/HEbv1+xH4rFw
v0tXw51ICS8x
=VJCe
-----END PGP SIGNATURE-----
Thank you for your contribution to Debian.
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)