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

  • why3_1.3.3-3_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Tue Oct 26 16:00:02 2021
    Accepted:

    -----BEGIN PGP SIGNED MESSAGE-----
    Hash: SHA256

    Format: 1.8
    Date: Tue, 26 Oct 2021 15:17:59 +0200
    Source: why3
    Architecture: source
    Version: 1.3.3-3
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
    Changes:
    why3 (1.3.3-3) unstable; urgency=medium
    .
    * Add new tex-gyre dependency, useful to fix a build failure on
    pdflatex doc generation, Thanks <bunk> for the hint and patch! Checksums-Sha1:
    1426a383238f5fc500453830264c65182bf2ce83 2849 why3_1.3.3-3.dsc
    98f3d971a80cdf4733898c0a7e8647a0ac7c4b1b 19332 why3_1.3.3-3.debian.tar.xz
    f3667d93cb0186f2898826a761e8365692c4ca53 7604 why3_1.3.3-3_source.buildinfo Checksums-Sha256:
    61ab747e7169f8f5fe7a75681b178146d5e9b7e5bf89ffb40470b1c976cffa5b 2849 why3_1.3.3-3.dsc
    72ef79358ed6502bb8f3662db60ed95ba4aea457471d5d42e0325561f223bb9b 19332 why3_1.3.3-3.debian.tar.xz
    eaf8c8ac93812c7719217da49f395be3a10c973c4c70dd4e81e6018d21d96809 7604 why3_1.3.3-3_source.buildinfo
    Files:
    d085ccc6f5018c5649e9d260b352f383 2849 math optional why3_1.3.3-3.dsc
    84b2bee9fa3741ef1a3ffca1457e5884 19332 math optional why3_1.3.3-3.debian.tar.xz
    cd2b16324beffb61fa449f2155ab94e9 7604 math optional why3_1.3.3-3_source.buildinfo

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

    iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmF4ACcACgkQ808JdE6f XdmPQg/9F3JlPGkLJQjlfHGWs8Dbdrrnle1rDOhrjIuOK+aVJCSidjC3mVKRQwbv GApmOuS0jsPUngArWMVOOfD9De32ObJJMjhYmNCs3eygy2GthUTwHV5WKutxvKmT Iv+GNHaAGQ3vp2ZS1I8IJUHLQmVA1Wu35UMYam/eBOprtktUFZUO71i0Wv8/7tyF wCoODj6OPTI2U18K03wgVpKzSFMqVJHfcKQL4ojkyCroh8nI/xx+LWeN5ZA3YU9W Q5nTzH7+Kb9PBbggTtJjD1TnIUFlTkm0i/oyZmQ5POepMAFsxyIG6asv4WQRWpHW NyTGd1OTYdq3THYLw5v2BIfKktT//6KDqR36Xkqmy2sg90el/w4rtYR7wHTZbiSg I0IEAZNzAtRVhkR03cKg9v8BFWyIBKf/gtybtDjAgOrHsrT0CjTJjY5uxpYzD4Om PSrdcuiRn7mJ3i/Xw/UtInfbIZahsV3d9bqqWcQgRKMozu+yOZUy1D5X7v0kB6Hw l51A2h2l0ux4A3UKJ98qr2k2oNZlbrGl4R0QZLRJJZqy9k+JM3uAr4qBAMYAhLlK +rvVxXQiQRmO6L5dbC48CNLfIXpO6OjOhAimDrUYQbv8F0589cksnThkKm7GrBnE 5veyCSyFTrcQ3qxPzMwJyge3r9oXUFIjftNCv3AqAN77AXiBZ0s=
    =8grY
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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