Accepted coq 8.14.0+dfsg-3 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 13 Nov 2021 12:23:41 +0100
Source: coq
Architecture: source
Version: 8.14.0+dfsg-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq (8.14.0+dfsg-3) unstable; urgency=medium
.
* Add bash to the build-deps and generalize
avoid-usr-bin-env.patch into a fix_debian_paths.patch ;
made the other patches cope with it.
* Add a patch to handle the timing scripts correctly.
* Add a lintian override for false positive ocaml-dangling-cmi.
* Add a lintian override for false positive
shared-library-lacks-prerequisites.
* Add a lintian override for maintainer-desktop-entry.
Checksums-Sha1:
4e0bd1174d5bb1190f7b470f2ceb2916a1fea7ba 2583 coq_8.14.0+dfsg-3.dsc
1cebd1e8d107dfe885dad6be3a6adbd80a7b4d69 4612184 coq_8.14.0+dfsg.orig.tar.xz
bf71610b007fffbd14d4ec11dddd84d3e4a8ae1b 39608 coq_8.14.0+dfsg-3.debian.tar.xz
beb65fd400ca84c9bd15dcdc6095bf09066762bd 15505 coq_8.14.0+dfsg-3_source.buildinfo
Checksums-Sha256:
768a27677df6b3d51e57b053cb0b6718ab4680c7707a2a4ca8e8ba2b81284ae8 2583 coq_8.14.0+dfsg-3.dsc
7676f1a7ff01ef91ed126db8b07faa2403d9d0404ee7af44b9a1e7df288ff512 4612184 coq_8.14.0+dfsg.orig.tar.xz
11c64a15c95110d63b467e54d0bf933fa134fff2418fc3a156c35b3d1e287daa 39608 coq_8.14.0+dfsg-3.debian.tar.xz
33495963841089395351983ae3ef1819b705844d2334d2052156636ff373f798 15505 coq_8.14.0+dfsg-3_source.buildinfo
Files:
780e32b2da22fe8ff580ab350e0a3e3e 2583 math optional coq_8.14.0+dfsg-3.dsc
c7d98331b270e6c20b734deb1cd3f049 4612184 math optional coq_8.14.0+dfsg.orig.tar.xz
72e5b0adad20523bfe3a7b851abe75df 39608 math optional coq_8.14.0+dfsg-3.debian.tar.xz
50bf598b21cde1d4286b07a4b1615afe 15505 math optional coq_8.14.0+dfsg-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmGPoLgSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRHAgP/jMVzDD2GrDEA8cSEAuij4EJ4/Z4wi4L
6ZyNimeA+T/71kA2Z6qa34aN7GgJzkIujllYz5TI5qBqgb/NH+fO7IKtZD+J3H5P
LWkHbC7uinHS6QtSkOUZBTIzA+GKaN3a2iIvxQ4YDcU1EqSwQ2agxpBoJyjtrWQv
zNzkGfNFCX8dkk943tyUuUQikzFHkyYVZmXV8oDMrLaxjsboytn7e1AzrPSgconr
dvFrDAJOOoojl/K5odecBVtR/Ey7rK1Z3svJkmFlhnl37Fx1q1M+pDz7bdwoQU2h
eQqIxn/sYhkWRbCIG2tpklwyL6X3KoyPS66z8y+naA9s6ZgJcYK8IkaoSo9YkewS
YrOvzrTlOYOraQaT8otmnMb3FaNd7crsBSGy4Gm1iyokfBnq7Ws4ioaIzIcE58uT
R9EYHKLvQUAiIUheSWcdrNP9wUL2jBJw3z3A9+y9Yn1SMpk6irYb/GRg1UH873z+
Zkmuzweu5pvvBf4T+WIZfzWQ6y6l3r0uCSlfP53GFLBXfMD1nWTa2GUqdqym7ys9
XWXKxiJiFGhXTx77xgbCywC88DWW+ICdMUOSCYNO4O5nuPMlV9kP7Qqag2mi99XY
MGAVZniOEJ4we5qIHE0ZLWq73q1GXh6H7+WPv1L25ovl79jdc/j7W1ZcTMbhJIYv
gJmd3oMwywEm
=1Yrf
-----END PGP SIGNATURE-----