Bug#435023: marked as done (coq: probably needs to depend on emacsen-common)
Your message dated Thu, 29 Nov 2007 15:17:05 +0000
with message-id <E1Ixl8T-0003Ut-RJ@ries.debian.org>
and subject line Bug#435023: fixed in coq 8.1.pl2+dfsg-3
has caused the attached Bug report 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 I am
talking about this indicates a serious mail system misconfiguration
somewhere. Please contact me immediately.)
Debian bug tracking system administrator
(administrator, Debian Bugs database)
--- Begin Message ---
Package: live-helper
Version: 1.0~a16-1
Severity: normal
--- Please enter the report below this line. ---
I've a lot of packages that are installed because they are listed in the
config/chroot_local-packagelists/extra.txt and are fetched from a custom
debian archive listed in config/chroot_sources/extra.bootstrap.
After the lh_* these debs are not in the cache directory and are
re-download over and over.
Cheers.
--- System information. ---
Architecture: amd64
Kernel: Linux 2.6.21.1-mactel
Debian Release: lenny/sid
500 unstable www.debian-multimedia.org
500 unstable ftp.it.debian.org
500 testing security.debian.org
--- Package information. ---
Depends (Version) | Installed
=============================-+-=============
cdebootstrap (>= 0.3.15) | 0.4.3
OR debootstrap (>= 0.3.3.2) | 1.0.0
--
Enrico Tassi
--- End Message ---
--- Begin Message ---
Source: coq
Source-Version: 8.1.pl2+dfsg-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:
coq-libs_8.1.pl2+dfsg-3_all.deb
to pool/main/c/coq/coq-libs_8.1.pl2+dfsg-3_all.deb
coq_8.1.pl2+dfsg-3.diff.gz
to pool/main/c/coq/coq_8.1.pl2+dfsg-3.diff.gz
coq_8.1.pl2+dfsg-3.dsc
to pool/main/c/coq/coq_8.1.pl2+dfsg-3.dsc
coq_8.1.pl2+dfsg-3_i386.deb
to pool/main/c/coq/coq_8.1.pl2+dfsg-3_i386.deb
coqide_8.1.pl2+dfsg-3_i386.deb
to pool/main/c/coq/coqide_8.1.pl2+dfsg-3_i386.deb
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 435023@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Samuel Mimram <smimram@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@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Thu, 29 Nov 2007 13:59:01 +0000
Source: coq
Binary: coqide coq-libs coq
Architecture: source all i386
Version: 8.1.pl2+dfsg-3
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Samuel Mimram <smimram@debian.org>
Description:
coq - proof assistant for higher-order logic (toplevel and compiler)
coq-libs - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk interface)
Closes: 435023 452572
Changes:
coq (8.1.pl2+dfsg-3) unstable; urgency=low
.
* Added check.dpatch to remove warnings which made some tests erroneously
fail, closes: #452572.
* Added a dependency from coq to emacsen-common, closes: #435023.
Files:
c7853f36ba09fda314dff8382fe6edaf 1064 math optional coq_8.1.pl2+dfsg-3.dsc
4e89bc08cafa98f36c8b244fdbce9613 15444 math optional coq_8.1.pl2+dfsg-3.diff.gz
cd3fb9d5b31094ab16f8784774b7b71a 12593120 math optional coq-libs_8.1.pl2+dfsg-3_all.deb
bfed0318d8c8b694e59d0a6f287c6a69 7781132 math optional coq_8.1.pl2+dfsg-3_i386.deb
ef442f5967908be0062c6c32ceb7d001 4904856 math optional coqide_8.1.pl2+dfsg-3_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFHTtIgIae1O4AJae8RAgKtAJ9Zid67Iy0+gpY9i4kGg++Zzs6V3wCfWmNW
mX68kgQS4LWUIkMKmU+gi3s=
=jg28
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: