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

  • coq-ext-lib_0.11.6-2_source.changes ACCEPTED into unstable

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

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

    Format: 1.8
    Date: Sat, 16 Jul 2022 12:37:11 +0200
    Source: coq-ext-lib
    Architecture: source
    Version: 0.11.6-2
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    coq-ext-lib (0.11.6-2) unstable; urgency=medium
    .
    * Simplify autopkgtest.
    Checksums-Sha1:
    973c5dabf2d383d00a4a646cb75b4d8a257abccc 2084 coq-ext-lib_0.11.6-2.dsc
    2de72195163341d89dea67b64cb1127c978ef121 1956 coq-ext-lib_0.11.6-2.debian.tar.xz
    faf3821a33becb0223b15bc61d9d36d6be03f277 6824 coq-ext-lib_0.11.6-2_source.buildinfo
    Checksums-Sha256:
    c0f00eaf46f7b462019fad14aa6fcbd42c2a3e52dbf9ed378abe5177bc155e64 2084 coq-ext-lib_0.11.6-2.dsc
    d9f8b0a9d3158bb5088c41c7656542484061c47fb5aa8d2e1ddb23a95827bbee 1956 coq-ext-lib_0.11.6-2.debian.tar.xz
    edf595a8b8d03fe4bd6f19fecafd7c91aa9abdb0ba82a16079c3e3aa07f96c9e 6824 coq-ext-lib_0.11.6-2_source.buildinfo
    Files:
    b38455bf5799a61b91539d1629c0761d 2084 ocaml optional coq-ext-lib_0.11.6-2.dsc
    72b801c99271dcead60f0203540dc52f 1956 ocaml optional coq-ext-lib_0.11.6-2.debian.tar.xz
    27cd9bb694260c251478b834a923530d 6824 ocaml optional coq-ext-lib_0.11.6-2_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLSmw4SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRu8YP/0sLeUEUQYDWuUOzGpdSBEOKBWWtVbJi 4dlzZpy5O9qMFFeRUIcMrtyE78Z8GRpPU1t2hwaKLnSZr0hSeGnN+OLDvv/a9Xur bZ7igDACAnTduRqsHe8sifnsNZDOulb8F+23MWydrxM8t0SY8nzoFSDxlVkMJU+3 n8iOzf/OOdZGyGZfc+wAbha4AUJKO004k8ItOFYmeRUpRRXm188EOyjOVLP3ChT6 Pk+/pIFyCLJ8h+HeJD5zKQ5rP6MOaTu0iy6XG05iBvaQguklDJMFVihWxyYW1ySP jNUaK7t3++ZsSaj4QxFC8VMh82lFI2PHu0jxaI28a/JP9KlnPqlT6qaJYRo9N0aY xznEU7Ydr3InEFYlP1RKBriBrw5tN75Jlmi5h8HsikLuhtlFOCPatQBqpvt/n+IT nU469saK3pb5Ryum/7m9/UEayf1+jB3WjcmTDAI3MZSCN/f/t63m3JmrZWrgoPsq ohuVFn619MvRTGafYxG+lTZK0LxR2VS/1zAITz1TsYYtyeL0umVElV6dx0BArx0L SRMlyAHmcEtAq4dve7uAncx+OkjbwR8BfCHx0tStMWlectQDd3uWI+inXjZidmEm Muj6+OpGP6KLJD7RDq6C7zq3bIhdglYeqFl/0ZMEvaOcuDDpOJ2GDBDSjGPGVFUp
    BxopkqwhWBlR
    =4aNV
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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