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

  • coq_8.15.2+dfsg-1_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Tue May 31 23:00:01 2022
    Accepted:

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

    Format: 1.8
    Date: Tue, 31 May 2022 21:39:53 +0200
    Source: coq
    Architecture: source
    Version: 8.15.2+dfsg-1
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    coq (8.15.2+dfsg-1) unstable; urgency=medium
    .
    * New upstream release.
    Checksums-Sha1:
    0515ee9851ce2e1a180767b99f5d11078cfa282e 2599 coq_8.15.2+dfsg-1.dsc
    e6709b12f2ef7fabdd269f2c5dfd1f9268888177 4673192 coq_8.15.2+dfsg.orig.tar.xz
    f2cb15d2706c3e6e647132b4344dd4b75bf4210e 40088 coq_8.15.2+dfsg-1.debian.tar.xz
    e12fa2f22b07c4d62d2bfd3f66a848b359eada2b 14740 coq_8.15.2+dfsg-1_source.buildinfo
    Checksums-Sha256:
    3a196820f2acf08490fed1cac64087792f7778a31115f69937bbff86a843b1ac 2599 coq_8.15.2+dfsg-1.dsc
    53cbfe9b7f1b1bac7f84f13acb9ca4082e3b3483c336267d80047214703991c8 4673192 coq_8.15.2+dfsg.orig.tar.xz
    b955019df8cd8d26b6a385c117ac68adf7e350fd4ff1e47985224e0d0c9ab13d 40088 coq_8.15.2+dfsg-1.debian.tar.xz
    fce5c6d5aaa35d36b6132245d9d6aa767b0fed86079dcd0be114057dca86f8e0 14740 coq_8.15.2+dfsg-1_source.buildinfo
    Files:
    290b1bfa478541530c0332931f56796b 2599 math optional coq_8.15.2+dfsg-1.dsc
    2cf170d94029eb59a01534d21f222dc9 4673192 math optional coq_8.15.2+dfsg.orig.tar.xz
    52a9c55509a58e20cd95a16d059930a7 40088 math optional coq_8.15.2+dfsg-1.debian.tar.xz
    97e53d0532a4b8c639c224363e1bacb9 14740 math optional coq_8.15.2+dfsg-1_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKWb1USHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRYuQP/3kPOnWSjt2cxlyHH0shClZcifvgiJUs vXdgSbNAckOmN+fCIPBJ+VYs+DALCJ/wEZvbqjVLSc2+iEfhocXMWQ0rpKTyqWfI HbuShVOEMbj8HgTxAXC/wct8v5mqjScXWOZM5K4SCOL7qJjts9CeOpvVnIYypF0j sjSFGvrqKbhaTq+hPy8Q3Xa4G25MdpkZrl2XTmcUdl2EhQBW/BPgkGPeVea/a4OX QzurBXeMs+CmP7jDZkOxaHw+nwdGziD6EADmcy52yXbRn+ZkuqIgAomUHcIfnSR+ A0i3Dhhk1kAcKgy7e9zRBWrHVzgticSqUtv/tuMpzn2a3dR4qhh7ulQyxDhMXTmk k5/LQE9VosEvY7S4PfieM+SlzEcJn/hiuQxhxsdMdGZKlh+K/kHXFAmteaMg2mG5 BnZ2DiDAwEaYtuuMUFXtalqukRgu9uKZA9Se3ih0tVhk1d/ib/TJrUOoyztomxor Sa9K8tPYUMwCbohr6WkKeI8sp2Mju1n4gg0ozM0zE2nIdcz1PBV3ML1nqcXgTNhC g7Mo5OkvHC5NgVcADbFBQOoKyIwbq3hNVmdqedFLIVYCKr9DnHGPO2eFd0gVQDsw DF+LTUR4y7YPFxuTqaLRlaXrQH6h/9zdq9DpA7glmIWN1jWcZsu9fw/5+eUJ1E0r
    gr8cy2VNGuQE
    =CPcI
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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