Accepted mathcomp-finmap 1.5.1-3 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted mathcomp-finmap 1.5.1-3 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Thu, 05 May 2022 20:50:14 +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=JhYWE6q63sRjjGYIyGx7f9jaMYhSasXLEZ+BK8A+uJM=; b=Livx7uDD9XnR8IJEuzNKtupWEy xw/PRN5klMlO6xaqv/d6yPOL05o3av1I6WAfRPGyFChFcT1e0LTapil+aLJe9Y87Od/UF5wodeFyP h+fiELKVlychWUQliIALxRmXhEsXtY7gcdVMBFAxbbvbPRN+dlmDSv4bBYgNDS1/SWfO1OLLKm50/ +VVxZh1mASHiiHEfm2kdb4Rct06K0JE5mtAUf1ZGdO/wZI7IbpKbbMBGW+BOe2jDgEKCCH48NO4Gw xEpeOmFa99ydZq2nrMuCvVU32drhBhzyx2DCEzOhVg+0iFuajPLGFiSHEzfsd31oARg61NFxtkaar gkoO3Mag==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1nmiQQ-0005QP-9A@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 05 May 2022 22:34:34 +0200
Source: mathcomp-finmap
Architecture: source
Version: 1.5.1-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
mathcomp-finmap (1.5.1-3) unstable; urgency=medium
.
* Depend on a proper Coq ABI.
Checksums-Sha1:
bdb0c5ce429bf5c68116b6c225c952b611627688 2071 mathcomp-finmap_1.5.1-3.dsc
da39970ecc1905fb13a190179ce220f82e5ea53c 8464 mathcomp-finmap_1.5.1-3.debian.tar.xz
931fdd6828caaea3582ef9e5334ae7ce806ec9f6 6676 mathcomp-finmap_1.5.1-3_source.buildinfo
Checksums-Sha256:
3e4bca26399abc8dd457a0527c584cdc6130894355922c1b206d61aa962aa5e8 2071 mathcomp-finmap_1.5.1-3.dsc
0317a644b81295ef714e2ac22ef84052c3274b80570b49bc62f4ed2bb520e4d5 8464 mathcomp-finmap_1.5.1-3.debian.tar.xz
0a8c580e315ff3808217a8d33d10079632b111e0c258e4c7fbbac1307168561e 6676 mathcomp-finmap_1.5.1-3_source.buildinfo
Files:
4292fa23a9451d82f398f13e6f7fc2cd 2071 ocaml optional mathcomp-finmap_1.5.1-3.dsc
09e26e8873d0c4b323f45186bad369e7 8464 ocaml optional mathcomp-finmap_1.5.1-3.debian.tar.xz
e4b709eaa8d174f67650cfa33342456c 6676 ocaml optional mathcomp-finmap_1.5.1-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJ0NU0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRZQMP/3D18A/7qadS6iIpfxnRN0RdjtnqxXeN
xZLyjrYjFhNbgTZLguyHTO9mcoCPXlKoZTyYhx3KEqI5nx18b8hsJsiQ6BeyOLbv
Bcp7tBEBUG6Jvuyy+GZjQJZRMgmt3X9e5VwTSaSZqAJoeOfipqzSs+l/hOau7h8Q
HnRBV6NWcVFWUR2Ka35mBw0TYXKqJMETPTwdoBPPRho8CrxnwbukTymfaBWIch7Y
9UJx8t/AakQFno4pYvp1LHXU1PYmC6K2WtmsDLtQQxAllLXbpOnG/Z5oyFczhVhZ
cJjezncOA2Vb+QBiRstsNYNQfvbnTO/4ZgmUB5/lw5weGo99rGxxaiTPJO/Vdwj/
9E+OTYbWLBu9NbIE0vHm3KZPoCsaNv7z84JgPRUKKF8zUXwMq/b0K+0Fi68I4oM6
aPsANSt4qhMQN78I1WOvBHhLnRZ0i29v9FzBsbDXFDSCTEXvPRHi6Q+0yZ2Kz6Qq
d8i3FUY8h2Hm6TWT9SBUe8F2oqmwSj3yagJUHi/f59fBtl7eS0ijYdA+gkysDmwV
6udO1Fulvihbz94zVV3xxqrb1yJ+yE4yGPvQYxbgq03mfFcfC6gnwXlhvXGgS7Zs
6ON386OHjuj77UhKXqxYVGzwFiPPn/kSC2zZjNdMwnHYPLcZXlC5qViWieh1KSQp
SnJI6eVusYsi
=cpid
-----END PGP SIGNATURE-----