Accepted mathcomp-real-closed 1.1.2-4 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted mathcomp-real-closed 1.1.2-4 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 28 Jun 2022 07:04:25 +0000
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=ijOh+8xcS3djUcEqdtsJp7aElJKI12p24RiAfgNCo6Q=; b=Kj/URCJFL4PKvXe1hK4K2kPZg6 V8Q8NwMQKJIvJAKpbXX95ATS00bhxc+lTAnWMjMIGemI4QV4f2adcHRSN3oj7O6GgVDVhGfXlxIx/ LrSm7shfIi1PcywJMxb40hF0w7Ug3zm/PWHR3aKo/mxRzVL8EdO3cUAgRNjzvoKY0oCgZtmM+3nW2 spyzqzsd1nthz5mNSF/l447uifY6tqKuRZOLq2KmJku03TKbQVeFjsSnM7MpFz06PGlqlqFQftw9c 9HwOzAIBzeO2ADDlTJ21+BjGpeP1gWITM583Bn1fGUV5SMPm7ShTXs0dKCKJD/GK2OFmH500Sac49 1xwBFuUg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1o65Gr-0003AU-97@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@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-----