-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 11 Jun 2022 22:47:19 +0200 Source: paramcoq Architecture: source Version: 1.1.3-7 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: paramcoq (1.1.3-7) unstable; urgency=medium . * Use dh-coq. Checksums-Sha1: 99bd2db288a61e88958807af1cb4286ccfbf79c6 2182 paramcoq_1.1.3-7.dsc 0be17453a41bc2f9f04dc6762a206ff8c06ea370 2936 paramcoq_1.1.3-7.debian.tar.xz a3a3694db9a0c16380c1ec6aa9de6a4d2604a1b0 6715 paramcoq_1.1.3-7_source.buildinfo Checksums-Sha256: 1170beb96ea2caea611c4d489d20dfb66adc7b059fe198a0922e9c1ad54866ea 2182 paramcoq_1.1.3-7.dsc 19c81bf4fba95ec1d05b573afa7870443e4d533c38d6dc065ff2dc5c5830e269 2936 paramcoq_1.1.3-7.debian.tar.xz bbd82dfe294e0242958998e5e03a6b4432babfb6712d7c80479808e72099ecda 6715 paramcoq_1.1.3-7_source.buildinfo Files: b236a97146bc10c273c281b3119b6741 2182 ocaml optional paramcoq_1.1.3-7.dsc 33a14d63b784863702ad3386d9ac8e41 2936 ocaml optional paramcoq_1.1.3-7.debian.tar.xz 90d9ce3a55a7bfb67a58fdc65eff3273 6715 ocaml optional paramcoq_1.1.3-7_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKk/2USHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRRZ8P/3nzmB8p5A7apd7wATawn0AofajvcvjA XxJz0bQqJ6bcGDzRB00yrJPDwuybqM48OTW6QDDIUsKI9teo2bwmGlHeHlI9BAAY Hwb6EbOtEQiWtPz7+prE2ExxTGC2kT/209JuUvUtlE3YhusqCaQWz5ynP3Alx0CD A+uMngkNakZn7QnIYuyvd1PxxBoIWoiT2JUYAADAbH8gSmGtakJn43l6mPP7M9fr bCDRVaIVI+7H6ozZxsdeQakrY1hE3Fypij2/aMnyOxdEyYdq6XSNr0Qps7bmp75x xa9VBTuciQs+nDytkUtax+02yWBBbT9aCjsojq8tgiqpRSrIFPu/8q8g6zZXpCEt PA1b+txdcCNrgY6Eic4UAvVFLy9MLDHZvM/QBWQHBTBx7BMkMSJdCVj5PsIfkYVJ 0d7OH131rNq6iNMGfC6dsUTxU7ufXqYWN92m6uNUgoq7zFhnOzXGeWSqFFsLO+rS qvQ8oT43a6Aw07wt1DugpkKkQhEkYdU7JYCLupUTIodHdoe9XMIBPHfVmSscxb0Z dZPjn+5DE4gJMklV89lCeyV4FfoeJmnLDnU6avAgpr+CRN7fimM+tLoDQnCLYfxi uvaLbUces3yj2GqUC28wvibj8pLbj6M0DI+MW2dzW3fmRsXXIGIujYL075s8E7J6 BPAZCRhWQ9pl =45M7 -----END PGP SIGNATURE-----