Accepted coq-menhirlib 20220210+ds-3 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-menhirlib 20220210+ds-3 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sun, 11 Sep 2022 11:33:49 +0000
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=+ezq0WGnjTxkhjnU9aOx5ShrWVCgjte6KC6/XFfG50A=; b=Hq2NpOF6dId5LhHCm1kXC/q2ZN kP7qSHF01guNoZcgHNycZ7Td9lQQnLXqIPkHYTNIUUO/EC7K1pUJMDHYDzCoPPvt8Z5nuy7rZMkKJ kOkNqmsGlUq5igpaBVK/+skyKMoyoS2UvvNnnVyCjemerQwNxbleutrWJ/9Q1lHbsQGGS4jOev8Ms u8zGIPjtpChr0y9l7t39hodCccjFAD23BsA3nHrEGNwKekfQCJPBZBWQlJxUpjGyMZvQAJOyUV+q9 3wCv7cQJiGkBStmjyB6RWg8s6ct/QMSxDqcOsBHGbn27udrQ0kuFOwXMJXGfxqBOYEBnM1Q62dJQx V0vdUhvw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oXLDh-0058ER-V8@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----