Accepted coq-hierarchy-builder 1.2.1-11 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-hierarchy-builder 1.2.1-11 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 13 Jun 2022 05:33:52 +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:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=akywtHN78DKzVOjMWK9pFOuZMkckdAITb1vQFaWHPRk=; b=ax1cOkwKlhudwfh/rJhoxILED0 yBxsZkub3JGAT/IoIC0T+1OJDTAupKhHExxZVEXtlfat2T6Ba+aTVlbC63i+9DWlcxSd+AxRm9h8+ e4l1ZItDKj43W5ynK3s6u4ksR5fI2eNdiEKdy3bSQVIDoF3ekecYKy2xtsUskO8GjE/+3XvBoyU21 wC6pR9sSUgZZVQRhhK9khznib8zi2jU0o7qQ9BZ5yB0u5ty+AWJiq86rMHu0Sy1+uJCIePt+qWfOm W6rV7ksvJJd2UotzxjU1AmB9Haeyaw+Sx+DqesDExm8sYMjWzJR9U5k720BIqny+eqGxZ71bpBJM9 HJBlXf9g==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1o0ci0-000F4f-Ml@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 12 Jun 2022 14:03:31 +0200
Source: coq-hierarchy-builder
Architecture: source
Version: 1.2.1-11
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-hierarchy-builder (1.2.1-11) unstable; urgency=medium
.
* Use dh-coq.
Checksums-Sha1:
d18a87dd5a3432faa12eed54148b54fb0860101d 2233 coq-hierarchy-builder_1.2.1-11.dsc
8704b1ab2c2cacf7f9e7f8a0c86de8a863e3df35 3760 coq-hierarchy-builder_1.2.1-11.debian.tar.xz
55d792d93585fc480e0ff89841ebf42539db83e7 7378 coq-hierarchy-builder_1.2.1-11_source.buildinfo
Checksums-Sha256:
08f5bb9e14d17fc5f4b974cfd5fdaa5ce883b36f876226b3b38475b990cd9520 2233 coq-hierarchy-builder_1.2.1-11.dsc
39ab6d80a629c7d521730c2c38d309bcc15fed4975b1e60147517d9d005e1d56 3760 coq-hierarchy-builder_1.2.1-11.debian.tar.xz
b283b1832eebc64e3f651939921c3027c450f8fb11f7e32ee040f0339b19d6dc 7378 coq-hierarchy-builder_1.2.1-11_source.buildinfo
Files:
d8e2267423b6cfa9b8aac8bac4785bcf 2233 ocaml optional coq-hierarchy-builder_1.2.1-11.dsc
a08a6d743aeeb04af0d6a0468a9c6a4a 3760 ocaml optional coq-hierarchy-builder_1.2.1-11.debian.tar.xz
e62897642adf1823edd8603a59838fe3 7378 ocaml optional coq-hierarchy-builder_1.2.1-11_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKmx6kSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR/hUQAKb1f3t+JcHudORAJdHR0PRtyqUS4bbc
mKln75UBXHnERGWvGmVDSMCvP6b8f7Cl7qn0F/BRhFjt1aT5m76x8/VTYCeU3qgw
3BVH9CAd56kZGs7YPikyBBsbIGEgl92MMoziU58Jo8+9UiSCTlWU7uo0yax6sHDc
pwxMxk8zTQ4pF6DdwZLv4yLCHhZVD2PNKo8L3V1rNmrAjPvnGHoOwxxpKiwbrgdT
P0CciGJnqQQvYFLGUw2i7sw9RF14qP1loT/slXYfpUic8Zv1NlI6Ka1dnCNa+TX8
EvInGHad9YtkjiKyK9NfQZ4OJ9bnDxGr+ZceULI0fWzI0c944e6a7cPMusmx+7H3
RP4rBXQXUlIXMUTRUFDQ+kO4roon2ot3Qnzh1Yt12ILEFqy+Xg14glz2dmgW+eVk
JjmTPp5ZpTL9DBBCvCBQMcGHTu1itstm+qnymP6CWYMu1IsM3CFkZZoEdDv7RkFY
1SEx5PsDVQKGqt7fmOAmlf2o9cS3NKSL18SeG+HlTyMpOG55xWnNCW8NOVpDjUEH
dT8D/Vd+7fgLO2ixIxDF5Jtqt4V8N5cimHvRLllZUyZJfFDZw6y7wqvRxN1FSFw4
YR4uZGuLb7M5Qo+m7bZc1Yr3YX6DaJThJCPNVywZCQiIPhHwPWF4QM/0mbAOEMVm
heDglSRWYjdI
=RoKr
-----END PGP SIGNATURE-----