-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 12 Jun 2022 13:57:38 +0200 Source: coq-elpi Architecture: source Version: 1.14.0-4 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-elpi (1.14.0-4) unstable; urgency=medium . * Use dh-coq. Checksums-Sha1: 13119f0016ed9ae50df0e237043675cf4d6419f5 2165 coq-elpi_1.14.0-4.dsc f8178a8cc9689c7986945aa74d2d9d962b568f4e 3188 coq-elpi_1.14.0-4.debian.tar.xz bf321494c8e9d278ff63dfc0622636d2dde84481 7202 coq-elpi_1.14.0-4_source.buildinfo Checksums-Sha256: aa907415e7364ba9e728230e9c057a8d4338eb18fc2cdaef180aa4afd2a70fd1 2165 coq-elpi_1.14.0-4.dsc 65c8b6d069289af84111f24d93072f1305559e4d612a6d901640dcf1cb5253c1 3188 coq-elpi_1.14.0-4.debian.tar.xz f2153a21b91e6ff0d1d6ba1d5515aeae63f02f344997dc076ee7330997250c77 7202 coq-elpi_1.14.0-4_source.buildinfo Files: cf98c8c3dd754dc05b2dfea8ac53f14a 2165 ocaml optional coq-elpi_1.14.0-4.dsc d2304fc9e7994b6c02817d1286666157 3188 ocaml optional coq-elpi_1.14.0-4.debian.tar.xz 0aee7d056a8ad0a8965f867a9b5fd4ca 7202 ocaml optional coq-elpi_1.14.0-4_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKl1MkSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRGG0P/i0V6uk9DTBKTG3XO2c3SDH355NAAFIx HegjxBe2ThpiYGwyOf6bLDUxqLi/I1M+WntPi+Za2V3WXLikyDoQE+S7TVT3h7Di Ry35cOKf6Ar0V0ela5IlnSbqZV03mZk2f0P9x048k/Oogk1Qf7Zzr2OeryCgEq26 rISS+CrYReh2vwqpeI8S+xhrf8t8sV0VLHZT/Gt9zsMsvyptMwsLXt9AkH1tuzRa EyDzNdTmVBP9g/SJORv9YBFI7a+vpkVk683Z5qHdhyE8ZT9Ew20u/oTG73lOeHvb owxYMr+mZXV5hE9Qx/6vmqRlqcshh5PELYDxqh4o4wI1YCF3/FtdqZ5Ac5uXw6cl lqUTK3Q3N81/D1Tmg1akb0l54RjNpbJVqJkfXpC+kbrQAKA6igVM+G/Bb7zWviXy CjeFKQsbgmzzwXtgQWP0PugX6cf8c9ejGPcG77m/PXAMz69dDRsV+OHiZb/BTk/H DCDxX8Eyxv0bKyaUeac3r/FpyR7BobBcc/D2nCBjUg3KW6aJVI3WFsN/hP5BrKuU Df4eJjtevVjeSZ/hczEEgacBAmRiDQtIS8jK5xvwPNkDuJVjPcrfXCoF2PI78WN+ uXdc9n4TqZG2KPLvF5/XLw3T0JvvW2UF8DGQVaDfjMo91Leyn8A8FSG9230E3Q1d MT96YhKZhhJQ =5Ojl -----END PGP SIGNATURE-----
