coq-bignums_8.15.0-6_source.changes ACCEPTED into unstable
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 14 Jun 2022 07:44:34 +0200
Source: coq-bignums
Architecture: source
Version: 8.15.0-6
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-bignums (8.15.0-6) unstable; urgency=medium
.
* Add coq to the autopkgtest depends.
Checksums-Sha1:
faf64fe1bbb76c58e15ab0472a7f58532e3045c8 2235 coq-bignums_8.15.0-6.dsc
a68391d5b72e485e112886a167450b9e8e4362cb 1912 coq-bignums_8.15.0-6.debian.tar.xz
3bc01b8d6bcfd5daa8f69acc2dabbb8606e12ca0 6735 coq-bignums_8.15.0-6_source.buildinfo
Checksums-Sha256:
250a7e5b2ff4ec7f1e824fa4665722ef85f6572a845fbddc9633270f96857dd1 2235 coq-bignums_8.15.0-6.dsc
b66f61a53980680a23dc1a15f3d5b7813aaae8cd4a1921d745d6427c3550ff7c 1912 coq-bignums_8.15.0-6.debian.tar.xz
ca21aac51b7ee2961b029c231876ed12d260dc177c8cfcec62e6438db9b9aa4c 6735 coq-bignums_8.15.0-6_source.buildinfo
Files:
ca6a835d3c40441094962b0eff5b50c1 2235 ocaml optional coq-bignums_8.15.0-6.dsc
e938a0d8a5f2b6d3df24688ba6ff1545 1912 ocaml optional coq-bignums_8.15.0-6.debian.tar.xz
9536d6da916a41bf2058d35268a46f4b 6735 ocaml optional coq-bignums_8.15.0-6_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKoIHgSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR3IEQAJLsEhmfhlpAIrKCYuPgAvu5zTBV76nJ
YMUsp4WzzYrW1DV1KCWXu+SYRtAvSZdxeivPT2RnFeWBftVQnBSLGkiq/E96NdKC
yystzV5Hb2Y0qXEQrfzg3zAwNDgDnuNukUeXuaZ3M+5srx2YhuTN9zkQ+qFhQL8T
G9XgIbaHSMhVRkSZt8MGduVKtv6CwVHW0nlZon0v2C5kyKHIhkwLwKHIBu2CtyMu
z/cSX1molAmY8IYbt8HfcbZ/hcmnDIWgmBLKCvoc4rbFmO6lyJQgQdngbJB3TRUL
Iyqb5Eguj2Kn0XYAr1EUgN257/f7VuIDWLVinZ/gHMYuoh6rUq5CK1DSRfyDj8sb
spXU1i+q6m/hMWaqVydE6Ztmce+bRCugG5SA46AGutsiKJipRR3rTR6YUO+OGEHh
1jN8+fTsG6Er5GpYF9hOvMe4fPUfTKEYcWpJRPJ2X/tgURf9v/rOyYbOPw3f/waB
3SHGbkYWPwgR0FLklx4aGU4EPzG0jn8vnwLsZt4a6+l7Dk28De4XnQpYNNQ9M4xK
wYJSCyS9Cf2GclTSeyg0fgfyLvXVOL61hw9+zBU/FObhwrNDpYNXMTnuQU9t29/W
WCNa226LfNHNoTAWnukmNVvfmbU6iUq3ChB0tfaXp2fG4Oi65StOP9lbKLunYmcH
SA+ojnNKA1Gf
=gVQS
-----END PGP SIGNATURE-----
Thank you for your contribution to Debian.
Reply to: