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

Bug#322534: marked as done (ITP: mpfi -- multiple precision floating-point interval computation)



Your message dated Thu, 11 Aug 2005 15:47:31 -0700
with message-id <E1E3Lpj-0001dT-00@spohr.debian.org>
and subject line Bug#322534: fixed in mpfi 1.3.3-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; 11 Aug 2005 09:15:52 +0000
>From laurent@komite.net Thu Aug 11 02:15:52 2005
Return-path: <laurent@komite.net>
Received: from tortoise.loria.fr (tortoise.lateralis.org) [152.81.15.241] (Debian-exim)
	by spohr.debian.org with esmtp (Exim 3.36 1 (Debian))
	id 1E39AG-00020K-00; Thu, 11 Aug 2005 02:15:52 -0700
Received: from laurent by tortoise with local (Exim 4.52)
	id 1E39AC-0005NK-FQ; Thu, 11 Aug 2005 11:15:48 +0200
Date: Thu, 11 Aug 2005 11:15:48 +0200
From: Laurent Fousse <laurent@komite.net>
To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: ITP: mpfi -- multiple precision floating-point interval computation
Message-ID: <[🔎] 20050811091548.GA20650@tortoise.lateralis.org>
Mime-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha1;
	protocol="application/pgp-signature"; boundary="UlVJffcvxoiEqYs2"
Content-Disposition: inline
X-Reportbug-Version: 3.15
X-Debbugs-Cc: debian-devel@lists.debian.org
User-Agent: Mutt/1.5.9i
Delivered-To: submit@bugs.debian.org
X-Spam-Checker-Version: SpamAssassin 2.60-bugs.debian.org_2005_01_02 
	(1.212-2003-09-23-exp) on spohr.debian.org
X-Spam-Level: 
X-Spam-Status: No, hits=-11.0 required=4.0 tests=BAYES_00,HAS_PACKAGE,
	X_DEBBUGS_CC autolearn=ham version=2.60-bugs.debian.org_2005_01_02


--UlVJffcvxoiEqYs2
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

Package: wnpp
Severity: wishlist
Owner: Laurent Fousse <laurent@komite.net>

* Package name    : mpfi
  Version         : 1.3.3
  Upstream Authors : Nathalie Revol, Fabrice Rouillier (email ommited)
* URL             : http://perso.ens-lyon.fr/nathalie.revol/software.html
* License         : LGPL 2.1 or later
  Description     : multiple precision floating-point interval computation

 The basic principle of interval arithmetic consists in enclosing every num=
ber
 by an interval containing it and being representable by machine numbers: f=
or
 instance it can be stored as its lower and upper endpoints and these bounds
 are machine numbers, or as a centre and a radius which are machine numbers.
 .
 The arithmetic operations are extended for interval operands in such a way
 that the exact result of the operation belongs to the computed interval.
 .
 The purpose of an arbitrary precision interval arithmetic is on the one ha=
nd
 to get guaranteed results, thanks to interval computation, and on the other
 hand to obtain accurate results, thanks to multiple precision arithmetic. =
The
 MPFI library is built upon MPFR in order to benefit from the correct round=
ings
 provided by MPFR. Further advantages of using MPFR are its portability and
 compliance with the IEEE 754 standard for floating-point arithmetic.=20

--UlVJffcvxoiEqYs2
Content-Type: application/pgp-signature; name="signature.asc"
Content-Description: Digital signature
Content-Disposition: inline

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.1 (GNU/Linux)

iD8DBQFC+xdDTUld8sb4OVwRAlLKAJ9HLSGJz9gMBDt/eMM253+qN5zKUACfcPxt
iD5Zo8iVW8eQzZRVYMscoOk=
=BLpV
-----END PGP SIGNATURE-----

--UlVJffcvxoiEqYs2--

---------------------------------------
Received: (at 322534-close) by bugs.debian.org; 11 Aug 2005 22:50:31 +0000
>From joerg@spohr.debian.org Thu Aug 11 15:50:31 2005
Return-path: <joerg@spohr.debian.org>
Received: from joerg by spohr.debian.org with local (Exim 3.36 1 (Debian))
	id 1E3Lpj-0001dT-00; Thu, 11 Aug 2005 15:47:31 -0700
From: Laurent Fousse <laurent@komite.net>
To: 322534-close@bugs.debian.org
X-Katie: lisa $Revision: 1.30 $
Subject: Bug#322534: fixed in mpfi 1.3.3-1
Message-Id: <E1E3Lpj-0001dT-00@spohr.debian.org>
Sender: Joerg Jaspert <joerg@spohr.debian.org>
Date: Thu, 11 Aug 2005 15:47:31 -0700
Delivered-To: 322534-close@bugs.debian.org
X-Spam-Checker-Version: SpamAssassin 2.60-bugs.debian.org_2005_01_02 
	(1.212-2003-09-23-exp) on spohr.debian.org
X-Spam-Level: 
X-Spam-Status: No, hits=-6.0 required=4.0 tests=BAYES_00,HAS_BUG_NUMBER 
	autolearn=no version=2.60-bugs.debian.org_2005_01_02

Source: mpfi
Source-Version: 1.3.3-1

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

libmpfi-dev_1.3.3-1_powerpc.deb
  to pool/main/m/mpfi/libmpfi-dev_1.3.3-1_powerpc.deb
mpfi_1.3.3-1.diff.gz
  to pool/main/m/mpfi/mpfi_1.3.3-1.diff.gz
mpfi_1.3.3-1.dsc
  to pool/main/m/mpfi/mpfi_1.3.3-1.dsc
mpfi_1.3.3.orig.tar.gz
  to pool/main/m/mpfi/mpfi_1.3.3.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 322534@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Laurent Fousse <laurent@komite.net> (supplier of updated mpfi 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: Wed, 10 Aug 2005 15:47:28 +0200
Source: mpfi
Binary: libmpfi-dev
Architecture: source powerpc
Version: 1.3.3-1
Distribution: unstable
Urgency: low
Maintainer: Laurent Fousse <laurent@komite.net>
Changed-By: Laurent Fousse <laurent@komite.net>
Description: 
 libmpfi-dev - multiple precision floating-point interval computation
Closes: 322534
Changes: 
 mpfi (1.3.3-1) unstable; urgency=low
 .
   * Initial release (closes: #322534).
Files: 
 81de794e90970c03b01cc63d9da04aeb 600 math optional mpfi_1.3.3-1.dsc
 81b359bcf40458091ac3c1e5575e5070 149063 math optional mpfi_1.3.3.orig.tar.gz
 376570366c3e8f15f046848b0a742a87 18598 math optional mpfi_1.3.3-1.diff.gz
 f74a446bd886df6fd6088a00d56baa79 40242 libdevel optional libmpfi-dev_1.3.3-1_powerpc.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.1 (GNU/Linux)

iD8DBQFC+yIjRoAVF6FpbSsRAt2oAJ4hVF0AFNNeY14OvevcOUQ6DWKP4ACggT9z
Vg1sID3ebqj1CkmrpvOtphs=
=rDU4
-----END PGP SIGNATURE-----



Reply to: