-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 11 Sep 2022 13:14:58 +0200 Source: coq-menhirlib Architecture: source Version: 20220210+ds-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-menhirlib (20220210+ds-3) unstable; urgency=medium . * Fix dh-coq usage. Checksums-Sha1: 8bbdc642ccbf5df7aaa8a56ad04a61acb3d19ac4 2140 coq-menhirlib_20220210+ds-3.dsc c544ea3e3f825051b7068f872af6af0ed4c79274 1696 coq-menhirlib_20220210+ds-3.debian.tar.xz 17a007ca5117719f0d90696fd9bf8eb3ab1e06cb 6974 coq-menhirlib_20220210+ds-3_source.buildinfo Checksums-Sha256: 923fefe4cd6735233e0bd4f82a0089a53de6e14e095160e0a30b2ebe19785582 2140 coq-menhirlib_20220210+ds-3.dsc 184c2d3ce7faf2b0c2d3cd35f03f16bd96cfc4ab5e2f48f6817ae290bfd53c6a 1696 coq-menhirlib_20220210+ds-3.debian.tar.xz 95b73b3e532340b9a1881ba82aecdea332c086f7a320dde95feea253f79bd2bb 6974 coq-menhirlib_20220210+ds-3_source.buildinfo Files: 3a2c3fb17d7e0eea2acbc6023cfeaca4 2140 ocaml optional coq-menhirlib_20220210+ds-3.dsc f936922f7ef07ac3691213ac96d2cebf 1696 ocaml optional coq-menhirlib_20220210+ds-3.debian.tar.xz bff660986abe85762abbc20c6ecf4729 6974 ocaml optional coq-menhirlib_20220210+ds-3_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMdw1ASHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRVmMP/RPiWRJVCvwyFpgAwf0/Tsf+F60+dEdW MLEykD4ghn+VBxu9tv2Y8iujYN/OgViC1hwjp3wJdSFrYEKEURqLgKUZ/l6Dc0K6 PV1u5rbNW/18YYHh17m2IEuMrS0a6skyZ3KjxmrbSxO75zgVx5pZrgl4mvtXJ+hl FkeVz0dig04NTWTjn5Yvc5sWFEfyrLdKJXVNwK/G2r8menWwWKBH6emBkGgLeBbm uzkfbAvzi2/uSYQK6SLzOYo8dEKswI3cg6PAkWqA85PWlco+YCWdkGu0A1TQVMQX C+f+dD8uODmpLNngW7NBms93wx7NLZMvyJf12xYrE+hEQoUqi9mp6NSDofN9R7lk ai/PYBa0dTDmX/+yQSe0vVfSm47TyZCIbXSThu9SlHrHmZm6i6VTeZ2lvC1TveuY QYQGGXfE4BQZ3uTSkwiFCEpQPqEXCCiavqyne9Nb2MnshlY4ZoknCBF988GsUd8F s5bloE6IXBjppx/P31Kf97gMHYqyBVZLk8dzeIQlmIdexcsPN6sfMNij9WGHLVsg FKjt27ChDyXhF7anpcO9yBwGrHndJXR0B5QaEb4nvbFwf3C95IFUVfgs/76wMho9 zPN6XKUhyZZGamTXxXDWcioUNAH+4hkg2cRXHLlDrldoMLEV38M5rfpgq9EC+61R FTu8yh/jjZ/j =4tdf -----END PGP SIGNATURE-----