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

  • coq-doc_8.15.1-1_amd64.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Wed Mar 30 11:40:01 2022
    Accepted:

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

    Format: 1.8
    Date: Wed, 30 Mar 2022 10:41:25 +0200
    Source: coq-doc
    Binary: coq-doc coq-doc-html coq-doc-pdf
    Architecture: source all
    Version: 8.15.1-1
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Description:
    coq-doc - documentation for Coq
    coq-doc-html - documentation for Coq in html format
    coq-doc-pdf - documentation for Coq in pdf format
    Changes:
    coq-doc (8.15.1-1) unstable; urgency=medium
    .
    * New upstream release.
    Checksums-Sha1:
    db98e77d6915492598cc84c66856e8345d610043 2554 coq-doc_8.15.1-1.dsc
    8b7102775258ed3409c61b001602b8e8c73446b0 7221470 coq-doc_8.15.1.orig.tar.gz
    cf2a99ebd5453f4761843bdb021357d50dc3c287 7620 coq-doc_8.15.1-1.debian.tar.xz
    2047d2c29d046858b2ff4db81880050fb606f9a8 1421160 coq-doc-html_8.15.1-1_all.deb
    f6788e070562be1a1424e0832e36a39cde4d3341 4072656 coq-doc-pdf_8.15.1-1_all.deb
    cbd6332fb4c41936a90f1907f48b30e820a961f6 6500 coq-doc_8.15.1-1_all.deb
    44772345d8f4b66d5c6a12f8e795975dd46ac062 12663 coq-doc_8.15.1-1_amd64.buildinfo
    Checksums-Sha256:
    8fe18b55b5e2d123e9e2e2b0bfb5edd5c80dd5e0db80b780094d722b262e6b5c 2554 coq-doc_8.15.1-1.dsc
    513e953b7183d478acb75fd6e80e4dc32ac1a918cf4343ac31a859cfb4e9aad2 7221470 coq-doc_8.15.1.orig.tar.gz
    a6f85c9c1e5397861abff6beda5c04594f52f0277fe6e9125080987ac78e992e 7620 coq-doc_8.15.1-1.debian.tar.xz
    24256d071718676064525699c3ac665395e2ecbb86b482ea2a8af1fe103ca71b 1421160 coq-doc-html_8.15.1-1_all.deb
    ac6e886493ff48f9cea3ca5c10bd08a24d32e30f8eec68764cca89f159af7f0f 4072656 coq-doc-pdf_8.15.1-1_all.deb
    e97032f96c53f2eddbb34d1bc180ff59d381075c722e461539c7648ec4e78091 6500 coq-doc_8.15.1-1_all.deb
    fe922e9305f2cc228ae4e647000789487a19697232beed647d0c366e7b94ab36 12663 coq-doc_8.15.1-1_amd64.buildinfo
    Files:
    8b865218b9f8248bb1bb0f301aa64e97 2554 non-free/doc optional coq-doc_8.15.1-1.dsc
    1df111d6415440adf1cf9ff5ce99b8a9 7221470 non-free/doc optional coq-doc_8.15.1.orig.tar.gz
    dbe606d34490f2b4dd92725935e20ddf 7620 non-free/doc optional coq-doc_8.15.1-1.debian.tar.xz
    4762191a8e6337673feb736e2df2b548 1421160 non-free/doc optional coq-doc-html_8.15.1-1_all.deb
    4f0962b897f7a81eefafbe041eabf933 4072656 non-free/doc optional coq-doc-pdf_8.15.1-1_all.deb
    89ff325a9929670133c6b1ded04f4dd1 6500 non-free/doc optional coq-doc_8.15.1-1_all.deb
    31ad0d09ba06a0af4b339b11473c39d3 12663 non-free/doc optional coq-doc_8.15.1-1_amd64.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJEGicSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRmjIP/2l8za7ixLPeBwIQBd+0r7SBUL2qsZAx I4PEWxiy4NIlwcJ3mQKi1jJpL2YxXfp420AP+o9Y5/akdpJXVX/ffq4Pjyw4DGUx NLJg2kasVqa85BUfOIMt8Iv58E/JPsqwtsLAmJbfh/WlbIAIuoi4e3Dh+LRBD5jQ ZdE8LKNtoW9OroP2eJW6dgfUaxyM8GGALdjF/9l+ADLBs8x1d0EbHX4Qabci7HxP om3iSlxQ5PUvi3Q6VwSYPav3vnr1bYOUPtT/XidFFtREj8ONmu3GHjf9lid2lSE3 Aay69bdWMneaYuwcoy5KuYTjtP3V/+6Cp9Vb3vhKonzUqKyZATRYyGVIm/KEzLbx rKfWCAW8XCrPT83oB0FOOSUCcSr+6yaRIzmU5Pg64rhFDPNCz0hDSD0k7Q9IctKi 4du0+EPde92SjLFGO8zNquyM58u5cpxOtIGzuiZQTCxsuWMrMRp42nbGgQxrM6v8 WZSD++mLPaGt37+jt9NeVHr62Mjv0IFplxQVdkk8LvZv9wNnYRq+8atQJIYrjpPD AfkbXnMK2YH3HMfKBMDOzm1sxcshzasEbPcSkXBVlUNFwC8HVYfjdicGNZ9yc0Wx uNl0v4qD3FrECpI0eFU2tDrPp+eLUzc0tzSwr4TuoiSyaDctigSez0QUAvWp3mV7
    gFzex7AWDXV+
    =v0+7
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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