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

  • paramcoq_1.1.3-1_amd64.changes ACCEPTED into unstable, unstable

    From Debian FTP Masters@21:1/5 to All on Sun May 15 21:20:01 2022
    Accepted:

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

    Format: 1.8
    Date: Wed, 11 May 2022 17:02:41 +0200
    Source: paramcoq
    Binary: libcoq-paramcoq libcoq-paramcoq-dbgsym
    Architecture: source amd64
    Version: 1.1.3-1
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Description:
    libcoq-paramcoq - Coq plugin to generate parametricity statements
    Closes: 1010852
    Changes:
    paramcoq (1.1.3-1) unstable; urgency=medium
    .
    * Initial release. (Closes: #1010852)
    Checksums-Sha1:
    429b9e905447adb38832ed29791aebe8f035b9e5 2003 paramcoq_1.1.3-1.dsc
    5f36c83b4a730b073c080e995ec7fd089a8166ee 45726 paramcoq_1.1.3.orig.tar.gz
    deaba6e466e10e9a8b9f5167dcd6a8aca7eca076 2544 paramcoq_1.1.3-1.debian.tar.xz
    3d9eb2da2cd01c3458501f2ac748ebbe50fa11e2 12104 libcoq-paramcoq-dbgsym_1.1.3-1_amd64.deb
    f8a1c5698c1cc191628c3e5165eb75c4555f2f0e 113988 libcoq-paramcoq_1.1.3-1_amd64.deb
    5283e474f3c6e6560546996ebb7b59ad0014f0ef 7308 paramcoq_1.1.3-1_amd64.buildinfo Checksums-Sha256:
    044f22715ade03d5cd4ff416dbd0d6373647e48a89c5a9c127a981eeaf6f18ae 2003 paramcoq_1.1.3-1.dsc
    235e1490f18b2985fd113b9bf17e33bf8b073360e13177c81f0e4879888420fc 45726 paramcoq_1.1.3.orig.tar.gz
    476902d4365efd9438ce5e9fc287e449ee537a680be87a11e41d875c229b272c 2544 paramcoq_1.1.3-1.debian.tar.xz
    035a8b264104866d6422cf0bc4cb8b4f4a82e0ebe2a93daf2bf3f2a89b51becf 12104 libcoq-paramcoq-dbgsym_1.1.3-1_amd64.deb
    217e898a877a8c1a93b1c01f57480ff1373762657b783fb61cf0dad326feb507 113988 libcoq-paramcoq_1.1.3-1_amd64.deb
    8559d4a4d1f1cef0749c0ee5649eebb7bb428410ed9e28ff4d387ae68234faeb 7308 paramcoq_1.1.3-1_amd64.buildinfo
    Files:
    7c1b79defb3ed7e9f2b4af9f7bf848a1 2003 ocaml optional paramcoq_1.1.3-1.dsc
    d7ed4aab639d1670312b721bd82b0eec 45726 ocaml optional paramcoq_1.1.3.orig.tar.gz
    94feeb64c7bfde2cdc3cc7fb10339ba2 2544 ocaml optional paramcoq_1.1.3-1.debian.tar.xz
    ddc5e9a3b4903df61c30fff4a1bc9326 12104 debug optional libcoq-paramcoq-dbgsym_1.1.3-1_amd64.deb
    7377e2f55ba9337a6b32d4af42c3844d 113988 ocaml optional libcoq-paramcoq_1.1.3-1_amd64.deb
    2ff263a308e8eac71fed435147a3d0a0 7308 ocaml optional paramcoq_1.1.3-1_amd64.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJ71SoSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR/v8QAITqbkTMFd56uGvWrKjXtVWlI+mCFlIO CLpE+Kf5U/RDEphaUh9OhDm9PkRLRVgzV+KdN+sjkxEJhl1tWZH/3D6ebTTwrBCh A7VenS+PdzqNLfoG6FMVRsm59tELrpDzoJFNyhrC5K1TQXzvHde6mB6zFuO/3OKZ qNjL4SjjAwOVnATzSayIGbrpCGnUsMA5uRgIEDUQHYejO1c2UqK3el0C/G6gZ5M0 s0VflbDf3ETkBYgKTy27QPjcKtdnaeA3+it28GyxqDyBf8GE+c2PJQjZlJVwRa9z YFEqLD/2w4nUL+NC1Ozg9WOJGkwF7aYJILY3lTHT/04mSdDJbbHjycZ2800QwLGo tkEF0KlVHUA9nnQd1+2icmYPtaRryT+yLl27hB6Q4HOtqGQTjlTQCr4/YozJi8oq Flgop+u3m4nZDCHgPUZQdMk73WONAgH1RcOBi5BU5+NNYzFJIVKm43tJ9B0I1X1v u4UVj8tuXEoahtZrYU2iICuv8gceFreCKVSFGoh4F8JX3XexGP6kS2gJlX+/GkOQ 4LAAWnnxRy167qFjWAxTgn8HilaFmdQGaKDJ7NkFc8+pbNtCvKIq7BEpe6EF7GhN aY4P3JLgEziQOuTLVeP9ss+5j1iBygkxMLYcOFbcM3obTmGCJcsN9YYieC4ekDyH
    6hhSJZwSqP88
    =Do95
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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