Accepted mathcomp-abel 1.2.1-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted mathcomp-abel 1.2.1-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 20 Jun 2023 10:06:59 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: mathcomp-abel_1.2.1-2_source.changes
- Debian-source: mathcomp-abel
- Debian-suite: unstable
- Debian-version: 1.2.1-2
- 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: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=NNRICZRTvZ/SyByeNMqgxLaAc2EzfiDwXv4kGUZhv8Y=; b=hnLAQLSBtkUI/GGDS8IIJPAw3h rRr25nT/3SzO9jgGX+JGt8UFPjAcl1G0Dx/YPfgKHCxMJiIiPT+joga6SaeNn1/pc9gfrVKVRgATG 6PU/4FHjbPHpZSsqhfzoNbCqMdDJdE7ZWKbcrextwXZ64KX7Ui8xTcp8fYdGaQzApiaPStA/+J5AK +GDTIHeGsb+U014/83UlitTNZvN8DhXFCXpxZaZGvYyADUeP0l5z6qVNq3wr/DHb4z8pC3GkhtipT O7wZSO4enwUpHDlVCH+SgtHXTxeatDQb8w0E7dx6oXSDPiJKj38Ig34c7Q1NbbYTx07yD0bybMy9A GmRJfFwA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1qBYGJ-003ANn-Rq@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 20 Jun 2023 11:45:39 +0200
Source: mathcomp-abel
Architecture: source
Version: 1.2.1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1038672
Changes:
mathcomp-abel (1.2.1-2) unstable; urgency=medium
.
* Bump standards-version to 4.6.2.
* Add patch to fix compilation with mathcomp >= 1.17.
* Add patch to fix compilation with coq >= 8.17.
* Add versioned dep on coq and ssreflect (Closes: #1038672).
Checksums-Sha1:
c392dfe9ec4752032d0752778850ab1e36f17895 2251 mathcomp-abel_1.2.1-2.dsc
83e39fa9fb813c8c463bfe58b4aeb8e9a91b196a 9732 mathcomp-abel_1.2.1-2.debian.tar.xz
570d813f442c71e2aedf48aa18ef1676ed05c36c 7510 mathcomp-abel_1.2.1-2_source.buildinfo
Checksums-Sha256:
6ac963e519a9c366977db0244e882ed505f2b0008978a4ed00cd3f78c30e711e 2251 mathcomp-abel_1.2.1-2.dsc
faf3be97536c6b26b352dc869062ed21002f186fea4e87df3835722457b9d4ff 9732 mathcomp-abel_1.2.1-2.debian.tar.xz
27c07f3bb82b346ac7976ff70d9df1ac85925036ccc39f8ece80ea6bdf6e64bd 7510 mathcomp-abel_1.2.1-2_source.buildinfo
Files:
4168b87cfeef1f474562ee8cf82dc90a 2251 ocaml optional mathcomp-abel_1.2.1-2.dsc
f58ac79c41afc1109e9378d24b3eea0e 9732 ocaml optional mathcomp-abel_1.2.1-2.debian.tar.xz
a0bbc4b853fee3894577c8b512c781a1 7510 ocaml optional mathcomp-abel_1.2.1-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSRdW0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRB6gP/3UIopu0GH9Vpp+OTaIfn0nPaqb++P/y
Cgz83IzcVXqk8WSYA+LmCQkWNw0y1N5/99RadZQoNCEYSdLQBoCQb2lBn0dp9iB2
kuQZzIsquFgldQlq14Z4leSj0ZSW/9hmRVodrtFlInMswtvadHA5asZEBIJzz2f5
E9KU9ZeF6fCEWrMMHS2Jr0O/4UQcxq7DKtfXnk/va+c0nXJUVt6HXzwZY/Fds4jk
+AqLlzEIg62/6YepCBnQsXuke51G4JAuOoH6/F9S6+nvwScu1gC13MqCDL0B44p5
lMuiaoVYQqK6HCoMJ0eAoAKUfGo0ux/DiUlSsrZgUFjif+5pfK3gSuB/D98D9boL
JGmA9luyg6KsXyM+f5B/G4DM2axVGBV5XTiULk8sHQZOhRby9jtF2NwdJKplfaU7
G/1QAp8BcCwch1OF9tq6TBmKYJMT6fxdpRxc+P71BWGtngyXLJrcnR78zuXuaHty
Vf+0YCSPY23dJkbeoZoweA55XPB5ySSq5bEjdPKtqZxbR2nP2w6rHWDEbKy6kdAP
YsLW7UZ75JL+z/ZESaqxbs+VUEwGUIM8ieQb6Zi6Qw3cmEr2OhtT2wc8MHuSZ30s
Ex+KG4O0E7BXIIUCKmbKW+tOof1eirLme93e2mQJIHQxNuRfVig2Gu8438BNNaus
T+7B4JqG1Jpg
=OC/i
-----END PGP SIGNATURE-----