Accepted coq 8.14.0+dfsg-2 (source amd64) into experimental
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 11 Nov 2021 17:40:04 +0100
Source: coq
Binary: coq coq-dbgsym coq-theories coqide coqide-dbgsym libcoq-ocaml libcoq-ocaml-dbgsym libcoq-ocaml-dev
Architecture: source amd64
Version: 8.14.0+dfsg-2
Distribution: experimental
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@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
Changes:
coq (8.14.0+dfsg-2) experimental; urgency=medium
.
* Add myself to uploaders.
* Bump standards-version to 4.6.0.
* Rewrite avoid-usr-bin-env.patch.
* Drop python-scripts-libraries.patch.
* Drop skip-dot-pc.patch.
* Make the whole patch stack work.
* Update lintian overrides about wildcard in HTML filenames.
* Point coq-theories.doc-base to the new path.
* Enable hardening flags in d/rules.
* Add keywords to coqide.desktop.
* Remove debian-shipped coqide.1 -- now upstream.
* Add lintian overrides for long lines is source code.
Checksums-Sha1:
e109585e12d85787781e53325b37dcf1037c0bf1 2568 coq_8.14.0+dfsg-2.dsc
d1418db2b26aec3a52be3eee0355dc7e1dbc4ce1 39048 coq_8.14.0+dfsg-2.debian.tar.xz
0aad84c9c3feada9c850057e7ca2f9ccaddf19c4 10251144 coq-dbgsym_8.14.0+dfsg-2_amd64.deb
e8b11af4b7667366d3627b936428f6d36440dc60 24899512 coq-theories_8.14.0+dfsg-2_amd64.deb
acea7052a53ac1472228a57838a58ee8a10aa507 17831 coq_8.14.0+dfsg-2_amd64.buildinfo
8041f4454782295c6b3d4d36dff0a8f49ca9f8be 78905736 coq_8.14.0+dfsg-2_amd64.deb
7c7b0dd73077cfcefdda0a24856e70e78cce944a 575060 coqide-dbgsym_8.14.0+dfsg-2_amd64.deb
b129a519a70fc0c030da62f8b9b04f806eac02d2 1897984 coqide_8.14.0+dfsg-2_amd64.deb
7b0edca1acf9aa21dae5b7cf0aa3a27a6cc5d698 1854212 libcoq-ocaml-dbgsym_8.14.0+dfsg-2_amd64.deb
dea23d045633b41034fc0e4d3775748222b791d9 42398240 libcoq-ocaml-dev_8.14.0+dfsg-2_amd64.deb
a4c9ee1a90ebc6a2179c924fae88802a54d5101c 22081736 libcoq-ocaml_8.14.0+dfsg-2_amd64.deb
Checksums-Sha256:
e9d8a048809ce1d4e6dd16a8b3fa6ba6e1f95f8f5d3794a5bf7b8541b55b84e2 2568 coq_8.14.0+dfsg-2.dsc
1dac99a5c0073c56d83ffb6b005220c8cdfadfeea5360eb64fcb888822a70900 39048 coq_8.14.0+dfsg-2.debian.tar.xz
16de6569928779aadf3aec1badd80ae9d42f9b6aa18c845f9303729172d1bd6f 10251144 coq-dbgsym_8.14.0+dfsg-2_amd64.deb
0001c30ed95774a2e0bdb672a1568e3266def00047fd7e7c2f53670e36b87518 24899512 coq-theories_8.14.0+dfsg-2_amd64.deb
6867ebe9a32cc98be91be8b614ce8194df1118ddee97c4ba7ed65e3650c32ae0 17831 coq_8.14.0+dfsg-2_amd64.buildinfo
7108b23bb21051d93fd43d9f33b40d0410a25122771634768efb23add8aaad36 78905736 coq_8.14.0+dfsg-2_amd64.deb
98ad5c26e6b5ab89ee7155591efd1501035dffbdab79fcdce6329ffb7c0119a8 575060 coqide-dbgsym_8.14.0+dfsg-2_amd64.deb
cc45523e9a926c408fe3a4c87a416a3791818b66990118612913ead0bd1fbfc6 1897984 coqide_8.14.0+dfsg-2_amd64.deb
a60f69eeb11d9af7ccbfea4d7cb0c1f708c7162c4cd7a5e26fd8de705b523f37 1854212 libcoq-ocaml-dbgsym_8.14.0+dfsg-2_amd64.deb
ea24eb39019e41d4c443335476b6bdecc72661154197e737a0f02122ff5dd8a8 42398240 libcoq-ocaml-dev_8.14.0+dfsg-2_amd64.deb
e6c8985942cdc66fe5dc373a68380f92c684c38e24f84ae64ab5a065ee163aaf 22081736 libcoq-ocaml_8.14.0+dfsg-2_amd64.deb
Files:
fd2f3f4b84245483da9dbfe400e47259 2568 math optional coq_8.14.0+dfsg-2.dsc
bb196f2baedcd27556e96141a97f3978 39048 math optional coq_8.14.0+dfsg-2.debian.tar.xz
c8b75a69648314c104ee9bd036f9e807 10251144 debug optional coq-dbgsym_8.14.0+dfsg-2_amd64.deb
539208ff770ab1543cf979b4f1126f42 24899512 math optional coq-theories_8.14.0+dfsg-2_amd64.deb
2ee50232771358fe159a54802e222fde 17831 math optional coq_8.14.0+dfsg-2_amd64.buildinfo
c61566bb872d5331c58301eef12e64ab 78905736 math optional coq_8.14.0+dfsg-2_amd64.deb
6ec6fc8c8776b1ef1b819475bad242fe 575060 debug optional coqide-dbgsym_8.14.0+dfsg-2_amd64.deb
2c1ef7e1129cfa6333f1d6bede990b5e 1897984 math optional coqide_8.14.0+dfsg-2_amd64.deb
58815cd6392d224ee9097d54b924d14d 1854212 debug optional libcoq-ocaml-dbgsym_8.14.0+dfsg-2_amd64.deb
1913348cc0c5c3b2e997daad18743d83 42398240 ocaml optional libcoq-ocaml-dev_8.14.0+dfsg-2_amd64.deb
b9d0d80f28e1df7c9c7371f48ad7ac04 22081736 ocaml optional libcoq-ocaml_8.14.0+dfsg-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmGNS30SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVReukP+wWiFeJLAJL6CfAAIAga3VL+sUi4qgbX
l7NTc9APHHxINdxgLSvfnIa9CjqAFX12URbi43Faqqs/SoSr12sneYDOFTyxyNiC
mYs8Ds99dv8fQgyYLez+xT4WrMjZb+iA9oni7SPJyOCbmbO9dw0XEvHzEkGPVPi/
OhtnYL0jEZZ5x50qM/W1w+2h7KocGZUeFcSdJEMn1rjyHQAU0ZUOf74GFotiIChO
x6AQ+wDvROmIxg2AFF59LN+u/yNgXvmwDI5vV6sR9K5Rl6+Dq8e7GgOfAzdDBZEl
6kbaXxh5c87m/5qrT/Pi5UOczQKBZxDFCqcy2NziS/YjTKKnv78ESkcbNPr42b8R
Vx0FyM+HVkAUDG9uJxMYJi4bCTuz+U0LzfgGI/M8KNgPniaqxsP01mh69QRmZ/u0
osXVgv2k5Hkqd4AMokR5uFQSyatP8yg3I2w3/1QWvbNv/CNNxxATtgryXGxYGJ1y
zOD3htNjKjl5NvA1DVy3NBUG8kzmIfAHdll8OhgfV0mkXLtnPd+oX/4gtdmZtJyJ
6vkB4VwNm8hxcOYmNeb3o4siyivGTNTHFxEO0aM/ukoSaxRrJjFHnLtmTl6yKGRF
R43a1fHYwVTRjUIrJx3rmhGoIBA/dIxpx33SCqd5nmMg2KqISK4txv/zgzRq8YD4
bdXT8jGv33fp
=yuYp
-----END PGP SIGNATURE-----