Accepted coq-equations 1.3-8.16-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-equations 1.3-8.16-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Thu, 26 Jan 2023 12:49:33 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-equations_1.3-8.16-2_source.changes
- Debian-source: coq-equations
- Debian-suite: unstable
- Debian-version: 1.3-8.16-2
- 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: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=ix/P66TzAcldAXieqlbUVovoCiHPRCvTAF+Uw0rqOhU=; b=hyY7HbU6mtsfOnyoYF5r2keDin o0+2629MMMt5uei9WMvYx3MVDulREbpKnMQY4MtHVtiiHXjoaLcDK6BCzCmMCoD41GY6LmEQzdcn6 qT9NjcP86uIcQLTC5CGtQNodpY5Lp1GgAwF9pb+A7AC8fZB/58lx5JDiXC6afmTRGIO0/LmPiXRT5 b0i/gnuFfBUCZmNviytcSBxvPgx4FwTGd7EXRK6SKbMQGzD0O8jtrJy86yyob0DAF7nHb4mFRpGY1 YTma6MigTMeFuaIiwDiGyJqkIS5pPBK7MU/LNamcVSukcbWlXf+8oszYJ9TOA3vCjwa9OgCcFldL2 rAdri5BQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1pL1h7-009EOn-Fd@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 25 Jan 2023 13:00:34 +0100
Source: coq-equations
Architecture: source
Version: 1.3-8.16-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-equations (1.3-8.16-2) unstable; urgency=medium
.
* Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev.
Checksums-Sha1:
7b3507d2a4d0dd95d8917b2c045973a822959677 2166 coq-equations_1.3-8.16-2.dsc
90b17b659d296bfefcef56fabe3882cd0d549063 2232 coq-equations_1.3-8.16-2.debian.tar.xz
caca5e10a7363b8be75c56e02992dc28bfa8c4f8 7476 coq-equations_1.3-8.16-2_source.buildinfo
Checksums-Sha256:
1c48f52b7bba573f20dfd0865047ef00978561a41c12d552c7285981663f3db7 2166 coq-equations_1.3-8.16-2.dsc
6e27164bc1f33e84046e419736f11020151aef2540f88af92d2d41a003f105c8 2232 coq-equations_1.3-8.16-2.debian.tar.xz
9d5d800051356bdc78e260bb009b034ea364fe61b632ad0570685aadfd25368e 7476 coq-equations_1.3-8.16-2_source.buildinfo
Files:
9fabba9035baadeeca8ad65c05bb8325 2166 ocaml optional coq-equations_1.3-8.16-2.dsc
d5e440ef3ea4ed801bb1aade04814a97 2232 ocaml optional coq-equations_1.3-8.16-2.debian.tar.xz
333e99010bc248f4af31c1719328c558 7476 ocaml optional coq-equations_1.3-8.16-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRGgkSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR1vUP/iJxxcj/Dw8VS3RYgkw3b8NzGAZ43Xoc
9IAfn34dg/G/BoEfTTfedFcouLrWB8h+G5/c6XCC5D94q89SdFUz4S7JcRCzKxq2
rZt6mfKTbVB/12p0FB6vXU43EGYFeKVzdp5mY11BTN92HoERvej9QF/i3T7J9zoV
HUys1ZZXM7ZntPSBa4kDIHqnUe635uAiub32RvzAYlwfPrgDs4iT6fip+ADm2Cgv
dFKULdlAvRhFb8cKh1rVyODJe02pARrOLituRvMzu+qIfPJmRFLy1LNKGC/yHhCx
0KIKxjMwX3SUidg0IdfKXc/SS/7113PlHPCYIEbnzALhcc7r8p+o3N3qf53ngiXQ
xKb7pB+S6C1kwGi+A33nib3lV0NMPplMrOJH5HOf9ZKccRNJGZ180FniikF8klg6
XUEjQjMKkxoIqVQIFE1/Ax2dFeE4DksVIo+hfY6gUc+QQz85vFFd5EuSPnpJxLoG
BZo8HQsDnMnpUv7csXnE2qafaF1qPbKwSKBcX3cBouPEK/oTuU8sXoVrLUYFXcAx
h9Hfn4isYXYMm7NiFquktONdxSv3jiXAZyitQL8xbxppcx5gRgBJlcvvDhUjteSM
yzrsKTF0HwkeBDkqvKD8TV05c0PF6bG7PZ6yeDVBp/IaHDdDK2JyHil/3pJchmeP
cVpFDz3x1DXh
=o1LD
-----END PGP SIGNATURE-----