Accepted coq 8.9.1-4 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Mon, 27 Jan 2020 03:29:33 +0100
Source: coq
Architecture: source
Version: 8.9.1-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Changes:
coq (8.9.1-4) unstable; urgency=medium
.
* Patch install-coqide-bytecode: fix instalaltion of ide on bytecode-only
architectures.
* Fix coqide.install for bytecode-only architectures
* Remove coqide and coqidetop stuff from debian/not-installed
Checksums-Sha1:
cc496fbd3670b1773ed8778432dd52237c03a89c 2438 coq_8.9.1-4.dsc
80478d09e0d7b9388f6244ee9b7b388ba32cec5c 31444 coq_8.9.1-4.debian.tar.xz
141f0dd6209e1c0470a4b19d3d510b9ebee6fa40 13798 coq_8.9.1-4_source.buildinfo
Checksums-Sha256:
a5b36aae0479d49da8d161197a284df134e5ad4b8cd61f8a6bede7b2abeae137 2438 coq_8.9.1-4.dsc
5813b993db3503405b1b3273c55f5c26040fad9dc1382e38b99852cd55565e28 31444 coq_8.9.1-4.debian.tar.xz
4d3939855770732027e28d46eacf87dcf6b9a02d0082b4571387a4046c19b6eb 13798 coq_8.9.1-4_source.buildinfo
Files:
8c60fa83dcfb7841471d2335331e62c9 2438 math optional coq_8.9.1-4.dsc
166ca8a82bae8f3a11caaa3c67208d6c 31444 math optional coq_8.9.1-4.debian.tar.xz
69132461026c796e9fd7ba71cba021cc 13798 math optional coq_8.9.1-4_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl4ukWgACgkQdFxHZtTK
zf/3GA//aCEHtN9I2MQ+dxQtmwnO+V4xoC+/kTWVQk/vS7HI4sEMC4zs0uvDuID3
UmsL8MOQ89MRfpo5ysZe/IiB01RBmVGeQdmrCb4VJbRxMN6UdcdiupCm8RS1ZWGC
nVj+bHY4RtKlbwERm1V+izagXxRvI8GViues6yMcVsayMO3zNbnPPZFtq9n9utJC
tfpIw4y4Ofu4K6bJo5PRXZcpFCvDTHk9fLrolLElg+k7fjm9dc7549aKbMVOiKMa
KlxOawgSyetbmSHr/Gg/vwmoEuKCZP4W6O4Ant4ZVPhpVXc6tqQ23OAnt62wcI+L
iu7Hh3LhytSRh5icXW/YX7BMUPje3zRvk8DHl4mt1+CqxXL0Xk7QlfR7Zpuj8lUE
BTXmx5UM3QlfCqGX+0E0+mIJ0pCkrQjuNYOkbiJwRg/EMBhQdOCEYR9kNsxnq1SM
0L+na9t3+onIyY1OmglIZ5nen1fJI29Hdfx1Zvawr3zQgHNdu/T4taqcgk1OhJN6
QaheKiQChkHHTTu4DDVmnqynirPCTkcH1tep/zKQ/ocd/WDXauPgx1uG/eTkKPJL
2RLWzphrcQXJrWQDZnDMnIQB7mQet5dsBGLIOYS2IbYAYNSN5XbTCVL3zqpV2Lqn
sj3BiF3aSgX9WPQQfLN7ELDKm9fScqppeMhrPzo38cUOjgQJ1z4=
=uF4N
-----END PGP SIGNATURE-----
Reply to: