Accepted coq 8.10.2-1 (source amd64) into experimental, experimental
-----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-----
Reply to: