Accepted:
-----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-----
Thank you for your contribution to Debian.
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)