Accepted coq-quickchick 2.0-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-quickchick 2.0-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 12 Jul 2023 09:19:23 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-quickchick_2.0-2_source.changes
- Debian-source: coq-quickchick
- Debian-suite: unstable
- Debian-version: 2.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=ljQJ6asl8YmwvP7ctKSieL1wbq0VWaw5i/0pqEUFrKY=; b=n5GA8ZeHWHIN64EbIBVqeprBIH KfrmXOAvLO/ukLkt89FLr1Dc5lIIW4DR5w8SE4tGZHftcvhfTbzwtB+vGBkdeXi5DhtLjP1yXqWhL bBZaQ7b5yqVAW4keMFvc4YqmtSKg2OHx/vnL+XQwjaZ8IVvdag0Z/ZGavs5RiLuxGLxqjZSE/+DcQ uMf3qkb7MQ1iYw2qB9HY8PKk+hJ/eIsivGJ88KmxATW21nnFjj+3qt3LTLAE595DYEe6l28h0+6qG wXwo9FS9c8cA+1vS4FHB/2M9nBMsUjDzetvK9eK3mium7dUCQQJrj2PqdZqe4JphFjjomLboNjWhD mH5Vnt3Q==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1qJW0J-005Yvo-HO@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 12 Jul 2023 10:55:33 +0200
Source: coq-quickchick
Architecture: source
Version: 2.0-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Closes: 1040814
Changes:
coq-quickchick (2.0-2) unstable; urgency=medium
.
* Team upload
* Build-depend on ocaml-dune (Closes: #1040814)
* Fix Vcs-*
Checksums-Sha1:
e236e3a8b77eb9f8c9e56a12b1289c4c5ea6a87e 2033 coq-quickchick_2.0-2.dsc
45af7a19db27ae4def3876960864445205cd6480 2900 coq-quickchick_2.0-2.debian.tar.xz
Checksums-Sha256:
aa8fe8292b449b4edf7242153a7f522326e42932668fdfc046bdaaaa9466cb82 2033 coq-quickchick_2.0-2.dsc
6d2532b7b97a09404f642605ee7e1bb56adfc1ec69f8232136a61ff248845ca6 2900 coq-quickchick_2.0-2.debian.tar.xz
Files:
a3a08ffef47d3a1bbfa546fb542ea7a1 2033 ocaml optional coq-quickchick_2.0-2.dsc
f0f9fcaec933c416f4df664968e2db51 2900 ocaml optional coq-quickchick_2.0-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmSua2ESHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBH2MIAJnPGpGZEs51Q0Qs+0IVeb4y+vl2xmuK
XTSvnitEX2u7dTCOKnXTaxl6p2OE+kRk3KlIE9LmWson2H7gI4jlX1oXZtTk2X4w
Y/8ZUJ5lufIYVQ0ZTVCoruYW67XLKdtUm/Ovl2v2Tq1XVyDYve8vgsHCYLo/6Igz
dkPq/DjwQbH73gdL85OAMbnUZTmas9aIEYJytN7Lw6kojiz7Zfulvc/Gu55bjpb5
OiYM6LRyvGiuvwLysQuDZY2VL4IlWFLp+GSSOWWVLQdwYDet/wK7hL+teAWZwfVy
bbPxm0qlG875eu21+w9/2gFdaWLcxWQdvaFnBLth7yFSlhp2m3X3oUk=
=zxwY
-----END PGP SIGNATURE-----