Accepted mathcomp-multinomials 1.5.5-7 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted mathcomp-multinomials 1.5.5-7 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 28 Jun 2022 07:04:18 +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=+9ZPpTI1rSoRvS5m54QCj1UnO1uLjFk2iUfAdRXDd3U=; b=pqhEvRZG65vXuZULDPbm3sW+EK bdzz0bYhLq6Vk2AeSfCimkubrov4+cIBnBvnX0gatmio0nHhagyMgYku5EctmDnvFw/pLKIjtDHux WDqG+sXxph3xxXYJJWf4bfu8hdrQlbltb0SfZmVagc9IZtAbRJID3RIkgrngfzDycmmnH8vpywraK dTyJjETAN1Y2RPFWRLbHU+ivvOOJE5Ie5Ar2jGAO8CjHrnZp4Y4fJ+wMeXghgeMAmIk2gRJDfAojc pCoaqBOOqq2cyt59m7+BH82A05mQbBpowrE6BG0QfIQkaw4M5pm7Ng/ExCj+jka2CKYtdim//4ePb HPkyF6Ag==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1o65Gk-0003A0-Hj@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 28 Jun 2022 08:46:47 +0200
Source: mathcomp-multinomials
Architecture: source
Version: 1.5.5-7
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
mathcomp-multinomials (1.5.5-7) unstable; urgency=medium
.
* Fix use of dh-coq.
* Fix installation directory.
Checksums-Sha1:
3d1e7bce0ed502d28387e85dffd9188348e8de65 2227 mathcomp-multinomials_1.5.5-7.dsc
5552c599151f1e7e526d9592b46aee0066a92bde 8624 mathcomp-multinomials_1.5.5-7.debian.tar.xz
8643d3269b96c3b3aa28cbe2faa668fd540eaa01 6918 mathcomp-multinomials_1.5.5-7_source.buildinfo
Checksums-Sha256:
5d50931ba6bce51bf80996a5d685b11be1cf1609f50c317dc093f1afbe69ba7d 2227 mathcomp-multinomials_1.5.5-7.dsc
7045cbeb98254742a1e9d6f852c1e8eccc38035d210d5b1a7060ada089e1c4d7 8624 mathcomp-multinomials_1.5.5-7.debian.tar.xz
40a5d630667a8b46d27b3aef1fec2f7b05225958cc077d95682848e1d49bd282 6918 mathcomp-multinomials_1.5.5-7_source.buildinfo
Files:
ee8019b8371386d399c6c801f9cb127b 2227 ocaml optional mathcomp-multinomials_1.5.5-7.dsc
e527ae3652801dfbb391ed5b48c5ca86 8624 ocaml optional mathcomp-multinomials_1.5.5-7.debian.tar.xz
d6dd7c2403922848028bfd25c06b7095 6918 ocaml optional mathcomp-multinomials_1.5.5-7_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmK6pAcSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRh+oP/iv0SY9Pltp0OF/N1yijrOla5UBwipf/
TYRQuKxVoGKyToAgPg30ENCodv9ambSeEvzOMrypiayJWDimzM6qV58h/rs6fPt8
lmeM6sAGpJtUE14AwaO7Moif2CEII38lBTKztxSSPV0rta7Dtyh+btkD4JLvgCye
Jdw7DFiWm8h7AqqZRrSSIexNr9YcXPtgxxiystK9EiV6ZOhnxGc1DpG0apG/Kz2M
vQUjIjWMsdxKyndjkKnY0w4YBZicXkNFH50EimuCj8Zl15hCJl1UzKq0cP5ltIdS
sVCRRreuLV0PVyIfB+zvLxglWvp8kqh0KwODwu9JYmCkkqI6nu3TSdQBP1zgJB6n
42V+fe6YKtDQLmYwqlLRDGCDHDCqLF/DSu6MmabUeVzny3G4vGVtxThyKM4tja8t
801GwU9Yxe76LbDscDUXt5totTCPw+01BNR+TfqVhbKzExl5PNoan2gYEE8FIpBy
4qSQTOzCWv3XcO1HWs6IlydY5TMKdKQ2UEZU0LHrphyBR2UMC/AUiW0CI6jyHxgC
wTqoeCRLG9lg5w6tag4J8tN+X8qDSuMAXx3Qc3cePp5FhB+i1O1aS+MqeQKZDFxj
5y89kfqHCJpkBsKFB8wBM3FojT/bWn/a4LBDewcLTm8sw2n5Okf/1D/4zP4NU8fj
MJ3JZXhMqPzp
=SvLR
-----END PGP SIGNATURE-----