Accepted coq-bignums 8.17.0-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-bignums 8.17.0-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 25 Jan 2023 06:48:59 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-bignums_8.17.0-2_source.changes
- Debian-source: coq-bignums
- Debian-suite: unstable
- Debian-version: 8.17.0-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=rZ2tsIJ9aLDy2BHTYT/5SHBWd/DjARhELPZE/nLOQXs=; b=VdiLSbMm3Orj+/Gm6zvxQZLpT0 6RKGZX+UDsaneO3NFALHHwMyEJb1srWBSTP4TZEH9m13+qN7UBNPYLEjWigobpuLPck+xOBcsiPuW MlSqflr/qAnCgJoEg4BqtGua4kbY6WJKLjT1WEgQ2caLMKlnJm9ELmwrJqNB74nV1OkUDHGyZOnoc WJPpeRhfa+a/Ajuv6dBdexhjeF495F6VDpYmKbrUGK5A2a8TBN+PEbI467LgdAxN72n4JPHnBTV/Y eBatQ6Ul88syajKHKCCN+dRKMDDuSsMZBG09wLoNms5FXNoM2cZQ2ewNLm5Zf5onV1DIxKEgrQUN7 X/LKgM6g==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1pKZad-002iNg-QI@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 25 Jan 2023 07:33:46 +0100
Source: coq-bignums
Architecture: source
Version: 8.17.0-2
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.17.0-2) unstable; urgency=medium
.
* Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev.
Checksums-Sha1:
6d7e3d135425368a71a2da9917d1aa80bbbb09a4 2097 coq-bignums_8.17.0-2.dsc
062de44deb7dcfd9eb57a1c08c5c471c7c119b7b 1856 coq-bignums_8.17.0-2.debian.tar.xz
da0c0473beb268cb648919bf6e614fd8e43b1264 7379 coq-bignums_8.17.0-2_source.buildinfo
Checksums-Sha256:
42b2a2b822e9f2afabc7e5d075f8ac8758aacd457d824a5a21aa53c712c1bf18 2097 coq-bignums_8.17.0-2.dsc
ec1e411194ea7eb7811fcfe07790c409e476c4a0527507e0bf550d94497016af 1856 coq-bignums_8.17.0-2.debian.tar.xz
3ce8c6cfb2d2b2213e85d99ca264858087cc2bf19dbbd93bd36b4b96b6ee65a2 7379 coq-bignums_8.17.0-2_source.buildinfo
Files:
5db79a9db2f4ef57bed23fd090c4596f 2097 ocaml optional coq-bignums_8.17.0-2.dsc
b3e1b9c7a5859d837e7e1b3ae9bc6a30 1856 ocaml optional coq-bignums_8.17.0-2.debian.tar.xz
b1e6a8a01ffcc93c0d03e55f729eab01 7379 ocaml optional coq-bignums_8.17.0-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQzWwSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRTI4P/ioa1TP726eq+Cqruv78WTkV2UzoJ9XW
idwiBPjzRBhTZsp0G9KdN5WqVU6aD9Jsoa6J50labTIFv/f2F8fNw/tqKjeNocp9
7YyHNuvg3E/MdMOfEeILnTE6a2xGh0tIyWlNmnJ4l13tBrYq0E9jZwqhReYyJmlE
alqVKhzAZCBZNX36Kgm6YM7GB4urbqOeHzWy9nz+7dEeu+IQDyeptPu++n0j1n8S
6Ed94bIi/Xy7tDOy7MHSEiBOFCjBIib1tIkS+3YBiR1bMOOthF/JQkRjg8P6dF+7
BkF6vgNGnpW51TwGsLoIAE7YmTWrGgfmB0CJtAlqECcFVH5Y3VrJLO3sR46ShmXn
M1VGmt1/ZmODLkkOQCM/2zWemtjNlXB2sT7FN/uLXxMINri4XC/aqEhwspnYLsr4
8oFD55fpl2K8Cw7T+gwHUtrYTPxGCotW/1F8EK54TZy6fv8s1vkcMs1X/XiuGdt5
RAioe94yysuzDlrO0E8aTbTEySw7YjMiUorW4gi8dyOl8UbrT7y31D3fyM7nyAL9
J6UEFnCKR8aXTIb3QmDtKFgfYm9VZ1LBEAMcWsn3VaLagjaj3xMGU3BbLeXCVKJx
g6y58e/W8/WX9QBGNViGLnINM3q+15Sed06no/6i+RrtFm1H4GqvMEjVb8QspJzX
l7+PNHgJ9Qw9
=Ein7
-----END PGP SIGNATURE-----