Accepted coq-quickchick 1.6.4-3 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-quickchick 1.6.4-3 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Fri, 27 Jan 2023 06:39:00 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-quickchick_1.6.4-3_source.changes
- Debian-source: coq-quickchick
- Debian-suite: unstable
- Debian-version: 1.6.4-3
- 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=jMXDwOnvGIg4uwtXFYLIjbEZqZ9Tj+61RDoLSK2GywQ=; b=TGdZoODda4fKA/jN5k8m7toE6g J0iOcWTb1zb0+sXx/pyZxpCiXfCRjxPp9Sr0jVCTZZRq5qvbqD1u/htpgjzqRqyhPvaw2L7xCFr7V eX0GmQldPEKqSBVuc/OLcscxtx6iED8rcns3RRJJgoo4MvGeZhfctwqjWlPh1hLZXCBqkgUSqjeKu VFfcMch4KQPDlBpQTSG2nRuoQInYfrcA8ruwmeY0Gms6Z3vOEsY8Xni4Udhobt8ch9q6AfHMBAEhP 6fZ56lsvFwdSjB22w3XzIRTpgm9uj14Ec5bcNcCK4fQ6VbXT4wGTQTe7PYx841HfDVK7FrZqbUCaA F6o+4FeQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1pLIO4-00D1E7-LT@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:56:43 +0100
Source: coq-quickchick
Architecture: source
Version: 1.6.4-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-quickchick (1.6.4-3) unstable; urgency=medium
.
* Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev.
Checksums-Sha1:
a03af37dda7b0e6cfa22cbf14db9a51b9c135183 2261 coq-quickchick_1.6.4-3.dsc
f03970485bb1998169c25223689baee4c4596f02 2724 coq-quickchick_1.6.4-3.debian.tar.xz
55a1d943a101032a44698227fe666edfb303940e 7687 coq-quickchick_1.6.4-3_source.buildinfo
Checksums-Sha256:
287c26bc9dea58e9f38078af1c5eaf654972e3a7cf59ba5fa613d029e965d0dd 2261 coq-quickchick_1.6.4-3.dsc
0ed3da1269a64008f6fdf6ad0acb8a33220d57cf4c83f09cf942d6381929d0d6 2724 coq-quickchick_1.6.4-3.debian.tar.xz
017757ca1892cfecda9526d3ce2b0ecdefb8d5181fda61eceddc6f16615461cb 7687 coq-quickchick_1.6.4-3_source.buildinfo
Files:
88adbcc080a4fe72201c8c9771ee55e7 2261 ocaml optional coq-quickchick_1.6.4-3.dsc
11f825d309dcc72d437e79223e81530d 2724 ocaml optional coq-quickchick_1.6.4-3.debian.tar.xz
bf908cbc06490b75311b0c75ecd2f5fb 7687 ocaml optional coq-quickchick_1.6.4-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRJx0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR0OMP/RIqCuRFQ/zK7IpNCa+V8E5Qe35ZgQaf
Jcj3d7bv6PLlrHRr6SqL0ezMT0NBfaXdJr8404WjAqK4VU720Fc/GKunWdiVgQXK
n8mOpVjGDdODORsQ/uzD19KfCoPdLL8bxwjIq/lM/Gy/uHQbRm3dXArYwyTdt1iJ
RYkE2MzycZrJEtnKN3TeqN1FSQyi9vOnWu16ZHxlTLvPU7dsjNT8ygxIMM87Xyal
+BzWDUoM0L7tyRuQiS7ENZmOVhjmGPnARGouPTbsdEOGjvjB1HFPfHOB35MYq3VG
sa3NG1osN5/YH4UtsRe/KCOAAo8HbgVZlCBiRdn6i0HF4EO2/eaNRcf2vj8e01pp
NuJCNn2C8+xta+Jlc72kuOyR2xoTmHts9Bj+M0h/eiJPh7LGoNe/lU2fd4O24kpZ
RHGTKIe6h0MIxA9Kvta77RqlaOMyVQrcKSBSQY/buWdvwIfpXHesugNRMgNrHJbm
QDP2WQiyW3B0cym9iiXnn1qbUoC68xgcdgTbmlCml7UJvZjczUxPNXWifRnZLp1e
AJBzcBFZDErRcwmT/KhPin8pByy2AILqDtq2UpchABFnn6ccCLdzfzHQuCroas/C
toegku1TfIAUflzf5rpVAdgt4L6IsRVE+d97KZmCabRJI5BE7d7G/B6w+fAh0+PQ
/EhF/5AwHCqo
=Xlzp
-----END PGP SIGNATURE-----