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

  • coq-unimath_20230420-2_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Sat Jun 17 17:10:01 2023
    Thank you for your contribution to Debian.



    Accepted:

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

    Format: 1.8
    Date: Sat, 17 Jun 2023 15:37:55 +0200
    Source: coq-unimath
    Architecture: source
    Version: 20230420-2
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Closes: 1038382
    Changes:
    coq-unimath (20230420-2) unstable; urgency=medium
    .
    * Add a versioned depend on coq 8.17 (Closes: #1038382).
    Checksums-Sha1:
    6394e0b63d838475ac99fc4661a9ca2f0cd4f5b2 2109 coq-unimath_20230420-2.dsc
    492ad08679f16d33d092315ac79612c10dd8d667 1860 coq-unimath_20230420-2.debian.tar.xz
    df908d8c26ab03434aa99d5e9e50dfe2811614fe 7442 coq-unimath_20230420-2_source.buildinfo
    Checksums-Sha256:
    34a4545731dfd7b18a0bd8de8b99ac41124acd6a4c82f7484be5599f89baf89a 2109 coq-unimath_20230420-2.dsc
    b33f7bfab26889bfa295eaa89f6dafc64a65743443a605af608bbfe083ae672b 1860 coq-unimath_20230420-2.debian.tar.xz
    6bb511e9645b03dee0185e6cc8acbd0d7c66d729b52327c404975f3a21389840 7442 coq-unimath_20230420-2_source.buildinfo
    Files:
    7f8fee5e175e7568ece60f8c9653a5af 2109 ocaml optional coq-unimath_20230420-2.dsc
    82f5bcc6fca41a105d57d540d3145d59 1860 ocaml optional coq-unimath_20230420-2.debian.tar.xz
    9077c6427f584793c1afe8970bf886bb 7442 ocaml optional coq-unimath_20230420-2_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSNt8oSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRjlkQAIY7/AF0ufKx56fM1Fd2BxBcCA+SprzM I4aqwL6Y3b2YwO33CpzT8GYZxVqMn+nazZCL7qzp0MM2LE5UOJWRt0q5gDmNX0WB CZknqLhpjZ5HmBdnREOw6yh3wkc02JVBJQrxk/p6PDkzqL9HAGO1Wn4ytifQ+z/Y GQ3IJaFz5oq1S4KJRQG1zJ7K28KJ2G9UjF5SRAnm7baH7PIQ7Wy1hf1R8XfM8TTv m576vES+rkYYHZSLtZbJpiG2AzeZdKcKCfDYTCRoqvUKGfzoJbkeYTdku7DX6HW1 HuD60z4CI6x0u7/YCwOW2fO3Z2VrILhZ0GFDJZsHnXwGJj6+SxbFJaLXDVjM7SeC 2C7FcX4a8hQXlD7P5PYWDPHPucs87ku76MmjxX1bxcYOnsdS5UwYkCxvTlmOcxrq XdokZNBnayh+hf0dyvldZfzYZLmSm8Z8pJuoZb/j7F29GveKoPBx2AUEGPBfXhXJ 10j2+812daJPAeEgpmHoa/3YN71zemKUt4dvijU2ckOjuLdvyStM5MTRPJbgQ1Cd sJIcyjhcSflJIo+GHVaM437wBl7jzGOwot7+028oxfCbrHJ41T4T8c97YZGCqIc5 +vMAGgAfhqKZUtv5FiEgEkmYKGshPfvoIvVaIPx3dcgrU9ev9LPLhR2yIM51bRAr
    JZqrMJBtLnWo
    =OZAQ
    -----END PGP SIGNATURE-----

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