-----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-----
