1. Forum
  2. Usenet
  3. LINUX.DEBIAN.MAINT.OCAML.

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

    From Debian FTP Masters@21:1/5 to All on Sun Jun 12 21:00:02 2022
    Accepted:

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

    Format: 1.8
    Date: Sun, 12 Jun 2022 14:12:25 +0200
    Source: mathcomp-finmap
    Architecture: source
    Version: 1.5.1-7
    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-7) unstable; urgency=medium
    .
    * Use dh-coq.
    Checksums-Sha1:
    54c47059cef47734aff1467fd0960fca337254a5 2079 mathcomp-finmap_1.5.1-7.dsc
    503033b8a90a8865a5b10afe0d17dd4267803bc0 8540 mathcomp-finmap_1.5.1-7.debian.tar.xz
    6bf5c431e51649c2c103370d2b911aeb3ccc3d95 6635 mathcomp-finmap_1.5.1-7_source.buildinfo
    Checksums-Sha256:
    6c4bdd6cda04b5e4abcf489b729fec69d974ff2a56894099eecda5ff61154feb 2079 mathcomp-finmap_1.5.1-7.dsc
    480e55ac7a45f1c910049f75dc6e12973b627ddff401e348e6cd1c5f460cbe6b 8540 mathcomp-finmap_1.5.1-7.debian.tar.xz
    55ec958a71642eea69caa4895d76abe3cefb9209cde648ff7986554e648c3af3 6635 mathcomp-finmap_1.5.1-7_source.buildinfo
    Files:
    39f95bc9e4488656090d11a8a49eadc6 2079 ocaml optional mathcomp-finmap_1.5.1-7.dsc
    d737f9870b63a87644f8b3f1db795be9 8540 ocaml optional mathcomp-finmap_1.5.1-7.debian.tar.xz
    97d5665bfa4b55548b6e964259cbb30b 6635 ocaml optional mathcomp-finmap_1.5.1-7_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKmLQYSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRqtIQAIvD8oqimgWIaDOWlhLyLYOJF5mK2fii q0SBLz3l6Ofp+sVXn3x8+FUE8ooi7JjMlCEo+UZKtkOmR1oJHZtpkASWtNRYnYN9 K8XgN8tcfr0eCDIMs2mhzt7YI3eID0iVP0ieXvsVk0KIencedwEuqibCXHOI3hDC ii2mhOgNoDb1cG50jQjnq2MH7JxKofRR1FgM60GlImBTqRAXWoIlMEJbansT6Ma0 bGalgbmi5DsBru7piyOe/fpo1j7/m1EPOY+b0OBfL+H8YqsIzRUVFMFbcC0LMyxX kxNkVCR/VQ7HHIRrzEGYyJkYz7Y48sfql9goZ7Cl7EOnfPy9A/EkiibYLRTEJtAp AWoNvpITXO//D7+aZ+bWDwKwWo6BJWVenfdxUl/qqWxaFCmPV17TVgH2TMdt4gRs iL0mtUYWZ67POzB7nOI2HVqCokelFMrCXUXRYDUoixMFSM7zyajktm9sc/6lOvVX QmhctnbIBEySXbcRKlueLCra08/kkBPoANEq55liM0jitJ5iBNwuo919qXX8ArQj jYmIZ7OAyPuDlqrYA/FqGP9RAP1sflBP5EgKVtzjAgOJ+wYMBAvw8HZcbF5kqOo/ kwczTio+ZiPmd5IKJyAC1EJMF8u65i9Ja2LvWUwJOidZLIqUhaIrxcHyGnxDa9yW
    mDng/iN9+lPv
    =okwV
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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