-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 13 Sep 2022 16:13:40 +0200 Source: coqeal Architecture: source Version: 1.1.1-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coqeal (1.1.1-2) unstable; urgency=medium . * Fix dh-coq issue. Checksums-Sha1: 84986ec108317a144eb2ba11dc11c999e1eea8f5 2153 coqeal_1.1.1-2.dsc 460a27738ff3201166064c9c01a2b1c69a5382f0 2104 coqeal_1.1.1-2.debian.tar.xz 989453e1824c568f14ae5f65a8e3a4a7fb0d6d70 7376 coqeal_1.1.1-2_source.buildinfo Checksums-Sha256: ac9df5061874f03ca46fbd0a34081aa2eec5a15dada2ef55ed538a3314689a31 2153 coqeal_1.1.1-2.dsc f713fe8bdc72b7a89439a02c92828f7d7cd672f3547b52abed1e85e8cd91918f 2104 coqeal_1.1.1-2.debian.tar.xz 822b3a73a9f8b3168735c77a599d0c7d5ae1479a99e64e25fedd0f23d5cd68ed 7376 coqeal_1.1.1-2_source.buildinfo Files: 8d2229fb51b48caacec6b8c13994e9df 2153 ocaml optional coqeal_1.1.1-2.dsc b42b21b40f4a7fc0d5c930112da23b2f 2104 ocaml optional coqeal_1.1.1-2.debian.tar.xz bd121d474544e96afa323ecd86fcf1c4 7376 ocaml optional coqeal_1.1.1-2_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMgkD8SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRnH4P/iKzRNGQcbgivav66APRvC8Wj6PSWQqs rWEOz2oecfPWpem27iOSWqd56PpohXQkqKX/F/2lX1ZGr6hb1kiKRGMZkEgmQGkF bxAFgcBdXX/Lu4hRn9db/KvIKt6x+OuOUF08cxo/LIZj3+DUHRhf2e9e6tabClas UxbcOKICIIlLOGw5dzG0VUDrtUev5R9BXmzSPZ0OlzJjewbLGIl5PHydcM1zkP7t QLeaYcFBDT4sFC0Ug8qDOTxsulnzMqbU1SFcABZ4OCsZuu50qkhKBzp1VYRK0ASM cEjm2BVMco2buWkUUSrDcZiXCadg/fDXgVxUtCJYUud3XZsl0L+Qirkt3TTJHmrS js22OR9fs+NL2wvLcrRZ18NxR0xsZKYLH9dAV5DkMatt53bUoa0E2SILcGiiNvt4 XhyFiw11Nh0EroAAdTrr2JbCAvNnNe9F9GbbZlsJY9L1PxNROXiiJF8ouAC2YMVP N6j+SmItqDOlqIIpJG2V1DaOGT4C1qgzbXNDZK8azTMJY9h1/C+sw7adBSf4x3JC WY5XiE8YZXstnbaIAssaMjQ72/UkuyRadQSrGrYgBrTGnV+ontZr4JeDzF9rVVyL rR5muJB0e0tCNMLIAD1bqOf5nlt7eoqBQ8vILYaVYt9DD4pTZE7rJ/w2RPXuiXST MHH+XSy8gom6 =/2TP -----END PGP SIGNATURE-----
