Back to coq-quickchick PTS page

Accepted coq-quickchick 2.0.3-2 (source) into unstable

To: debian-devel-changes@lists.debian.org
Subject: Accepted coq-quickchick 2.0.3-2 (source) into unstable
From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
Date: Tue, 30 Apr 2024 21:19:34 +0000
Debian: DAK
Debian-architecture: source
Debian-archive-action: accept
Debian-changes: coq-quickchick_2.0.3-2_source.changes
Debian-source: coq-quickchick
Debian-suite: unstable
Debian-version: 2.0.3-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-Type: Subject:MIME-Version:To:Reply-To:From:Cc:Content-Transfer-Encoding:Content-ID :Content-Description:In-Reply-To:References; bh=ixkaCz/lVcB+1APb0mgxd0qiZEUHVtFauwHYSXKCBgs=; b=b3ybAQuNgjOetAmjUNccdWuTTc 3AevavOOfZIx/bc2vAfRSx7UhNAPpf+X4j7UhVIJViT205stAO2Nhm56wTNNflycWdemTdTv8haQN brGfitlklmdwK6ca4GfpUHl+NzlUOUMck7heLV/Jzvy3CfPLl9FabveO08gIJu67JBMpTLwDQkU3B 516h7T7UTwK4zAGm5U84MaTKG+P5BiC1fYH5MXrEk6rGVFpwEEv/yqQ2FFBnxA9MPRmvtgzNMc+g2 g+z/EfQThJqn5ijFuIYXMEMyLZ8Rwl0tdTqVUuW5Fvoz5EpIQqUIg4KPO+LrTWgnlrPebnnHiLj9s QnT91wng==;
Mail-followup-to: debian-devel@lists.debian.org
Message-id: <E1s1usw-00B99h-KN@fasolo.debian.org>
Reply-to: debian-devel@lists.debian.org

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Fri, 26 Apr 2024 16:00:35 +0200
Source: coq-quickchick
Architecture: source
Version: 2.0.3-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coq-quickchick (2.0.3-2) unstable; urgency=medium
 .
   * Fix target distribution.
Checksums-Sha1:
 248cae6a620805d06b41d956a5cb88ed1c1185cc 2275 coq-quickchick_2.0.3-2.dsc
 a90c20d0ec48f9894a5fb8086e866ad2aa82b49b 411625 coq-quickchick_2.0.3.orig.tar.gz
 5a82afdae6a7008f86127dccc836cfe4a134d172 2792 coq-quickchick_2.0.3-2.debian.tar.xz
 8594df7fc5cf0343fa71ee43c6af4b59a536f77d 8947 coq-quickchick_2.0.3-2_source.buildinfo
Checksums-Sha256:
 23aaed0f40306bf6517f9453689441da8a4d19313642020023f9cf131cf3eb0a 2275 coq-quickchick_2.0.3-2.dsc
 e7391043facee2e3c9278e9013d8dd62327052707a0b9d0ea36786e3032888ec 411625 coq-quickchick_2.0.3.orig.tar.gz
 131a5632b5fd87b3327e3d1ebd141448a71782542dbc92e874d79f57baf504c6 2792 coq-quickchick_2.0.3-2.debian.tar.xz
 d8f6e9faf2c76c936314f0a7cec39795af64ee75551fb40be09b3bb708273041 8947 coq-quickchick_2.0.3-2_source.buildinfo
Files:
 a879f912015576dc88b31320693e5be4 2275 ocaml optional coq-quickchick_2.0.3-2.dsc
 66aadddf04ba9956be7ae8348acc2fa3 411625 ocaml optional coq-quickchick_2.0.3.orig.tar.gz
 36728e6534ecf1ce6f9ce19d57ad74a5 2792 ocaml optional coq-quickchick_2.0.3-2.debian.tar.xz
 2186683dedbff85050668b7673c9b0f9 8947 ocaml optional coq-quickchick_2.0.3-2_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYxW4sSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR5tkQAJOtD43r5uoMMV2EdKbMbIm69H7SMuZB
IGfPXGLv1pzdNwZs4goLkusOjt/4Cux1xFRmBG2MfnGpWj7CPqkZX1azIf8TmvHZ
pGWXymBB/IzS5MGfs8qpbQGsNOpIwGWy5QnRSVYOo89cRuJOrVfhOfsNHVU7lQmH
BmtkDrhhqd8n1NVGwLRCzkryAuxY/MKat0FsbZSe66V4mvj0BkyGLJHM+04ba4/s
GzvXqpuifHVn3drb5t2eR0+Wf/t9UvZPvxCH64Mm5wFzI/H1lRi1VHXT6m/iEnnV
VkOZRz+1HHq84KK3ifcNtNPbLZMU4nDzDNW1qojuAG8vhPBHijz3pBELfZwu+CkS
C1kmA78fyPrea4zlD3cz6yYy/Xdgd5ijTSoXxLpjtKQ1kEmHGYvLLDkJHE/K7wlT
gJV2olzhXAPzU3obNbDjS7Ei81beEhO3RFFoR9mqhBpO0x+uEzel8lPBqrXt6g07
vvLx+ZKZvVFpObsZz3iRKG5fpkWZriPq2MfcM30F+ratjP61MOS/i85DtpFN+yRv
FEswuxWSgE5Pc14cFTg1G/vR9klUaQ+wdoJ9HMmO1HIHg6WoZMTXG5a1/+PzP+DI
CAHARLyOHyVbereEe71rUh9lXa7NK+y9oXUzA3oggIBPUPFtCRUMQaYVY9v6bCJi
bC+Wy7dIJSnf
=NS/k
-----END PGP SIGNATURE-----

Attachment: pgpBvDH3NehvJ.pgp
Description: PGP signature