Accepted mathcomp-finmap 1.5.1-7 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted mathcomp-finmap 1.5.1-7 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sun, 12 Jun 2022 18:39:46 +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=ZOtR3UWTwIYBDzUrfVdBnFh1pAPCSBiTeFBqXSYAvHI=; b=f64WvKia2iC6ACi1/uhOOrA2zt 521p1XxW8YklBecnJUV8+9toaWRRniAUo+wJL3vfeRZmPI4kCNDhgIVpf6wMkiF3yLtK6iBuU7kFS l3gFD7GtgGSqIgfmTwab0wM9Rul1HZwrKZtp8Js+oYXhVQIuxjxl90jHtVGMF+/c+ZVAP1FDh8A7h /X3p1WQjb8eSwSNIzcPUB0S557HXodssb7OZndnrPvlptAVy7CYK2VHrR6lifKYiLOvWf44sBOjoT YXXCvNQK13NNT2vHMqRdO4ZF9yiAnxTualt9EVej6hgAllACu2sAbuITj6wMDqYGSkDZzl5UWD8Pd B1XxlyXg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1o0SV0-0009PD-JV@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:12:25 +0200
Source: mathcomp-finmap
Architecture: source
Version: 1.5.1-7
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-7) unstable; urgency=medium
.
* Use dh-coq.
Checksums-Sha1:
54c47059cef47734aff1467fd0960fca337254a5 2079 mathcomp-finmap_1.5.1-7.dsc
503033b8a90a8865a5b10afe0d17dd4267803bc0 8540 mathcomp-finmap_1.5.1-7.debian.tar.xz
6bf5c431e51649c2c103370d2b911aeb3ccc3d95 6635 mathcomp-finmap_1.5.1-7_source.buildinfo
Checksums-Sha256:
6c4bdd6cda04b5e4abcf489b729fec69d974ff2a56894099eecda5ff61154feb 2079 mathcomp-finmap_1.5.1-7.dsc
480e55ac7a45f1c910049f75dc6e12973b627ddff401e348e6cd1c5f460cbe6b 8540 mathcomp-finmap_1.5.1-7.debian.tar.xz
55ec958a71642eea69caa4895d76abe3cefb9209cde648ff7986554e648c3af3 6635 mathcomp-finmap_1.5.1-7_source.buildinfo
Files:
39f95bc9e4488656090d11a8a49eadc6 2079 ocaml optional mathcomp-finmap_1.5.1-7.dsc
d737f9870b63a87644f8b3f1db795be9 8540 ocaml optional mathcomp-finmap_1.5.1-7.debian.tar.xz
97d5665bfa4b55548b6e964259cbb30b 6635 ocaml optional mathcomp-finmap_1.5.1-7_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKmLQYSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRqtIQAIvD8oqimgWIaDOWlhLyLYOJF5mK2fii
q0SBLz3l6Ofp+sVXn3x8+FUE8ooi7JjMlCEo+UZKtkOmR1oJHZtpkASWtNRYnYN9
K8XgN8tcfr0eCDIMs2mhzt7YI3eID0iVP0ieXvsVk0KIencedwEuqibCXHOI3hDC
ii2mhOgNoDb1cG50jQjnq2MH7JxKofRR1FgM60GlImBTqRAXWoIlMEJbansT6Ma0
bGalgbmi5DsBru7piyOe/fpo1j7/m1EPOY+b0OBfL+H8YqsIzRUVFMFbcC0LMyxX
kxNkVCR/VQ7HHIRrzEGYyJkYz7Y48sfql9goZ7Cl7EOnfPy9A/EkiibYLRTEJtAp
AWoNvpITXO//D7+aZ+bWDwKwWo6BJWVenfdxUl/qqWxaFCmPV17TVgH2TMdt4gRs
iL0mtUYWZ67POzB7nOI2HVqCokelFMrCXUXRYDUoixMFSM7zyajktm9sc/6lOvVX
QmhctnbIBEySXbcRKlueLCra08/kkBPoANEq55liM0jitJ5iBNwuo919qXX8ArQj
jYmIZ7OAyPuDlqrYA/FqGP9RAP1sflBP5EgKVtzjAgOJ+wYMBAvw8HZcbF5kqOo/
kwczTio+ZiPmd5IKJyAC1EJMF8u65i9Ja2LvWUwJOidZLIqUhaIrxcHyGnxDa9yW
mDng/iN9+lPv
=okwV
-----END PGP SIGNATURE-----