Accepted coq 8.9.1-5 (source) into unstable
-----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-----