Accepted coq-quickchick 2.0-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-quickchick 2.0-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 14 Jun 2023 14:24:29 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-quickchick_2.0-1_source.changes
- Debian-source: coq-quickchick
- Debian-suite: unstable
- Debian-version: 2.0-1
- 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=8MIGqWHgcgMXu5olCBT7FYwIFphlkgh7J1y9zNB4ipQ=; b=kfDAIw3s93ow3fsxjgZAg2oVMM 0NQ68ayghoe5h2RDQK/cn6weWDtQnJgk9Cwsie+/NPFD0fDipZOZsXIRcJhKgXncBZr8JIS0AwGM8 WZS1hlxaf/EApsPnaToD2LTFmYX+J8ewy84BfFhvLNbmQr1h4TqY18IemSkNyeUH3PygElfdQz2g5 ITCWbIaiFwnPw3FG+1UEMTIDE1vkLGuHJ0R/U82mmhcjkrpUCy6kmvv2CUD6A4sPbQXamrtr+yX2q X/+g9Mb2H+8kiH/9EzBkknp2liV0CMNNoAkcc8+uPPG6eyNXvAKxtvgXDXQLsF9k+vxpuyDPTyxpl AhzjPcMg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1q9RQD-009Ntc-2C@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 14 Jun 2023 15:45:47 +0200
Source: coq-quickchick
Architecture: source
Version: 2.0-1
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-1) unstable; urgency=medium
.
* New upstream release.
* Add lintian overrides for false positives.
Checksums-Sha1:
309f8917731ca480707385d9431c379153bd5870 2247 coq-quickchick_2.0-1.dsc
685dcb58004c6a9c2b5975ebf4c9abf049b00e1b 409785 coq-quickchick_2.0.orig.tar.gz
3a7889a938c059ace5f3a3d038b129b72e6114b8 2848 coq-quickchick_2.0-1.debian.tar.xz
e9a6a914dc1af09c9f97989092d87275b0403e83 7717 coq-quickchick_2.0-1_source.buildinfo
Checksums-Sha256:
b71bdae09dea892c228fb9ca3a16a3dc2fcaf58e540b086fbba1c1c56601136c 2247 coq-quickchick_2.0-1.dsc
59406ffb8c437284d50dbd470cfa57ed8bd19fc65c647703e9a59620026d567b 409785 coq-quickchick_2.0.orig.tar.gz
9093cbd62e931f2da362e2be86ba6094200525c5ac6fd9e2734a47fdc11d8a58 2848 coq-quickchick_2.0-1.debian.tar.xz
6db1ba98db25c631d9ef4723253519207c2366d537d9f2b01ed059d67343f427 7717 coq-quickchick_2.0-1_source.buildinfo
Files:
5a63a013682a1871efc312ab967052d2 2247 ocaml optional coq-quickchick_2.0-1.dsc
005934b91b7f2861c8c1c69a516f06e2 409785 ocaml optional coq-quickchick_2.0.orig.tar.gz
cafe45cec12565536abb9c1eeb05669c 2848 ocaml optional coq-quickchick_2.0-1.debian.tar.xz
8944a6578aaabb11c5d49c8ab21dc521 7717 ocaml optional coq-quickchick_2.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSJxJISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRbWYP/iEfsD7p3S3gX4SuYilvBOPeAx/l1tKt
Kfg+XwEP7Lu1uxeltoPZwSz9QW8GogEmyMFNjBAHPIfmpMiJMb+q94Zb0nixq9Vm
1WuJDCvcpZruUCp+2/j4x7liiiNfv7Rzkpv2iSEhpGxU4mSdDa7A7SVxkw8XJr5T
nnm2+UQsrJUrcTkUFS93gtO8F/7WJqp8GqfICdEorzXw5OMPJ0SRbaeHn4mMvq7V
zvhyoLfdjVw6143k6zxL/9T3eQCbp0QKhlHMD5lipfWaFO67CPdov0JaPiqrdR8O
uwkVyNizxk85OouJIlq9uALdGr1AWdoNSPFHFuxs+dJxCZ7g9/GHk9wPJ71tKF4A
VvlKB1qthzmiiw6ehYg8qTB4rmBhuyoQgqWa1pD6nFEREirwc36ltuM886eQuwB2
2ZMYTE8/3DaK7+o8RwtVlDP6bXQ385KFGvxjX+amj5cNlZawf1UcOx8WjVBsl2eS
kGMJ5o4KPnfAm4UaYmg7PcKznm9RQUnT/R2LzhE+fgTWhM2lt+viJZEH3cW0ECde
YAXvmWQP9qCsO9p4bqJ8mh4hD9ebukcI0wwOugtRrUKpyjmdNAPv/LrxZlJk+aKm
w+Qw3U3vEhr7V5d9Db2VRUv0r8LxsHAiq8SbWrk0vA4O/gkfaL9Zt1s+Zig6gT8t
ZujIz8EG3wb8
=fBF6
-----END PGP SIGNATURE-----