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