Accepted coq-doc 8.15.1-1 (source all) into unstable
-----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-----