-----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-----
