-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Wed, 01 Jan 2020 20:25:21 +0100 Source: coq Binary: coq coq-dbgsym coq-theories coq-theories-dbgsym coqide coqide-dbgsym libcoq-ocaml libcoq-ocaml-dbgsym libcoq-ocaml-dev Architecture: source amd64 Version: 8.10.2-1 Distribution: experimental Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Ralf Treinen <treinen@debian.org> Description: coq - proof assistant for higher-order logic (toplevel and compiler) coq-theories - proof assistant for higher-order logic (theories) coqide - proof assistant for higher-order logic (gtk interface) libcoq-ocaml - runtime libraries for Coq libcoq-ocaml-dev - development libraries and tools for Coq Closes: 794130 920589 946580 Changes: coq (8.10.2-1) experimental; urgency=medium . * New upstream release - update COQ_VERSION in debian/rules * Refreshed patches: - remove-heavy-tests.patch: drop removal of test-suite/bugs/closed/5127.v as this file is no longer distributed by upstream - avoid-usr-bin-env - python-scripts-libraries - verbose-build - remove-bytecode-failing-tests - remove-tests-that-need-coqlib.patch * Dropped patches: - remove-time-sensitive-tests, as none of these tests is distributed by upstream any more - 0013-Remove-test-failing-with-OCaml-4.08.0 as that test is no longer distributed by upstream - 0012-ocaml-4.08-does-not-allow-dynamic-loading-of-already * New patch use-changelog-date: use the date from the debian changelog entry, instead of the real time of compilation, in order to improve reproducibility. Based on a patch by Valentin Lorentz (thanks!) (closes: #794130). * Reactivate building of coqide (closes: #920589, #946580) - put back the coqide paragraph in debian/control - bump build-dependencies on lablgtk to version 3 - coq suggests coqide as an alternative to proofgeneral - mention coqide in the long description of coq - put back debian/coqide.{1,desktop,dirs,install,links.in} from version 8.6-5 - update debian/*.install and debian/not-installed files * Build-Conflicts with libcoq-ocaml. This seems to be necessary to avoid that coq depends on two versions of libcoq-ocaml: the one being build, and the one currently installed. * Update libcoq-ocaml{-dev}.install.in * Move coqidetop from the coqide package to the coq package, following advice by upstream * Update docs * Generate html pages for the stdlib using HTMLSTYLE=simple, to avoid linking to external stylesheets * Build-depend on debhelper-compat, drop file debian/compat * Debhelper compatibility level 11 - debian/rules: use "dh_missing --fail-missing" instead of "dh_install --fail-missing" * Standards-Version 4.4.1 (no change) * debian/copyright: updates of copyright holders in many files. * Add lintian-overrides for filenames containing wildcard characters in package coq-theories * debian/gbp.conf: - add doc/whodidwhat to the filter as this is part of the non-free reference manual - drop plugins/ssrmatching/g_ssrmatching.mli from the filter as upstream has fixed its license. Checksums-Sha1: 8fb5489a5918e7d11c2ba782294f64a69c57ced8 2475 coq_8.10.2-1.dsc 7f955cdc03c86ebe016f30f8315149f9c5b0bb26 5510559 coq_8.10.2.orig.tar.gz 9bc658762a2b727c7dc28f9cc58ad797d70bbcdb 24364 coq_8.10.2-1.debian.tar.xz 87d3c74a4861e44a46e08f7f4893b670a389a079 6797928 coq-dbgsym_8.10.2-1_amd64.deb 0a7beb556208bf270e382f923fce7fd1fca1fc54 818180 coq-theories-dbgsym_8.10.2-1_amd64.deb 8645d72de90c10f2cf5386a03774ff31bed2adf4 32011444 coq-theories_8.10.2-1_amd64.deb 9b6be8da7e434ed096b594b72b4291fc53e01667 18528 coq_8.10.2-1_amd64.buildinfo 3a70fbcad1fdfe3f8d210e14f9c822afed3e57f0 75531436 coq_8.10.2-1_amd64.deb e090d11d01f8b19e0788b667d5af7ae1ca2158c7 592756 coqide-dbgsym_8.10.2-1_amd64.deb ee575c783cce5d9010772b1968627def1cec781b 1955832 coqide_8.10.2-1_amd64.deb 7ad0a6eb99d79345efdef71760018d3ee5e43c55 560760 libcoq-ocaml-dbgsym_8.10.2-1_amd64.deb 9a61fdf76eabea2aa6a980ecad7abe0db10aea29 15520308 libcoq-ocaml-dev_8.10.2-1_amd64.deb 850bb5e9d60131f5d8f77a2e7123009e1ce2ab67 5487892 libcoq-ocaml_8.10.2-1_amd64.deb Checksums-Sha256: 7e566501c92735cb0b5910175b4c25aa2ecc218fcb72a2f3ab900219c6c145b6 2475 coq_8.10.2-1.dsc 0a9c0c31cbaa53781e7fc8003f8d31dc612cf444053733b2827615409508f92b 5510559 coq_8.10.2.orig.tar.gz f963a2dd86f58c733796cc970128459296ee3e5863e5bd55a4a4a237256421e5 24364 coq_8.10.2-1.debian.tar.xz fd1508b21756f543e1781cb26ff91ae229027218e48a7b1230a0def312e83d2d 6797928 coq-dbgsym_8.10.2-1_amd64.deb 33ee4c786eca94f7fa9c6689d97af04fec81d56fa50481fdff559a89198469c4 818180 coq-theories-dbgsym_8.10.2-1_amd64.deb 659ef837eeb34c218757a9154fc9d9ce8097b7b8225701a6c13b5deef57f5a9f 32011444 coq-theories_8.10.2-1_amd64.deb 39b440808975c5e1bbe9a741b6be091e5c8081ef243be8f4e8633035b2a4240a 18528 coq_8.10.2-1_amd64.buildinfo 7ee2585ba9209fff2cc744c7f38b8c457d995d0bb7bc4dcb3bf093b7a202783b 75531436 coq_8.10.2-1_amd64.deb f3257abb90f5b6f3873e7fe02dcacb526ecb09295e7ee5b307bf06daf8109b43 592756 coqide-dbgsym_8.10.2-1_amd64.deb cbdf51d6c635c04d790bbd1a836ce74a25f5c587c7a41a7556846442d9e4afa5 1955832 coqide_8.10.2-1_amd64.deb 1affe232bd3572b9e8cbba3f8bd29047986a0663dd1575729eb0ebada20073c3 560760 libcoq-ocaml-dbgsym_8.10.2-1_amd64.deb 140950e04fadf92c68b660d161196768ce8a66a8586047d1de64b60301cbf281 15520308 libcoq-ocaml-dev_8.10.2-1_amd64.deb 0e7b97db188056b5c6234ebbc42be9825869b4a767980653b748a9175c55be8f 5487892 libcoq-ocaml_8.10.2-1_amd64.deb Files: 5d1651243469f21f00c3a60420e8375b 2475 math optional coq_8.10.2-1.dsc 0de1eb43e07d99c4aba3a1c990ef8258 5510559 math optional coq_8.10.2.orig.tar.gz 9afb49f01f9f1a1871de6f45cb5c199a 24364 math optional coq_8.10.2-1.debian.tar.xz 2d498b14b4e9ef00094f0ff29ccb3c4e 6797928 debug optional coq-dbgsym_8.10.2-1_amd64.deb 81c4aef5bb619ef64f9bdddf260351b2 818180 debug optional coq-theories-dbgsym_8.10.2-1_amd64.deb 50a087d03eafa446e24d4aa77ce4f568 32011444 math optional coq-theories_8.10.2-1_amd64.deb 65897eadd30d6be65e1c9350c31932da 18528 math optional coq_8.10.2-1_amd64.buildinfo 4cc00a32ec30caca0c21169694c52e0e 75531436 math optional coq_8.10.2-1_amd64.deb bbadeee6d375db9ffe11e4a0c61f2ea2 592756 debug optional coqide-dbgsym_8.10.2-1_amd64.deb 92fad909df109f142d61c139c2ca8d5e 1955832 math optional coqide_8.10.2-1_amd64.deb cd5160f6e9976949558b89d1675a79df 560760 debug optional libcoq-ocaml-dbgsym_8.10.2-1_amd64.deb 4d9e2bea91d442da3d6823caec7d3592 15520308 ocaml optional libcoq-ocaml-dev_8.10.2-1_amd64.deb 522f89b95b12b75d965707f6ce892ac4 5487892 ocaml optional libcoq-ocaml_8.10.2-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl4NAUQACgkQdFxHZtTK zf/Y+BAArqeLi/3+CAZuycnR86zDR5K253vNJgFGtsSU08AAYfiGzZuaxcbYGeXN nmvqyslho0uPQv7nMQBZRtY717sL4AF3tySjSTRdbYO5FbT9EkLIhke2vbK7CMBP 1icSIc9ypfFScOt1jDjyZEIA+66HUVXpkrE6VnvrrMbHhrPvvPLRR2JRJKyPCGz1 Ms3cQIDo7Gvn9OLm9F6HurhQ0eygx8P1+WEj2s6IlNpEE7ovzoIMC9r5bo8gOH86 c1rkY5KZO9lfwCRP3N6SwMvoJTxQIbizYKaFSvM5RqShDRWB1uEvih7YLgcfS8C5 yrSywAaY+6Ger8d7G+UEQYyDXrqAHisbeLxipHmTRw+nxGTWru6qgXR2JxY1NEWZ 07ivP7UxUaRbJzzFMRGXyX7BZLGiXvg/+akMmRL8fKZOWJevYFepAS3/t5wypavS ixh0uQ+naJfNHpQyEo0mA2emSJWG1P8AHZL9i/UpzhQhGGx5Q2AtJEsXVMkYMiuo zCav1AQikUt7yjylGgt0wep/nwfZTVhwTxMw5Ao2WRwd4KU3f+cxo875/jrM3QLP asl9ctsBOGRi3KQ67Aj7cFK1WxS5FvorD1JSWkufO2QsfE4SVMx3fz8qD+QXGqED hZV8nzHgSPMdAuefr7lvNI0/5tnVxE5qDQr4wdK5B2gRe7paOps= =Jc1d -----END PGP SIGNATURE-----
