-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 21 Dec 2023 15:40:55 +0100 Source: coq-menhirlib Architecture: source Version: 20230608+ds-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Closes: 1044951 Changes: coq-menhirlib (20230608+ds-2) unstable; urgency=medium . * Fix d/rules clean target (Closes: #1044951). Checksums-Sha1: ee7f99a2120261032c187d105dfb34e340ba3290 2145 coq-menhirlib_20230608+ds-2.dsc 1ec5a8422dedda68b7968217f6bfee3c90762798 1916 coq-menhirlib_20230608+ds-2.debian.tar.xz eadbf953e69fd385554e171dd98a0d7642f238b3 7872 coq-menhirlib_20230608+ds-2_source.buildinfo Checksums-Sha256: 9e708e3aaf67bf82dbbe0479a3889d1eb724d30cadfdbf5c2ca9cba1eae0ed95 2145 coq-menhirlib_20230608+ds-2.dsc f66590efdd811b1757ab1d510435fa44008a47873903e83d9d76907da0e77beb 1916 coq-menhirlib_20230608+ds-2.debian.tar.xz efcdc3d90fb91c33edff2e968ca68860e322162c796d058677c5ad1d17621e60 7872 coq-menhirlib_20230608+ds-2_source.buildinfo Files: 7a948e09e18bb962581b3fa0b15be8d2 2145 ocaml optional coq-menhirlib_20230608+ds-2.dsc 1b7a355b2929e3ce1e108927d6d8a00a 1916 ocaml optional coq-menhirlib_20230608+ds-2.debian.tar.xz 1364aaaf022cd3c613c9defeeb3714bd 7872 ocaml optional coq-menhirlib_20230608+ds-2_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWETpYSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRJu4P+QH9tHQWqnftgvft8DlfdHLeuN3k22bn W9WJk4mxGVy7LdR49VT+g/Shh9c/d7E/ogB43fKZT1qFpCzeMg4RF2ez7hXwKgoN kJwpzecdO4E0gdyjhhssbEz0aqHVRpPlkkG3snT0M1rShCaMlGcAED68gfCLVrjC TWOKX8CL1vahtL8Uy+o7cGKPzbtGNAxn4UpJyoM3iBGcqD2ZqssW5aMuE5aVrlAH Jy52vhYcOBcCWxuPhmDwv27Dbos7xjDf9ym8yTzNdjDTDiME22N3L28eeTYXAcHI pzI0K2ej+Agz0+rtvyzGdzxWix7c0EAqV6VILvWqg8zuiMRDSFL3JjwjSTfKLI6v Nd1yjY5AI0ASfzjcrRgZckwpLnhHyrhOiD7corP7bqRTbFlqjKWrQolZ4Hxo90Of HWq0FaW7A/jRlkRdFOW2hkVooVb4jg26Qv01uDro5FTBYiiUnOerG8xcoYmTHlZl Njyke3HoO8goQTOcA33GVjiGYtsFmWUMQ5yrHaQWOIbARV6ej4rjQnAE0SZ/1BoN T2jutiDIJfc8ZaYnd4fc7kwYTr3CR4hubPyQXLQrGqjgaMwgfTtM6V4wR/skvSja pzcnBsj6vTENiUj6zYcnBbe4lxdLKwGOnFachVrDx7/W+WdrIrY9LhKQT766UFir 3+jif/SvHyCP =OWWW -----END PGP SIGNATURE-----
