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

  • alt-ergo_2.0.0-8_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Wed Oct 27 23:00:01 2021
    Accepted:

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

    Format: 1.8
    Date: Wed, 27 Oct 2021 21:28:46 +0200
    Source: alt-ergo
    Architecture: source
    Version: 2.0.0-8
    Distribution: unstable
    Urgency: low
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Ralf Treinen <treinen@debian.org>
    Closes: 977737
    Changes:
    alt-ergo (2.0.0-8) unstable; urgency=low
    .
    [ Debian Janitor ]
    * debian/copyright: use spaces rather than tabs to start continuation lines.
    * Set upstream metadata fields: Bug-Database, Bug-Submit, Repository,
    Repository-Browse.
    .
    [ Ralf Treinen ]
    * Standards-Version 4.6.0 (no change)
    * Drop "Suggests: why" which is no longer in debian (closes: #977737)
    * New homepage at OCamlPRO
    Checksums-Sha1:
    65a167dd31dad7b314c8a96ba2a749c4df7303ea 2138 alt-ergo_2.0.0-8.dsc
    da36eb2c6beb55497d0a57012da83bcf667e4beb 7380 alt-ergo_2.0.0-8.debian.tar.xz
    584b732dae16ccf6fed1d958b70632ec03d98e75 6401 alt-ergo_2.0.0-8_source.buildinfo
    Checksums-Sha256:
    cc9e9dafda826db35716041c3626988a23d84068929b0c61d9866db6190a152a 2138 alt-ergo_2.0.0-8.dsc
    9aa91dbe4346bde850bdb2d2b4f1178a7367485c98d3c3cfce0b59b19ca5b43d 7380 alt-ergo_2.0.0-8.debian.tar.xz
    02f82bdbb70018e8633c1e29dc06ad2d591df07eb84646bff2b90085953644bb 6401 alt-ergo_2.0.0-8_source.buildinfo
    Files:
    3f40e58e94219419811d2a12dd95f88d 2138 math optional alt-ergo_2.0.0-8.dsc
    fed3bd86dcad939470c7da405c218585 7380 math optional alt-ergo_2.0.0-8.debian.tar.xz
    2606db38dfe3d8c06a5eafaa91a7c766 6401 math optional alt-ergo_2.0.0-8_source.buildinfo

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

    iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmF5qkYACgkQdFxHZtTK zf84tQ/9Fo8BfJXYVNITsbtMvD83GdGEt9wifZT8POLdaoG102598ZnQDLn4De/g /StDUr8lHDGnsX08iHXRWIqFkHCswXPYVfbhGfhCqW98cWLrfjmm24P/nTUgPtLA 7Tw4YrTv/O5MWf9EpvTJpoBZPvsHmmVafrFDW/OL6K+80jBYxlnWAkIMUiVmpkBJ 7czSl3RpE2NHLKKAuf+kz3oN82BcymLyLcOii8F5WcKKQv3CbQeKPykDDu4CpGaS gGbnYKv0d40Kp9iEGkN0bBOnmVIvtIbjJNeV7fJw6gD5OIeM+80+bevXnlrvGcld qWQhJz3gTkUTUQR3rDPK6aFkzSLtE1yRJZNEHMNNOKWEjBgQHRKdZ5RahBFky9io o2APRJYqRkGluFWNi8RId+X+ho9oLk6kZNyzKykdi9lWtWCDpHQIHRKNcHIer+14 WNue7WMt8hxc0wVdrfbvDTD2dwGhORE03HSJpEiRIonZ3IRMRGljwsJwc97GsSba e/arzV2tdL5pCQX7v5g5sRCM68DfNuC/DaT16n92vbTgqKWSerDWhWtL+8Lwj4YI ej0Z/C4OFaGyVvlYhe8Xsa3nRSt+l9a7Fkij63Qm+5pLUcwPwA26koRMk2dGMAmZ 3AYwAVXa8vAl0UyIUaoN1UDYIfkPfjSHpEXZcanrcgwTnSotrQg=
    =avS3
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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