Accepted coq-quickchick 2.0.1-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-quickchick 2.0.1-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 25 Dec 2023 11:34:12 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-quickchick_2.0.1-1_source.changes
- Debian-source: coq-quickchick
- Debian-suite: unstable
- Debian-version: 2.0.1-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=D96au/8JGO2Ei3F2PMDbsYMeaiVwmth1jPCylmgkr0k=; b=CCiyTJkzgdDftQpfCruB/6s/qg +TzfGtT5fQZqOOXtJv4J7jSIJhJJV0EwVzRr/8SdyGghauOsybuHMnN3P9KWUmjPJjoXcGHNmOjDX 3lhzaFR8Ncgj1B11cC+P5t4zhAbdxNwjNfpRIHfV3hqJLMp5aYlidwP9RUtg6bYy14KDNnOFetaN+ QoaMqeUWQ/JAY8zyZgzLRGRmkOltjJY5MvcEstCFQEPqg6NAG7v4EYyd3q0IJ0d9Wu4ozZEDlpdJP YUOU5rvxZ1ahMDTH5TtSBXVhDULnwfMAQE1usK8bd3HPjGindZ5j/eAI54ZcPwbq9ujp4pokUKHdv F9rLC1Tg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1rHjDo-00EvEV-ML@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 22 Dec 2023 11:28:29 +0100
Source: coq-quickchick
Architecture: source
Version: 2.0.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044511
Changes:
coq-quickchick (2.0.1-1) unstable; urgency=medium
.
* Fix d/rules clean target (Closes: #1044511).
* New upstream release.
Checksums-Sha1:
5d20fc14834fe414af3b97f9818e50b1c52192cb 2275 coq-quickchick_2.0.1-1.dsc
80b27cd36434afeecb046b0cb34fe55def180220 410072 coq-quickchick_2.0.1.orig.tar.gz
08a818bec3197905a34802a50dfaf6f290723488 3008 coq-quickchick_2.0.1-1.debian.tar.xz
38eb776fb8331286130102706470683705d705cc 8676 coq-quickchick_2.0.1-1_source.buildinfo
Checksums-Sha256:
31d06b0898baf1ed1e1a8c09b5392630827efcfc221c48e8917ebaef4831f88d 2275 coq-quickchick_2.0.1-1.dsc
9b69e605c25fda38e3d358e2c71429477a5fe94752ff8956bbd158386d642aa4 410072 coq-quickchick_2.0.1.orig.tar.gz
48f324e00aad16f6660d93ba939ffcd79790e74415e7ecd8c1a72e119827bbf7 3008 coq-quickchick_2.0.1-1.debian.tar.xz
5e7869428f5f4bd904d6ac12cce513f6af80a1de21fceea744872eda00dc1be5 8676 coq-quickchick_2.0.1-1_source.buildinfo
Files:
c616b5cf1864a96ef2df169302e11020 2275 ocaml optional coq-quickchick_2.0.1-1.dsc
1f3ba460ff6bfcf7bcb38b6bf22a8825 410072 ocaml optional coq-quickchick_2.0.1.orig.tar.gz
482e67f55eecb78964da6992895839c6 3008 ocaml optional coq-quickchick_2.0.1-1.debian.tar.xz
b17d6f1103e8ed1c46fa225c3abfaa1b 8676 ocaml optional coq-quickchick_2.0.1-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWFZOsSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRiCYP/ishdOCynPsMXAdON0H55CjP9Chzo5yw
jc8BfDzzaPt/IQCxlLHYor9daoaW15AerthZI9zxJT0mqbm4WE27zK8FG7rL+/RW
UJELOiVPIgCsG8N0ER8uW+ACWXQFarOcF9AYS537JF/mjcIe2r0+oIGv1kwFF1ho
KlVPl8qqqzSoem1NcDCYHyiwDiqZtLdNMXEivFMX2j3Ul2ahIxla8U15gIKc9fL6
H0HSXpdu/x7f2UMU8uU3vKX68rlMR1IYeJoYVefeKQtGFgZrSDZKytae73AZFOpF
LpI0ZHnGQBKjY0hD6JkDdI1zwrovEmyigXRzjbcqo3WdqrkOqtkaM0qicAzc7A3s
RtC/MduWcDVhB9CQUhIEH+5zIGTTg5whex7RTxBXCHN/CaR8MQMeQHMAopIDwUKY
bWNVn2OSLad4uuLaaBr8z5A6uYyEIFK6StA0rrVCe+PtF98MWOf/GE18AB3HVAzl
aE/2QrjNumBRR+lGtd/KjMybbxAfw4ZAg2iqJ/O3JT+EEud2vizKRYZME7Su0jQ+
H4OkJa8LMwU6Kz0yFDlzSixIaHQecAGttNY13qkP0jQN6iUh2c+mF90vsMOUBX7k
YdIXNNazNRMDRsozCUySVJzZmaQiewtMcTLTvkC378amHlImrvmpSIKayh8keC/b
s/7vIyK8TWin
=MoXI
-----END PGP SIGNATURE-----