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

  • coq-elpi_1.12.1-2_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Sun Feb 6 14:00:01 2022
    Accepted:

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

    Format: 1.8
    Date: Sun, 06 Feb 2022 12:56:20 +0100
    Source: coq-elpi
    Architecture: source
    Version: 1.12.1-2
    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.12.1-2) unstable; urgency=medium
    .
    * Adapt to the new coq library layout.
    Checksums-Sha1:
    398b1a8643272a221bbb1211a47d436d1805b203 2088 coq-elpi_1.12.1-2.dsc
    8f17900898824012e26870266b91daff348599af 4040 coq-elpi_1.12.1-2.debian.tar.xz
    3dfd5f2ddc36b618e6b436a74d3b93f4b2f88768 7990 coq-elpi_1.12.1-2_source.buildinfo
    Checksums-Sha256:
    808427cbcdcf456bb039405f64ae811859263ed02d3e8bbeec140ed1bbf5ae60 2088 coq-elpi_1.12.1-2.dsc
    cdc3d353db59bdaefbd80f36ef7ad931c1d009c8b4f23f40fc1e47bf46fd3d00 4040 coq-elpi_1.12.1-2.debian.tar.xz
    82d62d012f453234207da92238c7a39dd01b27bf89e45404254aa3282078ba6f 7990 coq-elpi_1.12.1-2_source.buildinfo
    Files:
    b1f36e47d434d50672892bc1c96a60c2 2088 ocaml optional coq-elpi_1.12.1-2.dsc
    8c557c4a9f2f8579aa3fc9b7f2fb980d 4040 ocaml optional coq-elpi_1.12.1-2.debian.tar.xz
    3317bb9531feadb53914234ecca9dd37 7990 ocaml optional coq-elpi_1.12.1-2_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmH/t4YSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRLqIP/j6xIIDxPG0qH75gJLqMUSanaHMTAbwE qVJvaYJpgIl3kR3300K4R2gUyPRsmjvoV6Sli5A78XrryGsfO29hZGjphOE2IVc7 MmOEKucjLtmZokaQc5Q+60HfSRUgOwZifsUXTB+ydhOFYSxUHrWMQjGkSpWDye1E FsvEyVoIC8uJuAmUuh5C5QPINB2HcOtLjr4ZRUROcVHHE9QoU6DPK0ev2G1a+2C+ wDTI4vCo9Fmi4zCj0fdARxFD6eLo3RwljivYS5BBezJeOpyNYx+yMiEer6pLgVbk ZLElcg4k7I3WPvC/chVBFPCpn8Xj/15/RYABO5wF4vwHWPZw5eR3ZO4sg4rVX6vX fYPxA5IcYFNlnMWGeh6XR/rXxF4Dl6fmyzrGip+18NM+rXSeYeGgb1tEFTWiMG87 3t8rxRKwWnJLMKfsuZouf3nKnV8pvvsUyhAhyl4F7JbbuYSg50txOB9iqOKLGezy /jepQy1hlGriU5aw6ELBPpBfly3H4Bvxw5Lu65B7ZfARGlN5K0WlY1ZgYE5lQYDL lr4otsRVj6BAkG+QIz2mYNdfYxcDZ3Yn25Cwps2KEL7NpDM9LpTtKLCdsXGJ2/Ou KHABvcNghsW/nFD8ahcqT2lAMMMmhYQMjG3E+2fH8G1mS45ONGi/ve0mqx2qm1jK
    bNtS8AvUZpdq
    =xyxi
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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