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

  • coq-hierarchy-builder_1.2.1-8_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Sun May 22 20:10:01 2022
    Accepted:

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

    Format: 1.8
    Date: Sun, 22 May 2022 19:29:30 +0200
    Source: coq-hierarchy-builder
    Architecture: source
    Version: 1.2.1-8
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    coq-hierarchy-builder (1.2.1-8) unstable; urgency=medium
    .
    * Re-upload to fix ABI breakage.
    Checksums-Sha1:
    7e0df3cb9fb2b4a8a6f3dffcb7089b87bcfca9a5 2214 coq-hierarchy-builder_1.2.1-8.dsc
    1ef180062b750ba8045488ef040d6e103399f863 2960 coq-hierarchy-builder_1.2.1-8.debian.tar.xz
    e03d4601ea40ac8e0498830ac1f3ca5470ef00dc 7351 coq-hierarchy-builder_1.2.1-8_source.buildinfo
    Checksums-Sha256:
    024f779cc51f3fa4f81feb10a776c2ced59b02e5748d7881eaa6605a15b7d926 2214 coq-hierarchy-builder_1.2.1-8.dsc
    7a78ed390aa92733c986472a92be2893627a66ce13f117e045aa7436d4d1bda9 2960 coq-hierarchy-builder_1.2.1-8.debian.tar.xz
    d4c61ca7086b1cc65e450a185c0749bcaab8bebc2648b1208db14aae36eb99ce 7351 coq-hierarchy-builder_1.2.1-8_source.buildinfo
    Files:
    3ef0db7eb92853c2641b364e0a75eb6b 2214 ocaml optional coq-hierarchy-builder_1.2.1-8.dsc
    ec1f591c7ab5e330b4895ba69539a6fd 2960 ocaml optional coq-hierarchy-builder_1.2.1-8.debian.tar.xz
    14e408be3ca20d0f9334dce7c72369bd 7351 ocaml optional coq-hierarchy-builder_1.2.1-8_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKKcxESHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRSUYP/iPEgItzdklxBlwwBMT54A8DnpWp3Fw4 JNAFP3NVP/WAgvtXFTQjWOroSQyXaJqKuFPL0gHWwcNwBK4rAoKcnuTNkLN+9APc E2ACCVD0w6dS7egUgG309bcVeUlJ/F3rq0fAD8oya4ZmZ00nNjPersVkuS8bWsJF xo9XH/+XjSuiLxv/yjpIhNhfs/2fDBf/fvKgwjFdFtDBskcNa+F3uUmV2s3LLxJd Zd50NKuYp9DZpFcYUg73kbf5UHRhiYjFbtNcU6Vsni0aXdDF4pusNYLKkGLFPU2s CUo9kbN3mbS3rsURhNqEsr3shj4o/5XjUE4MPdOGvPpIij0SZ8nMfVEYIIDhdXGg k/b0IXgNT9OMGQWLbeyGokxkLM/5z8/V5yJFOEVDu9rP3GOeOLOGIsspehd4wy/F NUZXALo8u88V0nMuKt+33LFC7dx6S8hf2n9oMkqZgictTF5TwkwSKA0s/3KQmPvj JpkeLiwptC2QBC97CeH7tosPSW9PNsaDhtVNL7F16t/Y8NxNyhCAmfoLyesUYasU f0lBR4i42iKbtk+670TcCxzVcQj9YMviZIvMCHVeiu/oJ4OLaY1MT+1fxfrfogwK 34vQZCzk2jYMQQLDIw/1utzSmW+YWAuLKeIw8JsFtmrQyx1XGPzbrsqrSeWkrAM6
    hc6Qgw+Sso7H
    =6i+5
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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