Bug#242842: marked as done (ITP: ocamlcreal -- O'Caml library that implements exact real arithmetic)
Your message dated Sun, 18 Apr 2004 19:16:00 -0400
with message-id <E1BFLW4-0002zW-00@newraff.debian.org>
and subject line Bug#242842: fixed in ocamlcreal 0.4-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; 9 Apr 2004 06:01:14 +0000
>From furrm@pcp227187pcs.catonv01.md.comcast.net Thu Apr 08 23:01:14 2004
Return-path: <furrm@pcp227187pcs.catonv01.md.comcast.net>
Received: from rwcrmhc12.comcast.net [216.148.227.85]
by spohr.debian.org with esmtp (Exim 3.35 1 (Debian))
id 1BBp4k-00063b-00; Thu, 08 Apr 2004 23:01:14 -0700
Received: from orthrus (pcp01781388pcs.howard01.md.comcast.net[68.32.48.24])
by comcast.net (rwcrmhc12) with ESMTP
id <20040409060043014009c3ple>; Fri, 9 Apr 2004 06:00:43 +0000
Received: from furrm by orthrus with local (Exim 3.36 #1 (Debian))
id 1BBp4E-0006wa-00; Fri, 09 Apr 2004 02:00:42 -0400
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
From: Mike Furr <mfurr@debian.org>
To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: ITP: ocamlcreal -- O'Caml library that implements exact real arithmetic
X-Mailer: reportbug 2.56
Date: Fri, 09 Apr 2004 02:00:42 -0400
X-Debbugs-Cc: debian-ocaml-maint@lists.debian.org,
debian-devel@lists.debian.org
Message-Id: <[🔎] E1BBp4E-0006wa-00@orthrus>
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=-10.0 required=4.0 tests=BAYES_00,HAS_PACKAGE,
X_DEBBUGS_CC autolearn=ham version=2.60-bugs.debian.org_2004_03_25
X-Spam-Level:
X-CrossAssassin-Scores: 1
Package: wnpp
Severity: wishlist
Package name : ocamlcreal
Version : 0.4
Upstream Author : Jean-Christophe Filliâtre
<Jean-Christophe.Filliatre@lri.fr>
URL : http://www.lri.fr/~filliatr/software.en.html
License : LGPL
Description : O'Caml library that implements exact real arithmetic
This module implements exact real arithmetic, following
Val<E9>rie M<E9>nissier-Morain Ph.D. thesis (http://www-calfor.lip6.fr/~vmm/).
A real x is represented as a function giving, for any n, an
approximation zn/4^n of x such that |zn/4^n - x| < 1, where zn is an
arbitrary precision integer (of type Gmp.Z.t).
Coercions from type int, Gmp.Z.t, Gmp.Q.t, basic operations (addition,
subtraction, multiplication, division, power, square root) and
transcendental functions (sin, cos, tan, log, exp, arcsin, arccos,
etc.) and a few constants (pi, e) are provided.
A small reverse-polish calculator is provided to test the library.
-- System Information:
Debian Release: testing/unstable
APT prefers unstable
APT policy: (500, 'unstable')
Architecture: i386 (i686)
Kernel: Linux 2.6.3
Locale: LANG=C, LC_CTYPE=C
---------------------------------------
Received: (at 242842-close) by bugs.debian.org; 18 Apr 2004 23:23:30 +0000
>From dsilvers@newraff.debian.org Sun Apr 18 16:23:30 2004
Return-path: <dsilvers@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 1BFLdK-0003vf-00; Sun, 18 Apr 2004 16:23:30 -0700
Received: from dsilvers by newraff.debian.org with local (Exim 3.35 1 (Debian))
id 1BFLW4-0002zW-00; Sun, 18 Apr 2004 19:16:00 -0400
From: Mike Furr <mfurr@debian.org>
To: 242842-close@bugs.debian.org
X-Katie: lisa $Revision: 1.30 $
Subject: Bug#242842: fixed in ocamlcreal 0.4-1
Message-Id: <E1BFLW4-0002zW-00@newraff.debian.org>
Sender: Daniel Silverstone <dsilvers@newraff.debian.org>
Date: Sun, 18 Apr 2004 19:16:00 -0400
Delivered-To: 242842-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=-5.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: 1
Source: ocamlcreal
Source-Version: 0.4-1
We believe that the bug you reported is fixed in the latest version of
ocamlcreal, which is due to be installed in the Debian FTP archive:
libcreal-ocaml-dev_0.4-1_i386.deb
to pool/main/o/ocamlcreal/libcreal-ocaml-dev_0.4-1_i386.deb
ocamlcreal_0.4-1.diff.gz
to pool/main/o/ocamlcreal/ocamlcreal_0.4-1.diff.gz
ocamlcreal_0.4-1.dsc
to pool/main/o/ocamlcreal/ocamlcreal_0.4-1.dsc
ocamlcreal_0.4.orig.tar.gz
to pool/main/o/ocamlcreal/ocamlcreal_0.4.orig.tar.gz
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 242842@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Mike Furr <mfurr@debian.org> (supplier of updated ocamlcreal 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: Sat, 10 Apr 2004 12:49:19 -0400
Source: ocamlcreal
Binary: libcreal-ocaml-dev
Architecture: source i386
Version: 0.4-1
Distribution: unstable
Urgency: low
Maintainer: Mike Furr <mfurr@debian.org>
Changed-By: Mike Furr <mfurr@debian.org>
Description:
libcreal-ocaml-dev - O'Caml library that implements exact real arithmetic
Closes: 242842
Changes:
ocamlcreal (0.4-1) unstable; urgency=low
.
* Initial Release. (Closes: 242842)
Files:
996afd764157078142eec704c289e68b 607 devel optional ocamlcreal_0.4-1.dsc
d082f725cd3ab4cfb4bf0208988d738e 43641 devel optional ocamlcreal_0.4.orig.tar.gz
24c4d14c8852e2ade06dbaac132cc718 3283 devel optional ocamlcreal_0.4-1.diff.gz
a6b0ce852df2999e9546ced3505cf8b4 66180 devel optional libcreal-ocaml-dev_0.4-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.4 (GNU/Linux)
iD8DBQFAeDcP7ZPKKRJLJvMRAhIOAJ4hjzWjuXS7DsBWJ1C5QPr0eCzRMQCcCAU0
pIDdkKiq0rH3fNxR+mgl+js=
=wIrN
-----END PGP SIGNATURE-----
Reply to: