Back to mathcomp-bigenough PTS page

Accepted mathcomp-bigenough 1.0.1-7 (source) into unstable



-----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-----