-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 13 Apr 2022 09:01:51 +0200 Source: coq-elpi Architecture: source Version: 1.13.0-5 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.13.0-5) unstable; urgency=medium . * Fix binary packages' depends. Checksums-Sha1: 37c97a89da126e5448b4d7f4d3c4267ff00df6b6 2146 coq-elpi_1.13.0-5.dsc 29c9a4492322ce0d7dc3a4c09a7750ec50f7a09b 2960 coq-elpi_1.13.0-5.debian.tar.xz ad135550d17fd411aeaa003b8bb2349dc71a61ec 7158 coq-elpi_1.13.0-5_source.buildinfo Checksums-Sha256: d9dae9cd4f84439538bd1ef662e2d987ca7e4d6022f436ae7a390f61c7c133cd 2146 coq-elpi_1.13.0-5.dsc fea05f1ab9dbf5b217400745eb9e468f09bd571c9433238f77a39788f9d60086 2960 coq-elpi_1.13.0-5.debian.tar.xz def6b3df3cfba5de3ddbadbcaa686e15bddf9623a769815e0b260da6bee5eb28 7158 coq-elpi_1.13.0-5_source.buildinfo Files: be9eed1e79dbfee07ee023b24330ef5a 2146 ocaml optional coq-elpi_1.13.0-5.dsc d92297375ac5c5536d5ac5ef71582949 2960 ocaml optional coq-elpi_1.13.0-5.debian.tar.xz 777e79527c859f4d26fa0c1db3320891 7158 ocaml optional coq-elpi_1.13.0-5_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJWdZMSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRMXsP+wfl+hWOVwsHuBuwZHJKbA/UNuwpzJ3n 0CNpTNvISwpc8i3KCWhFLodlBwRMa3u2cHQ/GlVJ0upyqNTdn5FHRPaJ8O4ARdCr kOFFDHDi5EYF3iodOhs66H4y4LVXT0Vgi5r3TTu297QJMp08J/9unQzyVje9eBXT fjVwsF562+0gNcdNYWKNbodtchQi+bsypODexd0mngI3PIh4zgShM4kf6iBUKLiI 4ajZW5H7O0z9Kn6sgxLrSxkAliTHCE7n25Sjz72sLLAeYSYk8714R3/aWByKN0dg fx6Gx2BmvLB3ukn4I28PmDZiBlHBrZ+FlQjET6aKP/si4Sw4wpGQIfJlqAYtJx44 aYw09lKLnwvYyPugZeoyyE7BSknNdM4juBn/imixRdsH9ueQwmVLoOtwraKfWYaX mL5WyPji71k3D/tannicbp4j9krBW63RCVG6TaCVjDM2p7YIeKwhYg1sJzcXWARh r4lwVJES9nSDSSoRJGasBhg4PVB1SW1fa1EpwOkEQfLJV4cL1F7lOabcrMTKtw6/ SLaG0R+dn/UXLnVWRyPBOrXJAGm/D2/ZCrC+DyZrjO3kldQiHssB09C/SFdG5k4r UCjcFMYbg2rJUX4yDdR+A+srF3rDTDVKAeKUiiQj1aKSmIIFOzymC+xri39OXpND dDKYr3p7Clp6 =jbG+ -----END PGP SIGNATURE-----