Bug#250497: marked as done (coq 8.0 trickling in?)
Your message dated Mon, 16 Aug 2004 01:32:45 -0400
with message-id <E1Bwa6v-0000kt-00@newraff.debian.org>
and subject line Bug#250497: fixed in coq 8.0pl1-1
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)
--------------------------------------
Received: (at submit) by bugs.debian.org; 23 May 2004 10:46:37 +0000
>From duraid@octopus.com.au Sun May 23 03:46:37 2004
Return-path: <duraid@octopus.com.au>
Received: from ppp116-31.lns1.syd2.internode.on.net (localhost) [150.101.116.31] (ffs)
by spohr.debian.org with esmtp (Exim 3.35 1 (Debian))
id 1BRqV3-0007Yg-00; Sun, 23 May 2004 03:46:37 -0700
Received: from duraid by localhost with local (Exim 3.36 #1 (Debian))
id 1BRqV0-0005zV-00; Sun, 23 May 2004 20:46:34 +1000
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
From: Duraid Madina <duraid@octopus.com.au>
To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: coq 8.0 trickling in?
X-Mailer: reportbug 2.60
Date: Sun, 23 May 2004 20:46:34 +1000
Message-Id: <E1BRqV0-0005zV-00@localhost>
Delivered-To: submit@bugs.debian.org
X-Spam-Checker-Version: SpamAssassin 2.60-bugs.debian.org_2004_03_25
(1.212-2003-09-23-exp) on spohr.debian.org
X-Spam-Status: No, hits=-7.0 required=4.0 tests=BAYES_01,HAS_PACKAGE
autolearn=no version=2.60-bugs.debian.org_2004_03_25
X-Spam-Level:
Package: coq
Severity: wishlist
Hi guys,
Coq 8.0 is starting to trickle in (the last time I grabbed it, some
weeks ago now, it was referred to as a beta but it has seemed reasonably
solid.) Just wondering if it would be possible to have a new coq8 package,
while keeping coq going along as it is. Well, that's my wish for today..
-- System Information:
Debian Release: testing/unstable
APT prefers unstable
APT policy: (500, 'unstable')
Architecture: ia64
Kernel: Linux 2.6.5-rc2
Locale: LANG=C, LC_CTYPE=C
---------------------------------------
Received: (at 250497-close) by bugs.debian.org; 16 Aug 2004 05:34:02 +0000
>From rdonald@newraff.debian.org Sun Aug 15 22:34:01 2004
Return-path: <rdonald@newraff.debian.org>
Received: from newraff.debian.org [208.185.25.31] (mail)
by spohr.debian.org with esmtp (Exim 3.35 1 (Debian))
id 1Bwa87-0007W6-00; Sun, 15 Aug 2004 22:33:59 -0700
Received: from rdonald by newraff.debian.org with local (Exim 3.35 1 (Debian))
id 1Bwa6v-0000kt-00; Mon, 16 Aug 2004 01:32:45 -0400
From: Samuel Mimram <samuel.mimram@ens-lyon.org>
To: 250497-close@bugs.debian.org
X-Katie: lisa $Revision: 1.30 $
Subject: Bug#250497: fixed in coq 8.0pl1-1
Message-Id: <E1Bwa6v-0000kt-00@newraff.debian.org>
Sender: Randall Donald <rdonald@newraff.debian.org>
Date: Mon, 16 Aug 2004 01:32:45 -0400
Delivered-To: 250497-close@bugs.debian.org
X-Spam-Checker-Version: SpamAssassin 2.60-bugs.debian.org_2004_03_25
(1.212-2003-09-23-exp) on spohr.debian.org
X-Spam-Status: No, hits=-6.0 required=4.0 tests=BAYES_00,HAS_BUG_NUMBER
autolearn=no version=2.60-bugs.debian.org_2004_03_25
X-Spam-Level:
X-CrossAssassin-Score: 2
Source: coq
Source-Version: 8.0pl1-1
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.0pl1-1_powerpc.deb
to pool/main/c/coq/coq-libs_8.0pl1-1_powerpc.deb
coq7-libs_8.0pl1-1_powerpc.deb
to pool/main/c/coq/coq7-libs_8.0pl1-1_powerpc.deb
coq_8.0pl1-1.diff.gz
to pool/main/c/coq/coq_8.0pl1-1.diff.gz
coq_8.0pl1-1.dsc
to pool/main/c/coq/coq_8.0pl1-1.dsc
coq_8.0pl1-1_powerpc.deb
to pool/main/c/coq/coq_8.0pl1-1_powerpc.deb
coq_8.0pl1.orig.tar.gz
to pool/main/c/coq/coq_8.0pl1.orig.tar.gz
coqide_8.0pl1-1_powerpc.deb
to pool/main/c/coq/coqide_8.0pl1-1_powerpc.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 250497@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Samuel Mimram <samuel.mimram@ens-lyon.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: Sun, 18 Jul 2004 01:10:24 +0200
Source: coq
Binary: coq7-libs coqide coq-libs coq
Architecture: source powerpc
Version: 8.0pl1-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Samuel Mimram <samuel.mimram@ens-lyon.org>
Description:
coq - Proof assistant for higher-order logic
coq-libs - Proof assistant for higher-order logic
coq7-libs - Proof assistant for higher-order logic
coqide - Proof assistant for higher-order logic
Closes: 230356 250497
Changes:
coq (8.0pl1-1) unstable; urgency=low
.
* New upstream release: finally the version without QPL-licensed files is out,
closes: #230356, #250497.
* Libraries are now in separate packages (coq-libs and coq7-libs).
* An additional package provides coqide.
* Built with OCaml 3.08.
Files:
6429f4b742b7223422bd25d5bf01106b 894 devel optional coq_8.0pl1-1.dsc
95237e64081d7306fdea49e1988bde12 2272613 devel optional coq_8.0pl1.orig.tar.gz
458a401647337b73bc844432c79cfc09 9681 devel optional coq_8.0pl1-1.diff.gz
e09662cdb155101d35d2943d0fe4880a 6869798 devel optional coq_8.0pl1-1_powerpc.deb
4eb39f0b006d4ea2366cce343d2e4881 4479848 devel optional coqide_8.0pl1-1_powerpc.deb
087caf84d4e6e78372142bb2a435728c 3727828 devel optional coq-libs_8.0pl1-1_powerpc.deb
a0ee6bcef3fcacc6e85e36de7aa6d429 3806696 devel optional coq7-libs_8.0pl1-1_powerpc.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.4 (GNU/Linux)
iD8DBQFBChl52WTeT3CRQaQRAnboAJ95Z2awdh9E8IX6bZGMaVqboxUvXgCgpq0f
jMDJ60laWdEm8SWjCuAdoF0=
=W7f/
-----END PGP SIGNATURE-----
Reply to: