• mathcomp-finmap_1.5.1-2_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Wed Mar 23 23:10:01 2022
    Accepted:

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

    Format: 1.8
    Date: Wed, 23 Mar 2022 22:33:42 +0100
    Source: mathcomp-finmap
    Architecture: source
    Version: 1.5.1-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.1-2) unstable; urgency=medium
    .
    * Trigger rebuild to depend on newer coq.
    Checksums-Sha1:
    b1317b10450fef8691cf8d24811d087e15c58218 2071 mathcomp-finmap_1.5.1-2.dsc
    d7f317ef5848f945240d1d7754b0e82bca4b23f4 8388 mathcomp-finmap_1.5.1-2.debian.tar.xz
    edd9bdb6d8226aa592d56376ff5fbda92ae8ceb9 6595 mathcomp-finmap_1.5.1-2_source.buildinfo
    Checksums-Sha256:
    4da99e9905110882bef2f4a565a950893973616797b1cd3655c6539a3b3d0af3 2071 mathcomp-finmap_1.5.1-2.dsc
    3dde0a9232e7811a760bd287dc6ab5dc9fd45d163ed45e12d862fe0d2a7ec0b6 8388 mathcomp-finmap_1.5.1-2.debian.tar.xz
    ed5b0fc0ee5ed6c7e12f289d9a172dcf831fdd2638e026947cd0e662be38d5df 6595 mathcomp-finmap_1.5.1-2_source.buildinfo
    Files:
    24bb3343fc7c3a712841eba57e1c96bc 2071 ocaml optional mathcomp-finmap_1.5.1-2.dsc
    8630b8a6139725d4519b87e4c828e075 8388 ocaml optional mathcomp-finmap_1.5.1-2.debian.tar.xz
    a79d5c00467272fbce885b3c80b033e0 6595 ocaml optional mathcomp-finmap_1.5.1-2_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmI7km8SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR++cP/RfNB9cA0SE5Kjueda/Gj8dmy9VBx2nj uxabVPm55RbAMSDcB6WNtLYfmGREVrDrj9OgjfcOGNrv7EpdyiKsTpwsWiQ0zJt8 F3jnaY6ZcHNgAoURAkrqqVqbZI24l3UbDIZDZavVTAL+eQ0QRSKGdtl0ZkVN7SdM FySoeWA/p/s6yDCHYg327M6KAG3xd9il2VGYmU1xBgdnmMnIw0cEg4ooV16o7Tf0 4ZwbDIu6vJHzVGOEkSGZR8YnFykwCgkPGQ/j6NAsNw7MlqpQWhGbHuE3+0Hycvhn ILIA/LxwQt6lPJNlojE5IjFXyBi5GKh2jNebZ3xIHXzRGZAecDJuUrySnG/krkZV uBFDprRjrWWAFe8iF227ujEHv5SLDYDfU82RTsLa1u3zzlrcBe3VDevhuIORdzRs iT3MKY8VLXJ77a2vCjRKqFSUHAFTO/QtxWPeFBBE/CHLoZ3aMHno890vnqGaZczK dDRlHBkTHgnzC/sTkEIXv8aKJNXTomGNgwsVaNOCUQL1K8JwyoHSIX3jD3B3lNd4 AcDp1yM168k0ITyF27kEB6StPBepzrube9TAbqfbFQ+YdJEh6BXbxZgUHU9K3N/w 7tsI45Gzafp8dA55CQ9Y+MsFFzbSVJ4/idsoBu+QCgNk9Q/DQfR/iVxgGOrWBelZ
    7MVGII5OhR9M
    =YoR2
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)