Accepted coq-deriving 0.1.0-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-deriving 0.1.0-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Thu, 26 Jan 2023 12:49:24 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-deriving_0.1.0-2_source.changes
- Debian-source: coq-deriving
- Debian-suite: unstable
- Debian-version: 0.1.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=cMCTni7wHeT2SbKUPQaBydamthY73EwCOVEkvrTRL9M=; b=h618NUhSFmbpIf3qEUZnMOUFUQ PF8XlIEYor7cKQ54Hg4KiEw6rRaQy8SXbsDkdRIFnG/rL27xNrN1a05/sXeJOoxmlWdHfiUdpAoKT t+VeuYbUPZ3+JNpV7euvwm2/pp/+GapWB813rPd4ereYHnouowuNY7JR846qotkf+F/noIftNsObk o94ItXJLJNbU2hz1FmyWZ5SLftB4GZOZZ+pvt5X/PXB8pNwNm8A6/fab3nT5wSFguDaWZen32bM1V YUZeHL9WlXtBUI7wLzJysYnqCRp07BB1a6an5uVo6GMSAiMtYHWf8/aCR3eB4oXpqj7Xj7+HzHJf3 Eb3j0lKQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1pL1gy-009EN3-3s@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 25 Jan 2023 12:49:02 +0100
Source: coq-deriving
Architecture: source
Version: 0.1.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-deriving (0.1.0-2) unstable; urgency=medium
.
* Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev.
Checksums-Sha1:
384835c75efd5bf0deea6c3bb2728da4a494d687 2113 coq-deriving_0.1.0-2.dsc
a0835b21adf2011fb04939557e3dafb378995303 1968 coq-deriving_0.1.0-2.debian.tar.xz
3b397b119ee743b72cbfe193ddc830775f9c5784 7435 coq-deriving_0.1.0-2_source.buildinfo
Checksums-Sha256:
86c6111978275bad4caef68592744ae5aa88f4c04c20b05aa87f5fcca51d5e55 2113 coq-deriving_0.1.0-2.dsc
cb1f8d605fd1cdfc79e7737c7c8c96d66d516019ab5daf109edab61af1b3b0cd 1968 coq-deriving_0.1.0-2.debian.tar.xz
9966372fbcfa188e3105b71d2aa238c941a805023089db759a511ae19fadf517 7435 coq-deriving_0.1.0-2_source.buildinfo
Files:
e061284e73e3568f855af81cb856e277 2113 ocaml optional coq-deriving_0.1.0-2.dsc
a70655f12c1701cb2c85512c4dd03985 1968 ocaml optional coq-deriving_0.1.0-2.debian.tar.xz
20a6c6fcc72052b67d5449e192ce85b1 7435 ocaml optional coq-deriving_0.1.0-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRGTcSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR2WMQAJjQW5XQwaApzDOAfJ+5YCMTb4n7bAju
fk1bB1fVs57+DSsEeeETY8fwf/sVZDGslpdkmrq5Yx9059d3vhpmaayHXpWXfYWo
0H4r/zicGVAPAL9mq9GLD5kGrTk3mmShvcWGSTACuryVaDPDbyQR1WjO6h1cCUov
QXxTR1n6ufJWTU8WwWKSXS+XgJ12BzSoTjgOVf9TmHvlThP1yNU4ZpDyTjVvi8WG
8i6Sfj43JEIw+O2cXFE6ttA7UzVNBJ5BWRshWWRSavpQo55JMIX/vceyWhnJgeJW
+iurhodo3gM6xdliU/5ts3qB1QbV5s4huzhb7Lj9a5dPHos9/GZF48GgL1+ggia4
4or5svwt28hQOmRvXueZavQVwUBZIoRTlmYtmi9KZRhscVZp3Qbqnnfp6aDJT3Tq
A5fjkxHGbjJQQcmZaty8/aAp5ExeU6XsUHQqVddtVvxtrXQi3HTT6oHzmBpPrSgj
HkAhNLLiB47e8KYhu0sVQeWFO+1vWICeQa2Bfl6K8olqXlNdEGi4uiAmacZiCKvk
KNfj7d1P3WYMtIEN35SddaXH+FtLJLXHjHBvqxuP5Ym0uDOIBT2mfjK5Wi0fZ920
mR5r9uOr5G8A/2jETwvqqslv2LcOinsgPejsadWGW0axFl1kZPLE0AR+GJwADPlM
hRLFKn+nakC3
=EQjI
-----END PGP SIGNATURE-----