Accepted coq-bignums 8.15.0-6 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-bignums 8.15.0-6 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 14 Jun 2022 06:03:53 +0000
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=SVcNfXDV4h1171JczXuiWy/VIGF6SbOBOH93nLpIwoI=; b=Ewdug5bFevOhaHsTZBHBxDs6MI kGnac9wzqiIaA1ndzoJmaVMQhonoWFCbw2D+APZZSyit6K2Tb6LPa1NeECjK7j7+SRTjqp7zDgFK0 ElkTzpNask0yaRsVJKEFGgnC2qBIIALijjZxNXeeuoF3/nT/WNlii1zs0z3kZDbfAeLcDPyyW5QEz GGunxnvQ3tsdBel75+o++H7UgH5rNr5gHuLbwWT2wNg36dXWT4AQKw1u6P2ignqYiDH3+xm7URRG2 oKDGl8zcBjeRSuw7pJW3BTCEIgsdNAXEmWRdaALu+Ui+vdpAJ46Kpq78ZQSSs+p+t6ajJjaSYo9U1 YPY+aMLw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1o0zeb-0003M6-Si@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----