Bug#230356: marked as done (coq: New upstream release)
Your message dated Mon, 16 Aug 2004 01:32:45 -0400
with message-id <E1Bwa6v-0000kr-00@newraff.debian.org>
and subject line Bug#230356: 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; 30 Jan 2004 13:55:17 +0000
>From lionel@mamane.lu Fri Jan 30 05:55:17 2004
Return-path: <lionel@mamane.lu>
Received: from n032180.cs.kun.nl (linzen) [131.174.32.180]
by spohr.debian.org with esmtp (Exim 3.35 1 (Debian))
id 1AmZ77-0007QF-00; Fri, 30 Jan 2004 05:55:17 -0800
Received: from master by linzen with local (Exim 3.36 #1 (Debian))
id 1AmZ6b-0007bI-00; Fri, 30 Jan 2004 14:54:45 +0100
Date: Fri, 30 Jan 2004 14:54:45 +0100
From: Lionel Elie Mamane <lionel@mamane.lu>
To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: coq: New upstream release
Message-ID: <20040130135445.GA24886@linzen.mamane.lu>
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
X-Reportbug-Version: 2.39
User-Agent: Mutt/1.5.4i
Sender: Lionel Elie Mamane <master@linzen.mamane.lu>
Delivered-To: submit@bugs.debian.org
X-Spam-Checker-Version: SpamAssassin 2.60-bugs.debian.org_2004_01_27
(1.212-2003-09-23-exp) on spohr.debian.org
X-Spam-Status: No, hits=-5.0 required=4.0 tests=HAS_PACKAGE autolearn=no
version=2.60-bugs.debian.org_2004_01_27
X-Spam-Level:
Package: coq
Version: 7.3.1-2
Severity: wishlist
Please package the latest upstream release. There is a patch to
compile with OCaml 3.07 there
ftp://ftp.inria.fr/INRIA/coq/V7.4/patch-coq-7.4-ocaml-3.07 .
(You also might want to upload the 8.0 beta to experimental.)
-- System Information:
Debian Release: testing/unstable
Architecture: i386
Kernel: Linux linzen 2.4.22 #6 ven déc 5 18:57:31 CET 2003 i686
Locale: LANG=fr_LU@euro, LC_CTYPE=fr_LU@euro
Versions of packages coq depends on:
ii libc6 2.3.2.ds1-11 GNU C Library: Shared libraries an
ii libncurses5 5.3.20030719-5 Shared libraries for terminal hand
-- no debconf information
---------------------------------------
Received: (at 230356-close) by bugs.debian.org; 16 Aug 2004 05:34:37 +0000
>From rdonald@newraff.debian.org Sun Aug 15 22:34:37 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 1Bwa8j-0007ie-00; Sun, 15 Aug 2004 22:34:37 -0700
Received: from rdonald by newraff.debian.org with local (Exim 3.35 1 (Debian))
id 1Bwa6v-0000kr-00; Mon, 16 Aug 2004 01:32:45 -0400
From: Samuel Mimram <samuel.mimram@ens-lyon.org>
To: 230356-close@bugs.debian.org
X-Katie: lisa $Revision: 1.30 $
Subject: Bug#230356: fixed in coq 8.0pl1-1
Message-Id: <E1Bwa6v-0000kr-00@newraff.debian.org>
Sender: Randall Donald <rdonald@newraff.debian.org>
Date: Mon, 16 Aug 2004 01:32:45 -0400
Delivered-To: 230356-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:
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 230356@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: