-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 28 Jan 2020 20:23:39 +0100 Source: coq Architecture: source Version: 8.9.1-5 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Ralf Treinen <treinen@debian.org> Closes: 949975 Changes: coq (8.9.1-5) unstable; urgency=medium . * Be more precise in install files to avoid that usr/bin/coqidetop.{opt,byte} gets installed in both the coq and coqide packages (closes: #949975) * Add an as-installed test for the compiler and the toplevel. * 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 that is installed on the system. Checksums-Sha1: 87645aef961b0954ed7c59372038d07c87869a16 2491 coq_8.9.1-5.dsc fe6146d2fbd0862db90eb77dd03d4f6d6fd67a7b 32048 coq_8.9.1-5.debian.tar.xz 7afc363ff2c4872969876c712da564869b24eeb9 13798 coq_8.9.1-5_source.buildinfo Checksums-Sha256: 32b49a253f22755a4ba29fb0704ab46d4dcbff7e68708ae86f10a53d53313145 2491 coq_8.9.1-5.dsc bf7a6e32e7eaa918553fc93a357ec11543f71e8676571557e8a7ebe1287ef350 32048 coq_8.9.1-5.debian.tar.xz 217ee234f123b4d765d3862c4508dd859a5f37320c28b1a6adf4747c67cfc154 13798 coq_8.9.1-5_source.buildinfo Files: 4801c82576a070b9a8189149d4f4a1e3 2491 math optional coq_8.9.1-5.dsc 14f749cb308946e31d8c36ed559ee631 32048 math optional coq_8.9.1-5.debian.tar.xz fc81625a7cde632b25e125ff8144f7d2 13798 math optional coq_8.9.1-5_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl4wqGUACgkQdFxHZtTK zf+dTw//UIVQEq/PSnwXIf1XTQszj3R+oN/U4/sGdvceEQ2kMrAYSNQoNnGLh06X /8cJUL27hgvC8nZBfq3bJdmkiYmCsOqdi46X6zmJQhvgxZTC9uGfYeRSScLOaNeh v2yhDBUjLwDp76sVBr1lSjGqFgj4ppEoREni0eL5quuyOeVpfmmR0Hf3RH8Km4Bx 70D3uVfNKoJk9oHksUR4TSlVfGOXmthVQ/gRxRoefAegjBDbq4dbwduC35ozWHP6 I2CviOfDEsdjfcoCdoon79C7SLk6qXZs312DTlCqeu5ZxKVmEL1u1dfvPyJY58ue MeAZqqHcnh60SbGwzt0re7nFIy8j/qEWVJEnCyM8FEKlGLLkZKWY1INx+8mfyVDO oRiJEfFD+mHZRs7O4NefhingXeBI+c/jp7wH32UZ5jc9e+dzvAyKq9XLw4fuf8G3 xZ5LZ2MvIbFeW51VojZuceyzb2lFzZtLRpMApn7v6j6PlXVVHAzAqM0F2v+vM/QY tjmjuGF+/EUp5LvsBYy2No2+S7fO1XNR7wa0MkDFWnBFLCb5bj3xf1cNfRSnVyMm aeMN8ODROmLX/rkxtxF2UpMMyH2dZ5fuhk9i7kh5H7egrQv8F1+0x7li9V/oPwWj cJDd355vCyd6Y/LtJeThkNDk8gU4JjRY+gT9ZapdiIjt9Irwmrw= =/HyR -----END PGP SIGNATURE-----