Accepted coq-reglang 1.2.0-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-reglang 1.2.0-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 25 Dec 2023 11:34:21 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-reglang_1.2.0-1_source.changes
- Debian-source: coq-reglang
- Debian-suite: unstable
- Debian-version: 1.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=ZPmQc5DGb55PEYtDrpNRnVDnfKjPtQtCMfXtQT+oMUQ=; b=QGTbHIwW3x9NeQe/YdU/nOQ1HJ xv7LoAcN1xr+rwZbYRVLMZO5lzIZuM4R+x0/XQ+jVEHEF4tw/7Se4Borh3pZSxo8bzUwQ0aefcSq6 lwUVfqrceareXm9Dh6mYa3oIEPXS6g14LzFgbR2eRs+G+jQ7DQZZNk+Pa8/5uaQUtqkCafh5sDHbZ SUd7K1eumIvQ4eDCRi1c6GsZHSem6dlmJu1sFLUpw4x8whx9h5UeqQgfAOzPXycxmrFxgSBRXI2bD OO/oPYs+Tuulbd1yauajnOoO3lXSoDWCDVfPWKUXuZk64fnXfARim6J6WnekriwqdgysvHCUmkYcU HnuCZ20A==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1rHjDx-00EvGG-93@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:21:13 +0100
Source: coq-reglang
Architecture: source
Version: 1.2.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044629
Changes:
coq-reglang (1.2.0-1) unstable; urgency=medium
.
* Fix d/rules clean target (Closes: #1044629).
* New upstream release.
Checksums-Sha1:
be826f369b27ed7a1cc84816e2d320694603b65e 2117 coq-reglang_1.2.0-1.dsc
3e3ef786c8c8cc69d1a83aea4e211b7f5dc9f9fc 69192 coq-reglang_1.2.0.orig.tar.gz
278194a5969e8dd6dbd5bb87cb258b142e9b37ba 8492 coq-reglang_1.2.0-1.debian.tar.xz
98f66620368d7bbc45842acaf383e7179cc12b2d 8464 coq-reglang_1.2.0-1_source.buildinfo
Checksums-Sha256:
4fa780d6da51ed52192483ed2a6a38fc3665cac732bdd1dc6a8151275381cbe5 2117 coq-reglang_1.2.0-1.dsc
4236dc1fd3c4c6cbabbf2aede45bb5c7c2a2891e1b68058facdde9eadfc23b6c 69192 coq-reglang_1.2.0.orig.tar.gz
54d4c0e7cfe8f6d7db070e3f76a241109ff7138efa574d7276ee23cf99dd3068 8492 coq-reglang_1.2.0-1.debian.tar.xz
634f8918fd064a93809cb491430770440561a0d36ebae9f18751187eb218ffbf 8464 coq-reglang_1.2.0-1_source.buildinfo
Files:
6ddbd70d3ad51aceb74a7fdbfcfe53ae 2117 ocaml optional coq-reglang_1.2.0-1.dsc
f699623d03b8d5b8ceb871cf00a9bf53 69192 ocaml optional coq-reglang_1.2.0.orig.tar.gz
d4e841f3b2ae1367cfc1ba1d35f1d648 8492 ocaml optional coq-reglang_1.2.0-1.debian.tar.xz
b00324c69f751ec3b4a2728f029fe293 8464 ocaml optional coq-reglang_1.2.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWFYzoSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRub4P/12Mr6QHN8qQD6O+a04tcrgjTZ+abt8f
w+01WWEKnKhAmKknypOqKDGdhOBGKHovrLtvfxj944MufR5Hv437eooquFxhzP90
AE8mc5Zy7LfAfPd7w5AcVlBjqdJFtfleQiApZB3XZvUdF2/A0nolTjZwcjpsZfnz
hK8xwUY/TTAvlRjB6gQWq3HOsetH0e2K+rJ/J0N+4Fdzp/UMiNWoqvxklkSdX3KB
gJFCDdKEhH2BO/+rN+CgDe4moDVjxcWS78mNplz7DVlXjU+ytYc+KpaUI+aih/lf
GuLEpjlYaB1goONCqL1xn3GPif/z2gXsU88xyrUGmbu+2jH6DECHJXH6jWhJ06Xu
5gveLd5yr68SqufaVoKkQkkhE03nW4Gy4D8HNPZ1eMipEBQW7/IkVLaoQF9WqTCb
G0yyuMSfEajLqma7uZTAjqNhARDLEpaBX42IkkhixZ1iGgo7Yb+IOA9KoshlqLbV
PojDZangdX/fpLSU9D3gsOuP2D6XigKuTjQaClx4qQrchB7v7XhvFSizs2ju5Xc+
aXOH9lIDVvsH9UMxIR0fOMxeVB2FBodQpfCB/xM4NH+VuLxqdkyEtiK4kcwVN6lH
5a0dsAs/5xwrSpiAx+qiq1ZDs5rK8a+xZyNc1Rmm6ORTliv+gJolTZMdUurS5Del
LeZ9GRPZHJm+
=B1U7
-----END PGP SIGNATURE-----