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

  • coq-ext-lib_0.11.6-1_amd64.changes ACCEPTED into unstable, unstable

    From Debian FTP Masters@21:1/5 to All on Thu Jul 7 00:20:02 2022
    Accepted:

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

    Format: 1.8
    Date: Tue, 28 Jun 2022 08:08:54 +0200
    Source: coq-ext-lib
    Binary: libcoq-ext-lib
    Architecture: source amd64
    Version: 0.11.6-1
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Description:
    libcoq-ext-lib - Collection of theories and plugins for Coq
    Closes: 1013963
    Changes:
    coq-ext-lib (0.11.6-1) unstable; urgency=medium
    .
    * Initial release. (Closes: #1013963)
    Checksums-Sha1:
    61218e27aa5dd295c04f161ae30ece60bf020f86 2084 coq-ext-lib_0.11.6-1.dsc
    08f9ecbc66572054676ae838d52fe8341316a1c1 82555 coq-ext-lib_0.11.6.orig.tar.gz
    a7b5fc15b1b7bc2cee84aa78619b1fac9ab58ec5 1948 coq-ext-lib_0.11.6-1.debian.tar.xz
    9c9b6253b27a4922b084275e4a3269ea228735f7 7129 coq-ext-lib_0.11.6-1_amd64.buildinfo
    8fcfd45a707946c8bf5531fe7629513bc2f33fbb 763488 libcoq-ext-lib_0.11.6-1_amd64.deb
    Checksums-Sha256:
    b63d084b09e6c61c552698159b0f8dcf19e6e59d01a237f873c00ca8981c0eaa 2084 coq-ext-lib_0.11.6-1.dsc
    ccc142b9e8ddb6b2f007cdded318e31c528ddbafe3b84a803f77e796e820b409 82555 coq-ext-lib_0.11.6.orig.tar.gz
    7f0b0deb49e0d56a4de7b267de71fa9acaae1414e015aeee76551d941d3fb2cb 1948 coq-ext-lib_0.11.6-1.debian.tar.xz
    215503ccb6c330bb46e78bcb3e7bb0d367fa3ff374981730be4212872489a18e 7129 coq-ext-lib_0.11.6-1_amd64.buildinfo
    21e9fac31686c8b9dbf0a9d2eccddfb8d14622b66f8ec6b935f243e601397db8 763488 libcoq-ext-lib_0.11.6-1_amd64.deb
    Files:
    f36fcf11375bc2de45e81c6dd60f30f2 2084 ocaml optional coq-ext-lib_0.11.6-1.dsc
    442577afb6ff3a02043478690057cc21 82555 ocaml optional coq-ext-lib_0.11.6.orig.tar.gz
    98439e3a1657ffe99baa59f71f068146 1948 ocaml optional coq-ext-lib_0.11.6-1.debian.tar.xz
    03109ba9874763ae7774f78e53bc8936 7129 ocaml optional coq-ext-lib_0.11.6-1_amd64.buildinfo
    9de08be5a3a10d54613473cdb23ff7fa 763488 ocaml optional libcoq-ext-lib_0.11.6-1_amd64.deb

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmK6m38SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRYg0P/3GOfZVy+ZFuQrq/+hddpjvGx0R4/Zw5 hW6e+5p8cpoUlNkEGQbBbKy/mdFn5aBzZJBrbOmf8+y1ijDkODXfnnsLghQhKhcF ECA9Fk01NpUMLOQVt/Z52IYdWENvIXMeJJVoPqU4faAKFZ0oD3ZnwNr0aALiCOGo Cj1vhVP5HEpBIXcS8/OD0iVhInc4Az7ns0A5/qJZU6/oyFm3D/EQz/BRAHlMlr2E Tdex9Wdf9Wu0bglbd3ASeDchc+p5oUY9VgXprWFNG1upVrKwAW6OHUsEWVsJ/+e5 eDJvLZanNOPRUGKB3JCaXznegNh5XbZxFToC516MCA7RCEHLT41WnU6TcNQ881wG QUhBzAzsDQj9zkBUVo429JQFyK9PW84j4VefVMnALdco+8bOHDZOdBgXsyrQ1LUV 9HNfwnlawkg3Kfbe9KaituLjcUoNVLgp/JKZlQlsjD/+T7Hg0Xch603bJja551dU 1WzoIc8dQDWUkkyfnoeaTirRuW4ci4E1wELUR9/aQjlasImGueVtaQxrDC9YTmEa bWFb7n0p5sNPGw71zCtdeh7xn4DONXX3vviQx0na7Q8BG9hf+0rtck9zuyW+X2MU PO/XryCQnJ7O9IDcw2soqn9jFIbQXpJfO5b7CMmgSRSSAbe/UlgUup94za4LaklL
    /uNLfG9sVbYJ
    =GYsW
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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