-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 16 Nov 2021 08:35:39 +0100 Source: coq Architecture: source Version: 8.14.0+dfsg-6 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq (8.14.0+dfsg-6) unstable; urgency=medium . * Still missed bytecode-only architectures for some packages... Checksums-Sha1: cc66dfc972b9ea1ee17229c0bfa5e94190d868b9 2925 coq_8.14.0+dfsg-6.dsc a1e33e5970f1c72cb372b75976587262af8f2a27 39844 coq_8.14.0+dfsg-6.debian.tar.xz 15d27a0370486bb248bb13bc2259415231ca84f1 15442 coq_8.14.0+dfsg-6_source.buildinfo Checksums-Sha256: 542408f66677a182a89ef27f121af4b48c631a751639a14ef06d4bc8e521a3e4 2925 coq_8.14.0+dfsg-6.dsc 06f561429ee4973e0a99c526d6dd48e5e4de568b9f7ee211c520c06ba855b580 39844 coq_8.14.0+dfsg-6.debian.tar.xz ab46dfd772ccdb34aa25538d0e278babca208f972de5a806a5054b39e47ad687 15442 coq_8.14.0+dfsg-6_source.buildinfo Files: 310ad11ac8271c66585783564c2eb190 2925 math optional coq_8.14.0+dfsg-6.dsc e15e87eebd8615cb7299683842f244c0 39844 math optional coq_8.14.0+dfsg-6.debian.tar.xz 99f38a183bbe1990c43f1c444a30b0e5 15442 math optional coq_8.14.0+dfsg-6_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmGTX5cSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRhI4P/jKq+6PmEECptGA+ei8N1ETuoUkO8kVC FSFYYN3/1bEGKJsto8LWSDtkFXzvzQ1fpa13BRIlZ4bNdr0vIkvto8lpZAfmT7xU xFR22fhVITMkGcxdYA+lnwrH0mMhlsooR2WefKWXdHr8bgWVhwkbwIih052P8qu3 csH8YfLmhdCMZotjsfejFAAaPztJ23ITvN2buW747hClewQq6wj1FhhCvZ8RQVef YkBdELXYqDwZtA1CAZZLwQKRy+SBSnBU2AwFRTtNZppg11SGrWOjg/qxuhdsm4mC ox/3GmUVl3p5NcsVAMDRav81SBCm1fS5j9lOA00t1jYT/qkMXg8h8HEvmLZR1dY5 iQsGY0bM87VkIFYqb+yrbWDcgOCN0Vo2Xz9NrzSe80Ip8nmWC1WU6yjnxzxDwZsN EpvOFGNRk9M24MJx0ou1BtxMqsD5ntV6YKXQ83xCj+2fd968RsrSWG1SaLq7dGls /YD07J9I3kVLI/a5+DG0XoNSdF2XZv3VXXlQk0WCG84drPzpE0I1NVqNfalPnp7m pCuk+87w3roBy+FKgQAUItKiFUcqb5wlzWjUNl5Ff76Keoo2kmIG+H/syP8T/iU/ PMVzxucUKcTb9FepJ0S6HQqr7Zq32yhu9+PevtI4tk2ezO+LF11hZLj1SPIOw4Yk zBcqddAEnzYc =xRMX -----END PGP SIGNATURE-----
