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

  • coq-unimath_20220204-1_amd64.changes ACCEPTED into unstable, unstable

    From Debian FTP Masters@21:1/5 to All on Sat Jul 23 20:30:01 2022
    Accepted:

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

    Format: 1.8
    Date: Sat, 16 Jul 2022 08:03:44 +0200
    Source: coq-unimath
    Binary: libcoq-unimath
    Architecture: source amd64
    Version: 20220204-1
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Description:
    libcoq-unimath - univalent formalization of mathematics for Coq
    Closes: 1014997
    Changes:
    coq-unimath (20220204-1) unstable; urgency=medium
    .
    * Initial release. (Closes: #1014997)
    Checksums-Sha1:
    adc970bd46185598186d147670c89481f4997147 2106 coq-unimath_20220204-1.dsc
    b7692f8a792aa9f7b462b862a1a8150daaf05837 1705163 coq-unimath_20220204.orig.tar.gz
    052d0a8eebcdb8de6b102b7cc6add8708f7571f9 1688 coq-unimath_20220204-1.debian.tar.xz
    ac611d534408669c7d077f974d79ac09e29dc6d5 7150 coq-unimath_20220204-1_amd64.buildinfo
    7e88101674f95fef2a24d19ec58954345c788971 31195476 libcoq-unimath_20220204-1_amd64.deb
    Checksums-Sha256:
    a551165f6964d158945725fa77faeae23d0075ccb8725ad75b0312de5a041e79 2106 coq-unimath_20220204-1.dsc
    d95815a2a76dd3739b902752fcc166ca66926e7198317ca9dc78a08667c9bb38 1705163 coq-unimath_20220204.orig.tar.gz
    16ca8dad8140511a0b826b990911e0d765b8174c96a8ab11f5e1a6aee446b15e 1688 coq-unimath_20220204-1.debian.tar.xz
    2c81aab2a688be4288cdf9fb03b4201e951ce26b5f456569283e1da88ec7d9aa 7150 coq-unimath_20220204-1_amd64.buildinfo
    cb8dc027d39f64ef2efa94c136fb993c5b256c9c51e1b9e03f065cd713a1c4d7 31195476 libcoq-unimath_20220204-1_amd64.deb
    Files:
    6fccfac90319788407d936705c7faf10 2106 ocaml optional coq-unimath_20220204-1.dsc
    156af5357d9c416df3c0bb7d0232c4ba 1705163 ocaml optional coq-unimath_20220204.orig.tar.gz
    ebae6295f03dd6c9b5ca295e2b79367c 1688 ocaml optional coq-unimath_20220204-1.debian.tar.xz
    795ebd62d461e5703cbbff4efb8b5069 7150 ocaml optional coq-unimath_20220204-1_amd64.buildinfo
    d6fa9f736c76d030f6b3e5d4f2b84c14 31195476 ocaml optional libcoq-unimath_20220204-1_amd64.deb

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

    iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLSiZwZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUeDnD/4w9kpTi8yhLLlHbVxNn+/h nYAHjw8HbExlxCL41QNw/K9V/Fc2qBawW6xzZ6U7mUDxLtl5gD9ZY14RRFIurPdA slb8cG2v98KcBn/RgfHpH10tBh8ZS/OnPYtaUInXJWcKXblfQrRUZWJCFT0mJOKf nzViWOa9fijbJq8JS3M63fIs8In29Ghg7B23eQpenIsVTEIF+ZEdi5yg//eo8qUv oQY8vk9DVm8UzZGuidMIUL8zIBM/BJvjkRvkfqfiQyRKBFEYpECM2WmFlrnv9QCn 4OPTfpTOxPw9XNRzxbi8cO5FYoE6yggzCkGuYwcgPBFuMXd/E/n4fI4uHy4iVJsR FcgHDfNruHWm+CVv6dhLs6CA/wABuibBN+mYH5UE3yWUNb58Om8yzqYBy4TB0QEl sT5HMhsPi7iBfTBu+TPYSIZoasYjzMvyht+zWuhl63L3DgygYawJAbOBVcVxS2tB LvjVqq7HxmN0byE97Z9mtslTF4yKLfy/78ZVaEE9tkmQKmh3MOnxxji3JZ1vdtIx tAqZqDYyj2H68SYaA82TVnoA+3UbrcNT/53+WBZ7e9lY6Uc3Ovrqr/94pFzNJ9ku e0tfsa2CXNVt5XujnFeCespSnMMRWW9Xl44X85ldI+TYxfb2qMPXGyIapcFaaaSN G+q/BYOuGXhysppkeGwm0g==
    =dC+R
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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