Accepted coq-ext-lib 0.11.7-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-ext-lib 0.11.7-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 25 Jan 2023 07:50:49 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-ext-lib_0.11.7-2_source.changes
- Debian-source: coq-ext-lib
- Debian-suite: unstable
- Debian-version: 0.11.7-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=KUW+a1NrpvDq/HLUq4mMXgHjxZp8GQrQLmO3BixB/yY=; b=FLbt+TcTTzKO5grIoh97wZbGHu aSxDI+IUbHw5jnH1Iz/4Ib2Vz0IcfSK04Rtz/E+DEXzg0qpCL8F/gYOnYFzbELV123Mr/VG14aMGQ tqlWYv26q9ZvazcWUgwwkH7vuLnMYWTsj7bvpQNTArHFd754liPnVIQuLY5zJk7M8H5kmED9xbCAg 3aT87KDXqrFpppq3UvdoBO3cIAHkiPzVcateDbQ8pBTCyR8FgeGepaoRAsY5LcXXPp5LooTIoxF9F NCGjTkM/i3UAr4FWvGoWnd+1lpB1mPIA3guyFYdf9+Yx5G2I4weW7YmYRT8R8eMvG7wmQGzl+Qwc9 jKhjS7Dw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1pKaYT-002q3U-2b@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:55:55 +0100
Source: coq-ext-lib
Architecture: source
Version: 0.11.7-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-ext-lib (0.11.7-2) unstable; urgency=medium
.
* Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev.
Checksums-Sha1:
9775862e05c8dbf7a907f34f0c3254de1d3a6732 2089 coq-ext-lib_0.11.7-2.dsc
3b754441413c3f212ebe97f68946ff591fcc7087 2036 coq-ext-lib_0.11.7-2.debian.tar.xz
81c56449281a474b8297008027f590218bee3936 7391 coq-ext-lib_0.11.7-2_source.buildinfo
Checksums-Sha256:
7865277afc3d98ccae8fd9e018711919a79f17c5edca524face01b2d2f8b5c9b 2089 coq-ext-lib_0.11.7-2.dsc
f102bc89b78836fece9be63eb0ffbc1451369aee659427f81ffc21483776c263 2036 coq-ext-lib_0.11.7-2.debian.tar.xz
caeec84e7e498f8d2bf87ac43757d3781226424f549e446b941832756186622d 7391 coq-ext-lib_0.11.7-2_source.buildinfo
Files:
429668cf8b361fa48860119f7f8c302f 2089 ocaml optional coq-ext-lib_0.11.7-2.dsc
420d7e78ab9827de4f506d430d96ee01 2036 ocaml optional coq-ext-lib_0.11.7-2.debian.tar.xz
b8383eb60980faa53c01680cd59e07b7 7391 ocaml optional coq-ext-lib_0.11.7-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQ0rQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRS+UP/iKhL0CQzCdkQbkEDKAYpbXerNMOYy/8
3XSRk4DzZMEEtex4BlC+Yk7PzIaLsy2PgyCugmpX7F3xsuvjja9x2SWZ05M6xxpB
h6UIGvlCIbZHmhc27GA+g2tpbFQTXjv3lUKnIrcP5g+x+XPrPnwI0/eirwaXSUhP
r/duVv3FVhmazMt2sCYuDczJiG8sRPsSt+46RcR15qw9TJzKYmE3gB0xThZBww9i
MdJxAI8i2dPm32yjPS/eF5EhhX0otXw0hBVxXBYm7nXpXOgZHLVZ0mJ8BsxygWlE
4X9GHUh2egqY3FGpUdmTSQzclsWvA7SHlRg63mOjNYfjhaMoBd/lH5LjvZ1H0ufW
g1Gh4m9w//GRh2o2eELMIKloxVuD67WP2g8dG9bk1kIN7yPukX8WE9J686wTKuh8
yBvOHbqGkA86eLMOTNvj5oaIj/x5ojQF1O95sNMeiKy13mHUMXQO1aimUKAXfZcg
DLZPGOu2lYQvvN9taIpo/3I7dWE85bdtTncnUTFZbQr5HdA0DWZ476GoBfQZat5m
ZvcCUYouVL312WYpkj0p2fDFhGAXtCy35e/QrUhNUzXgukHJHKOOpyLEbibX1fVh
uPk8Ea/QHsazdOYqqossUnhab88T59/ac/AbkvNKN4XDk9PFHECDzZLjQS2w8vwU
bw1K3lZZBaV8
=mMEz
-----END PGP SIGNATURE-----