coq-reglang_1.2.0-1_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian.
Accepted:
-----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-----
Reply to: