Accepted coq 8.11.1~pre1-1 (source) into experimental
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 16 Apr 2020 18:34:27 +0200
Source: coq
Architecture: source
Version: 8.11.1~pre1-1
Distribution: experimental
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Changes:
coq (8.11.1~pre1-1) experimental; urgency=medium
.
* New upstream pre-release (tagged on github, but not yet officially
announced).
* Dropped patches:
- votour-linking (fixed by upstream)
- restore_g_ssrmatching.mli (fixed by upstream)
- verbose-build (no longer useful as we are running the test-suite
with PRINT_LOGS=1)
* New patch testsuite-bytecode by Hugo Herbelin (thanks!): fixes failure
of tests using locally generated makefiles on bytecode architectures.
* Refreshed patches:
- install-coqide-bytecode
- remove-bytecode-failing-tests.patch
* Extended patch remove-bytecode-failing-tests to also disable the test
coq-makefile/findlib-package-unpacked
* Dropped build-dependency hevea as we are not building the documentation
* Replaced build-dependency on texlive-latex-extra by tex-common as we are
not building the documentation, and just installing some tex files
* Drop /usr/bin/doc_grammar from coq.install
Checksums-Sha1:
1a4d48c218eba440edb009098db98c0823f03911 2503 coq_8.11.1~pre1-1.dsc
0885adfed93c4a8eafe41564101455b773e3393e 5832949 coq_8.11.1~pre1.orig.tar.gz
6b969cf826fcb990814e2259d473befe6149e719 31396 coq_8.11.1~pre1-1.debian.tar.xz
4b65ad47fbe69965fcb89302435d246908f63d23 15230 coq_8.11.1~pre1-1_source.buildinfo
Checksums-Sha256:
f1d45f7edb9efbe6fa16e0f8f27f4cd252476e988944155d23d25cdbf796e013 2503 coq_8.11.1~pre1-1.dsc
1968b236b641040e05ad381c181ff4d7371edbdee4a4c36253ed8489c95b1a1d 5832949 coq_8.11.1~pre1.orig.tar.gz
5161c2f10ed344a92670728e78071a5bc8373f6fde0c0121d8ca7333544f5456 31396 coq_8.11.1~pre1-1.debian.tar.xz
df83fe850351693d2d849880ae521faf2bc6bf5b37ea0fac80ecf388a40de18c 15230 coq_8.11.1~pre1-1_source.buildinfo
Files:
d2ceb0b3103dd26958494ca6b74133fa 2503 math optional coq_8.11.1~pre1-1.dsc
beddecc9ab7edbe1a873d69a31d15697 5832949 math optional coq_8.11.1~pre1.orig.tar.gz
3186b4491870c4df3cf35c80a8806349 31396 math optional coq_8.11.1~pre1-1.debian.tar.xz
63b0418221da4cdfa38a011ff14cf5e3 15230 math optional coq_8.11.1~pre1-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl6Yp6gACgkQdFxHZtTK
zf+Bww/9FMMgzvaIVLxET7XCczypY+c8WNjNfTjcrzD5l0MPwjp4pBZhvEKMf7BO
cDLlgzoiNLDx2LamVrcVCxuWutCq83NKuwduQAL90eH2oLQo+rXIMXlPf8TTjeJX
U30AOeQHvEltKy41rcguNfSL11fF4k3H0b/TtoILOiTy3SC3yC11rk4Eb2SKBlVa
0i0aff5EGshSgqUlT9Wqn2iFljpkiXDeWBL7Xn+xl34OR+lCvP50VE9/0h6PMCRk
7A5TsnM3rW26SQ6iyqfqTC0Xcn3bKTGJwPLU8mjtoLynI2B7PZ6k4J4EBH3L5IQ/
XT6B+leKYd85DC0PnaGWu3kyjGcD2/BCd+LZk0BY1JdxCnONKqleIA+KQM+K1jBg
196xLm1jzHqn2XHVzpEgv9oulx8Vkie5daoTvyBH5w+y5mVsvk0uuvJbzRPiz+am
elyxYcwu/q3n+dubUpUyCG8J+abrsK9bRHypjHOZwaqKdKFEzabpdtvZNE8JxfSH
YeJd2K4RXuOZ4DQVt7pI3Wqx2Q4AxAqdEZUQKR4G75Dp7Ff/R9Doq2MroDw+vt4D
rSrQqzaps6+dqL9iYUMniCYf5umIUdMyxcMHJR2sUBwh70YjRE4ey9jvgroQlAZZ
Ut6AOo0M7VsIFpKvo+tN9bLlUeLUAHXPLWx0YiUpwPm+HJDQPgs=
=LfG/
-----END PGP SIGNATURE-----
Reply to: