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

  • coq-gappa_1.5.2-2_amd64.changes ACCEPTED into unstable, unstable

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

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

    Format: 1.8
    Date: Tue, 19 Jul 2022 08:46:45 +0200
    Source: coq-gappa
    Binary: libcoq-gappa libcoq-gappa-dbgsym
    Architecture: source amd64
    Version: 1.5.2-2
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Description:
    libcoq-gappa - Coq tactic to use Gappa for floating-point goals
    Changes:
    coq-gappa (1.5.2-2) unstable; urgency=medium
    .
    * Complete d/copyright.
    Checksums-Sha1:
    94a5717b109152d96033054613bb07c9364ca058 2066 coq-gappa_1.5.2-2.dsc
    fd1bc27343ba1771ddc5baee93ec92275f7f9061 73542 coq-gappa_1.5.2.orig.tar.bz2
    10fcb9109e0de27b8a579c96ec484346ad9fc558 1648 coq-gappa_1.5.2-2.debian.tar.xz
    d98beb39624656d48c7a749fb2f4c950568309ec 7403 coq-gappa_1.5.2-2_amd64.buildinfo
    0130ee57531587b3afffaf199562d7be537bfd22 5800 libcoq-gappa-dbgsym_1.5.2-2_amd64.deb
    531ad1da01a7b85530f946b3300c2a1b1a1b7948 516824 libcoq-gappa_1.5.2-2_amd64.deb Checksums-Sha256:
    949037d1fd9981ae1ed2a335422780191c87409d02d512b5603cf09bfa6f35f4 2066 coq-gappa_1.5.2-2.dsc
    a8e43645ebb796851ddd5f6fc9abb4745401af265286ad57b4ebc425631f3da0 73542 coq-gappa_1.5.2.orig.tar.bz2
    a94abf6efadf78490e846ce1ba02d48c4a8e244c61f8bc3cbdfb20015f58e707 1648 coq-gappa_1.5.2-2.debian.tar.xz
    0b1904b831ab81adc32939406097e6058b6cf598a7ef3c277fbec4a43c38e109 7403 coq-gappa_1.5.2-2_amd64.buildinfo
    ac1b7b27c3421887961fd8d8f33ec46c838d9df706a9d32505b62f6ae4a81571 5800 libcoq-gappa-dbgsym_1.5.2-2_amd64.deb
    67c5424c6b02077582459022a08ba3a5c932c4b213571779f276aae0eae75ad2 516824 libcoq-gappa_1.5.2-2_amd64.deb
    Files:
    5e07b975da61e0ffe59736ac67ef1e3b 2066 math optional coq-gappa_1.5.2-2.dsc
    826d7d56a103fc2c822f26e4db87e493 73542 math optional coq-gappa_1.5.2.orig.tar.bz2
    0e6b7b9b105bea21c896cf4106a168b0 1648 math optional coq-gappa_1.5.2-2.debian.tar.xz
    f8cc60257c0d3533cbe7b2fa99f09af4 7403 math optional coq-gappa_1.5.2-2_amd64.buildinfo
    080b17fba38165b737b327d387176562 5800 debug optional libcoq-gappa-dbgsym_1.5.2-2_amd64.deb
    7fa52c25ce596acc369fd0f6fa44c49b 516824 math optional libcoq-gappa_1.5.2-2_amd64.deb

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLWVC0SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRY+MQAI5ZFxLVxdwFRzWFNlZi8nYprDCFsz+c vark718aNoYaE3yNpIoi8UZcI5mHMyYVZa3vATT8dcwjVStE2OW+ysXprmTTF7UI KTQ3fEzI0HJUz012PBCs1xNlUsTmsApiVOW+uWhmtdTzPbejJw4FQrDpPd7rYj+r p3VTL5jtIWE0HQ2Yq1GnFTEEevuK+yolP3rwaRmQT46DH4pBEnEuL1vFtcp8fkkp fDti3wKVsvJ8HVXP38KNF4n+NMYkAoR4a0siULjhAvy4McH1w5OYQTAFKTCQ7Ac2 2d1fLYfB1TGyaDZcLhE8zj4EijzUiptil+wuH25YekpIg36224ATtJzjpH26hFpm YrbYloghMHjjYo+guszt5WgNzu55G58hTcOBmv9SDIkDgyDMkCs7Dfni3XZwA7XM rxlIZZwyAw/g1Yb4lYT4SfXBnoocPmrWD805HigNkXtjL/2BSY6+T06IDgwqXS4D mKKji5BimVXE2nFmvQoRScxqL4HugyqcRDuSgyUyO3uNacPksKCJh/05qLF/iRCw QzTC/urUK5ttAxmcFwfIMrOL93nIy/BtLDmPyZUT2Xgt3yKTqZUw/6+fUmQKhfCf 66NrrkCsIyAnS2gjqK7h/YD/ZdYVEBNw59MCsJRU2vWGcxuDCnuyUn9UB/8W6F69
    YwMxRU6f8eF4
    =Gzpy
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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