Back to mathcomp-finmap PTS page

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



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

Format: 1.8
Date: Mon, 24 Jul 2023 06:39:59 +0200
Source: mathcomp-finmap
Architecture: source
Version: 1.5.2-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Changes:
 mathcomp-finmap (1.5.2-3) unstable; urgency=medium
 .
   * Team upload
   * Fix call to dune install
Checksums-Sha1:
 cbdde572c2f4f43fcdca40913687e13ff236d28b 1901 mathcomp-finmap_1.5.2-3.dsc
 90026a86ed05614bd4c90351b3b28ddd08e5f086 8804 mathcomp-finmap_1.5.2-3.debian.tar.xz
Checksums-Sha256:
 292a026727d24732c365bdeca23cdbc27c73ba458d32ffbe7bd0a7e8c304a1ec 1901 mathcomp-finmap_1.5.2-3.dsc
 85a44a0736882c299b819cf5637fe4b5ede496ff2cb70d64f3bdd814a5c5f373 8804 mathcomp-finmap_1.5.2-3.debian.tar.xz
Files:
 c4500b6c9c11c1ba7127b886e62aa97b 1901 ocaml optional mathcomp-finmap_1.5.2-3.dsc
 9d4a1c91973ebb87f9a33b15f572b936 8804 ocaml optional mathcomp-finmap_1.5.2-3.debian.tar.xz

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmS+A/USHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCB2w8H/0LRX72KDJ8XLl0NEnWYz0F3vSit+doW
rItVofhc6V7B9Womg3QFuN6mg5kIiOwv+CRbOMhRr9BLvkbR+GJvjM8CZAGaiOqC
M5Ot++0m+jKgh1/ZJmfJVvtOkMLtfg/KNaqJRWGJETZMM8UuaB4ZsMK6KXO8ALws
wFftkyXQjpFmozBOt1Uao+uerkdAsvp9Z9r4Y/A54OAvBSd4NYfrTE900+jt7i6p
MXHDd7+y5SCobnn8U1+0NOU1wFQl/J+82Y0wbMwXAFeWHTOVraZ8cblQ4lKIMGNl
/WP6l1ijB7bSecvBayRqlOPQu088gSD4UKIIV/ftawHk4V9Cv8H4twk=
=M9LC
-----END PGP SIGNATURE-----