[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#920589: marked as done (coqide is not longer packaged for amd64)

Your message dated Fri, 24 Jan 2020 22:34:39 +0000
with message-id <E1iv7XD-000BGF-DZ@fasolo.debian.org>
and subject line Bug#920589: fixed in coq 8.9.1-3
has caused the Debian Bug report #920589,
regarding coqide is not longer packaged for amd64
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
920589: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=920589
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: coq
Version: 8.8.2-1

Hi,

thank you very much for maintaining the coq packages.

As the subject says, coqide is not longer packaged in the
latest sid version.

Citing from debian/rules
| CONFIGUREOPTS := ...
|   -coqide no \

The file debian/README.Debian now contains a comment
saying that coqtop/readline and Proof-General/emacs
are suggested as frontends.

I write to ask why coqide is not longer packaged and
whether the situation is intended to be permanent.

Kind regards

  Lars

--- End Message ---
--- Begin Message --- 
Source: coq
Source-Version: 8.9.1-3

We believe that the bug you reported is fixed in the latest version of
coq, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 920589@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Ralf Treinen <treinen@debian.org> (supplier of updated coq package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Fri, 24 Jan 2020 21:58:35 +0100
Source: coq
Architecture: source
Version: 8.9.1-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Closes: 920589 946580
Changes:
 coq (8.9.1-3) unstable; urgency=medium
 .
   * Reactive building of coqide (closes: #920589)
     - put back the coqide paragraph in debian/control
     - coq suggests coqide as an alternative to proofgeneral
     - mention coqide in the long description of coq
     - put back debian/coqide.{1,desktop,dirs,install,links.in} from version
       8.6-5
   * Move coqidetop from the coqide package to the coq package (closes: #946580)
   * Generate html pages for the stdlib using HTMLSTYLE=simple, to avoid
     linking to external stylesheets
   * Add lintian-overrides for filenames containing wildcard characters
     in package coq-theories
   * Build-depend on debhelper-compat, drop file debian/compat
   * Debhelper compatibility level 11
     - debian/rules: use "dh_missing --fail-missing" instead of
       "dh_install --fail-missing"
   * Standards-Version 4.5.0  (no change)
Checksums-Sha1:
 1dbda7a9cfdec2e11a000577e3732caa2259bf25 2438 coq_8.9.1-3.dsc
 82d567c6c7249e68f9331960f01ebfb702df8208 31220 coq_8.9.1-3.debian.tar.xz
 b4b1e4e8e3e4b2437672c72594a5dafb523aec75 13798 coq_8.9.1-3_source.buildinfo
Checksums-Sha256:
 d62f79f84ebbffdd6a765abb3bb9ef61d2fd34fa3648ab8e656022b0e95c1874 2438 coq_8.9.1-3.dsc
 3b01d7a539c294d1b339d82594741356b3b5f4e90dca748ee7bcf778f9d90df4 31220 coq_8.9.1-3.debian.tar.xz
 9d03fcfc7118bf683569fb4dcdd0879c70c84e28a65911ac891b2fcde859181f 13798 coq_8.9.1-3_source.buildinfo
Files:
 c3595cebcdaeb4064b8eea8cc67b1403 2438 math optional coq_8.9.1-3.dsc
 5c684d69c5eb16d1ba2f4f1ebc9fd3ec 31220 math optional coq_8.9.1-3.debian.tar.xz
 d9cc2cf353f567dcf2e00b39e30f93a0 13798 math optional coq_8.9.1-3_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl4ra0gACgkQdFxHZtTK
zf8vxQ/+MULbb1D3Vl5ATJqeWPRtU+Wrs9fzVP2qVS+DKpNsfwydwHqueWxmZMC+
Nj8D6b8f6Iw6RhQJsKeYz0+67i/E6f//fxYp1h1BicU3KBFwAFQSSmx8Btft5N6B
RgUOHAkjiUlpXZxzA/TuVoPGf/GKX5RHQhSWQ5PpJBSNe0m7FNS9/axEpnFgyfAE
YL7MLdDCgWdyfMWdX3N6wwK9gCG9BFPHDmhO3PMYwv//SI37JPRkEdyIQYoZc3S0
Xv+U2Yz0YTfOirO1I2BLjkuu7AKze7d066169YxJOPtzecc7E7gxGb4WrPeDbx1q
aHsvvWlCFimMejgluEs4pSftYKUI29xSYQ8tYCiX58KOzmzC7f6QqwKUGUb/2l4M
EpBas4+5cBb+KDDueKMWLyD5VaeCCxBFGOH6vjrLjM/ZORTHFDObxV21NtxZLaTz
sVxMy8074YZY0jYpvLStaP/G89rNCrUSCZQwFD2vp5ZfURuLqBea3vX4vz83qn0/
LQGf7O1myALLFMgNSbK9eYRQ9Thc7PV3c0QPo6I4IqaKMWSEyusx6hUoAsSu2jUK
1fYWHQXM7dKw8ZTIO1S55xIttTi9qq2KXMJPE4zH4RpljeyLEg7ITRGRuxUbV9Hj
+vivUlF0cNPtt0UKzflD+QqflbpTy4b7FvbzazmF5/g93rGuIbo=
=QJj+
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: