-----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-----
