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

  • coq-elpi_1.13.0-1_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Thu Feb 10 19:00:02 2022
    Accepted:

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

    Format: 1.8
    Date: Thu, 10 Feb 2022 13:30:32 +0100
    Source: coq-elpi
    Architecture: source
    Version: 1.13.0-1
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    coq-elpi (1.13.0-1) unstable; urgency=medium
    .
    * New upstream release.
    Checksums-Sha1:
    e65da77790c0e85c1dcaa6b663896a6f3f2f366b 2088 coq-elpi_1.13.0-1.dsc
    8982605c73f1f7bd6f29dd27e890ae8bbcb98469 360052 coq-elpi_1.13.0.orig.tar.gz
    98ae9ca6994e18612e07ddc1c4b54a9eb88ef6b5 2584 coq-elpi_1.13.0-1.debian.tar.xz
    a6bbb774fd62966903f8c14caa2dc0f62a0ce5fa 7929 coq-elpi_1.13.0-1_source.buildinfo
    Checksums-Sha256:
    467ed60f44e05ae295cf46145f9e109c41b09ad7443882267882e58a7e8ce9c4 2088 coq-elpi_1.13.0-1.dsc
    7fea00b390d76b3cc50e01f571ed17b171e0f4c79a3bfac7614591d553fc1047 360052 coq-elpi_1.13.0.orig.tar.gz
    633906994ddd7a134fdaa1ca70b4ba38d4d23ee5901711f5dadb1fe872484fc0 2584 coq-elpi_1.13.0-1.debian.tar.xz
    2bf7fecb6a73c6648b042631aeaa612119f64bb3c203f967868f3e266977e0df 7929 coq-elpi_1.13.0-1_source.buildinfo
    Files:
    ba39e4a78cddc42ea6534042de84567d 2088 ocaml optional coq-elpi_1.13.0-1.dsc
    2c3fdb216e98c32610a8cbe6234d4e7f 360052 ocaml optional coq-elpi_1.13.0.orig.tar.gz
    e99565f0ee3af9c986946ad5d90b19a7 2584 ocaml optional coq-elpi_1.13.0-1.debian.tar.xz
    493215e0804c7b8e8879df8980edc126 7929 ocaml optional coq-elpi_1.13.0-1_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmIFBZASHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRNPgP/0u4EI0etu2pJb34j6FkCQiqAF1IfSsq 0RmIo2lR3MYqGYTZxZQXr01ztwzsHKKhsubmFSvdF6At2m0GeY5FiMD8BzLANeQF LE+31eFpLsOEtoPN5jNJHZ6WE0u9xLQKwDH52CnR3WzoBmYzzYGKHB2CuZStsPli MFajxley7yJKjQ7PAZxOHe0mngRFbn+I2SAW3zCSNsSXfh0+ZupMNUvjBIK2WyXY 34yGymLj0PQG8FKNHDI9N1E6y+YVHH1CvUxGQrRYtAPLRUrrmUgpMgXVM+68q7YX i3ZFowzsxVplHGstrh/umnSODFwv44qcdsH9cpP2pFhXz0p3hOw2P4DvpmON8auu 4y94l3TIFmpZ7RD2Rc3K8ZLlkxdxAPTNIOxtu8/KQmoo7VG6hM20SLIIZoxxQign uG85bHI1DkMLdib6FJNEIcTTCyMYS4N9YkIn0EuG/W8rCe8v8MFWhi9caVBE5FMe aLqOPzRZLKoScq5lRT/hnpdkR4YlodhXnT8DV1wBlcQhIu7QJTaQ+vS9z0PRSfMh pjs3IjANibnPpLaqz3CXqJoZOUnoS0pgfES24IWq0rBRxkQgg7z462NjtJlNqAaQ kZRhNwAhxJv/MAQuMmGBrdqT9u5RAp/yKJTe2u70Fixn+y+0cRNlSFhG5T9bwEB8
    AdEHuTQrv73E
    =vj2L
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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