Accepted coq 8.14.0+dfsg-6 (source) into unstable
-----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-----