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

  • coq-hott_8.15-3_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Sat Jul 16 13:10:01 2022
    Accepted:

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

    Format: 1.8
    Date: Sat, 16 Jul 2022 12:31:37 +0200
    Source: coq-hott
    Architecture: source
    Version: 8.15-3
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    coq-hott (8.15-3) unstable; urgency=medium
    .
    * Simplify autopkgtest.
    Checksums-Sha1:
    4f394042f75c960864d3ff874a2f6432aa0c64b1 2024 coq-hott_8.15-3.dsc
    fa42950e2d1ca8fff62b253ff35a4d286c0b9c47 2472 coq-hott_8.15-3.debian.tar.xz
    886b73b174ce9edd9be1b4ae968bf998a4054a97 6804 coq-hott_8.15-3_source.buildinfo Checksums-Sha256:
    fbe0a172548b669887a31dacb26db930eebb2b8158b5eb7e508cd2c3abeabbd2 2024 coq-hott_8.15-3.dsc
    2ba4fe6b644a31b18ef487a0d2c12697a369056439310364c086f8a798b801a2 2472 coq-hott_8.15-3.debian.tar.xz
    61142103f3be4fc62616d1059529b1d7860b40daa4a90a399cb3e59cd6cbab58 6804 coq-hott_8.15-3_source.buildinfo
    Files:
    6b0f3eeba131a14dba418fe22e122f7b 2024 ocaml optional coq-hott_8.15-3.dsc
    980147289dd36bd1a367884a022505e9 2472 ocaml optional coq-hott_8.15-3.debian.tar.xz
    0a154cda2ae299cb4de6c3cc6e7fced8 6804 ocaml optional coq-hott_8.15-3_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLSk68SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRsToP/izW1X4mcqrdNi+z04msNnmqJSuKdlxV sFiDjumL3QqcyWuSCVoacoQtet+QTEIKwDYKp4f3kcjhXj6GfI0+KdPckeMDTe97 4h6ArmZcw0qbVzpfQkHmT4QmfD20g3Ye+W+yuEltRGmadouTOl1c23pIPoudpTFW 3GBmM5hSUIfxxhg9xzn7yLT9xZbJRBQYCewbglGJkVXCSFfftR6h34TgA55dLD2U izCKyNzeMXVwxeVMbd6CgRUDpc8NKIO8TxLeO6cyjAFs3DXquwuBZBZy4OHxocEB V4u915ZClB9hT4jy+nlGEBQDLHUNNpGqRtyCLM//Zv0P+GMADVJFUFq5To6tfN99 ZwBszCaQ2Nxej7tiHUSVzeOVnhOB+TUdMk42EJC2tbP856+rNWGewIXyyi+RLaBv DqI4ww3RhzAginZt0R51CGdsrYQqf8I+SfOD8JqMqGBV9ZHBZZqNu8N3f72rIqtK 0o3CJxVtzcwEKUqhRPN1WbBbJN1zGKgM5yLmH2nFbWcPUVWkcGT02kvqrVYVifZl 3DErtZLWLMYYRodW9iE20glSwLxyAy6GJ5vWc98qKkcfVlAVcK6xcdxcOJITU0Zi U2vdUmfVeXVgxdWMk0km3K2k5Z8cBWCCv2xiH2IBcXhbse4b0S5QEAvbZtzoqhJF
    /tZXfLkdyrf4
    =9cZA
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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