-----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-----