-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 08 Feb 2022 17:10:12 +0100 Source: coq-doc Binary: coq-doc coq-doc-html coq-doc-pdf Architecture: source all Version: 8.15.0-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 Closes: 543548 1003539 Changes: coq-doc (8.15.0-1) unstable; urgency=medium . * Switch from debian/compat to depend on debhelper-compat (and level 13). * Bump standards-version to 4.6.0. * Declare d/rules doesn't require root. * Simplify d/rules. * Rewrite d/watch following the main coq package. * Package new upstream (closes: #1003539). * No more fac, rectutorial or tutorial (closes: #543548). * Add myself to uploaders. Checksums-Sha1: 1d17110788da7bf679df61bc2120f0c393aa0f91 2392 coq-doc_8.15.0-1.dsc 8382e4f5c16bcd197c30d6cb58210b4d1550057c 7215106 coq-doc_8.15.0.orig.tar.gz 3d40bca60c41e21909779777e4846b5973b1e1f3 7480 coq-doc_8.15.0-1.debian.tar.xz dd6f983c454e4b430a0ba47043ef544c8059db58 1419784 coq-doc-html_8.15.0-1_all.deb 475f9062ca871be04be2cc4e3221664abbb6150c 4064784 coq-doc-pdf_8.15.0-1_all.deb 3b4918bf0d99550c63ff1077b7cf3b761d49dd27 6428 coq-doc_8.15.0-1_all.deb 2041143c88c7acd95c9c10e55805269799f8065d 12762 coq-doc_8.15.0-1_amd64.buildinfo Checksums-Sha256: de2a523a3d2a2672bfd7332d00a87f0dc40f223a4686d53947f6d1f7edf086e6 2392 coq-doc_8.15.0-1.dsc 73466e61f229b23b4daffdd964be72bd7a110963b9d84bd4a86bb05c5dc19ef3 7215106 coq-doc_8.15.0.orig.tar.gz da91a3992e303b5de098a41c3f29222be867e02eb5fe1dd196fdaa72cada2db8 7480 coq-doc_8.15.0-1.debian.tar.xz 57e1ac80b331aa2d896aaca64bd18f378843330bc6ff6114c9b6237ccc516f71 1419784 coq-doc-html_8.15.0-1_all.deb 3f45400d97ef2836e0f79c05d2a0e1f118d288f5505bd035aca015a57ff52920 4064784 coq-doc-pdf_8.15.0-1_all.deb a89e086c3671fe93d442845de61fe9ca0dd0c06b8eac4202ecc70e52dea97124 6428 coq-doc_8.15.0-1_all.deb e39e50ba703c15a1a887e25a26d4b3b78106b2e4fb21cc79f037d8340f62803f 12762 coq-doc_8.15.0-1_amd64.buildinfo Files: 5ebccbd9fb2bc55d085bf0dab0db08f3 2392 non-free/doc optional coq-doc_8.15.0-1.dsc cfa91d270e013b0ebe49120c2101d010 7215106 non-free/doc optional coq-doc_8.15.0.orig.tar.gz 11d21da11ffe765db95f5e5a5648702c 7480 non-free/doc optional coq-doc_8.15.0-1.debian.tar.xz e87233a6f89909aca78389c6e761844f 1419784 non-free/doc optional coq-doc-html_8.15.0-1_all.deb 4845e8ebd58561b247f1d7e84b4ed608 4064784 non-free/doc optional coq-doc-pdf_8.15.0-1_all.deb fc9085c08486dd7ac4969b67afe8aaaa 6428 non-free/doc optional coq-doc_8.15.0-1_all.deb 397e65984cc5cc2a02e9737a45836da5 12762 non-free/doc optional coq-doc_8.15.0-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmICmGgSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR5igQAIxIyrJCD5aAs2g38xB3/uTD1MOx/G3B qwZx+twPS1GilZSL9ZNubpfFZWopBIl+Iqtqq8ijT99oe2VtdjLTNcecQzKGhFL/ pgxQCx4CDVplGK7LU96dq8b7DMPb7yJfFl3tRDVcv1bkUsKhVDE1HkxaJUOTv/yw KIP14GgMKCEiZ8eEIxMAmktGxcWWrF21liXbGzmnvjd8wsYZO2tmT9TmCjC15kBt lRASn97qcDGNy3Qt2047PRVJOe6kXcmXtrnrpE44yEqY0PSluAikyrWamkz54u2C bWhUAzYoB/N0fYU6A9i2scGwd4K0PBqNmtB+AbjwumpI8sg0SQgSzRzlbW/MN0FN jEq1pJ4b5i4jLzyOu8YIaLs8Wayq+JeLqWpN6oa/FjXY03vI0Nqt1dvCF8rmFEjh F+o568lyHjw9gpblbeila5mtV8fJvQ1WIMnTQbGVio5MH620Fv76rH/hcxgFwiiE ACw8r9O+najQFIWx9Qa+eoJLMvvfJj7sC6PYxwHYkIvMtdBXeTmDB4k6yaeOaJiU QIrbbm5pureoIQBcNk9LumUtq4VFGy/SvnX1N/KDCZk5g8QUgFKG9J+SmeqMo6fs FYor3eBBI5WCcqeLm5a2oj8SD9k4FuivTn+xQBdgSGj57bbBWOvQ4LerFO7Dm1lc iaikWLEFoqW2 =x5uf -----END PGP SIGNATURE-----