-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 12 Jun 2022 14:26:39 +0200 Source: mathcomp-real-closed Architecture: source Version: 1.1.2-4 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Julien Puydt <jpu...@debian.org> Changes: mathcomp-real-closed (1.1.2-4) unstable; urgency=medium . * Use dh-coq. Checksums-Sha1: 904c50b94584e3b1e79b4731e8ae172e4ee2bce2 2217 mathcomp-real-closed_1.1.2-4.dsc 81840ffcae55d91c6f7f3362f711a9bc505aa876 8564 mathcomp-real-closed_1.1.2-4.debian.tar.xz 66d524196574c72341fe333a693333d1c5c05fad 6956 mathcomp-real-closed_1.1.2-4_source.buildinfo Checksums-Sha256: 9766da43486e7950b6c7d5c12d3ca011030e5ca34b36acaf6b8c530af663c5ef 2217 mathcomp-real-closed_1.1.2-4.dsc 2737cbd832fbfe0025e5e710ebae0e3fa094623b94c6700220894906b3b3ed2c 8564 mathcomp-real-closed_1.1.2-4.debian.tar.xz ffaa2dcda939058b40a6bbf0510517fd997d064168da506d1725ca8018f50c68 6956 mathcomp-real-closed_1.1.2-4_source.buildinfo Files: 814f8df6ae5e4286757d76775b36dd40 2217 ocaml optional mathcomp-real-closed_1.1.2-4.dsc c998d82e360167a1368b190ccde67627 8564 ocaml optional mathcomp-real-closed_1.1.2-4.debian.tar.xz 997556b09f03617cfea8a180d3fab352 6956 ocaml optional mathcomp-real-closed_1.1.2-4_source.buildinfo
-----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmK6pQQSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRarQP/28Do5maqWjoGZA4nqToqEqArK1iK5GN 3Mk2qXOhHCTiKofXUV67bFDolYUnq4rVV2HmF3hcLFYAYP+nCkMr+ac4O7/Aig8Z eRP5XHYH5vOIs1IxoT1vWamu71Sr1GNzeIjJ2PCXOn73+thoYq6RMUrNixR++GFV OfgkOpHirxUQrKyxjOmkyW/bAQ9U1zdxePtgvp4dmG5GxGIZDg3D7QZSHCw2Pfxu SFKDPV+94AfDRzUrvD6k1QdGP/3QgYPG6xEJDhS1FLeMGYK31OEPQRTz0jz0veu/ VuE3dTVrEa8ZdHNph3W4lUDOPpf4RoJ0Xpagm069hFIDA/Tu9MWuXQJQrvuHaMhW XNN3nNnW1fXe77iJQa+0Db4cV0cWjHtv9yk5Kyo4080wW6jkhcpWrnZM/SDP17Kt JomUrutm1lme3MCroSDAx/gZbvdpMP6kMswtLmKOz24BbmuSU+fjkVbDrP8IzNpF oc5WbzYsOKGlHz1wVPXepxjDN/LzoC69tnfM3q5ixfDK156JQM6o+7rOZEuhmn0F i5mc54wOOcUAHK5c91wDhYjhv8JIK4sfK0Yjx9m2QNoLpDXwPY/ft5PInmh2jhMt 1y6oTsfz/6twkaTcX8IXqpdsXUetuMXwbkX+2E+lLzz40YqBK9adTuoJ2McJIOZv /ljPZ3xVJ2St =spat -----END PGP SIGNATURE-----
