Back to mathcomp-finmap PTS page

Accepted mathcomp-finmap 1.5.2-2 (source) into unstable



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Wed, 14 Jun 2023 15:47:25 +0200
Source: mathcomp-finmap
Architecture: source
Version: 1.5.2-2
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.2-2) unstable; urgency=medium
 .
   * Bump standards-version to 4.6.2.
Checksums-Sha1:
 3a231671b71ea2bce7b840c8817221540ce02e51 2126 mathcomp-finmap_1.5.2-2.dsc
 d2d16cd4cf3273f31275915d74ed2e8b29b94e5b 8708 mathcomp-finmap_1.5.2-2.debian.tar.xz
 c4f686c4767a8ec54ddd502d100e975cb5e36290 7294 mathcomp-finmap_1.5.2-2_source.buildinfo
Checksums-Sha256:
 40b48500a5d650c25d39e0e87071f611b11b221469bfcb0904ed8fd05d599760 2126 mathcomp-finmap_1.5.2-2.dsc
 36080a8cb8d00d6a2aa44aa972b515e73b3933191d67d916776d1166520828e6 8708 mathcomp-finmap_1.5.2-2.debian.tar.xz
 11b59bc31cafb8f04abd453b29510a0616e52b8f086f252ebb3259c21d78410a 7294 mathcomp-finmap_1.5.2-2_source.buildinfo
Files:
 4a5df028e23d4d6e3b0580d349e75429 2126 ocaml optional mathcomp-finmap_1.5.2-2.dsc
 e1963c456d5cc23c388a197021dba1b3 8708 ocaml optional mathcomp-finmap_1.5.2-2.debian.tar.xz
 16fb019f948500726c573e00fa59cd55 7294 ocaml optional mathcomp-finmap_1.5.2-2_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSJxPISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR/A8P/iPtgD72733iZtmKx+dYC8JvRMvqR5iK
6OM3ObJJOiFpKcZ048hDBhGdcw4Iadprntv8Ay6Uzt88EpFG7acp0a4yXWzQ7FFn
uNQiMgcaClLZwDxAuoDFRCXV+Q8yoG5+X6DkjQ1DHa1gwnbe8DeYqBp7tPkAA0wc
AP95KNK+84VZxNCUWskcrPF+HkuWiTvyUJwv935/TNTJCZaMpFDFzZZUhGA8a3Dj
6hIrV9v2rGtXUhxQ4Mr4MB11ieOXG2zcgBrsOmyzLRnlEcme0X+fbmHkfFmaUINX
kYL3KNFdy8dInpTIfnkx+Fus0ucbmBkUzbo7aa/31Gn7hIAbWfzYxIDOOHbyKyES
90keESFuLVsnOg7V90SQiqcna/qLoZootli527eBpvdmRUzxGqs9GXl65rn3iJkA
hKRqUgYt14E5VI5JhuJB9SOHf0H+yCZhUAPWaUIt2/4KZbkxnY6txPM5mfBedZ1y
jWZ0YbBIz3BEEZzhWBtQt7v6jlJRHVnKBfNmPyWEhUBrulYtzGkUtnx4P27bnQPW
nrTWCmxqjZedEeHGspHIMqG3d8ffqSBdll/73N1nmaTD82QM7z7URshmhQ9gda8/
YEiD65jhoxYd2ANbqCRBR0epSN9K9SfDwd05ExXcQDHWamYW8OkXInz7dtvVR57K
ObYNM/i5GdZO
=abcG
-----END PGP SIGNATURE-----