Your message dated Wed, 24 Aug 2005 21:17:08 -0700
with message-id <[EMAIL PROTECTED]>
and subject line Bug#324859: fixed in mlton 20050824-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; 24 Aug 2005 13:05:18 +0000
>From [EMAIL PROTECTED] Wed Aug 24 06:05:18 2005
Return-path: <[EMAIL PROTECTED]>
Received: from outmail1.freedom2surf.net (outmail.freedom2surf.net) 
[194.106.33.237] 
        by spohr.debian.org with esmtp (Exim 3.36 1 (Debian))
        id 1E7uwP-000502-00; Wed, 24 Aug 2005 06:05:18 -0700
Received: from arakis (i-83-67-3-169.freedom2surf.net [83.67.3.169])
        by outmail.freedom2surf.net (8.12.10/8.12.10) with ESMTP id 
j7OD4kci028953
        (version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=NO);
        Wed, 24 Aug 2005 14:04:46 +0100
Received: from mod by arakis with local (Exim 4.52)
        id 1E7uwe-00015x-Cj; Wed, 24 Aug 2005 14:05:32 +0100
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
From: Vasilis Vasaitis <[EMAIL PROTECTED]>
To: Debian Bug Tracking System <[EMAIL PROTECTED]>
Subject: mlton: uninstallable because of dependency to libgmp3
X-Mailer: reportbug 3.16
Date: Wed, 24 Aug 2005 14:05:32 +0100
Message-Id: <[EMAIL PROTECTED]>
Delivered-To: [EMAIL PROTECTED]
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.8 required=4.0 tests=BAYES_00,FROM_ENDS_IN_NUMS,
        HAS_PACKAGE autolearn=no version=2.60-bugs.debian.org_2005_01_02

Package: mlton
Version: 20050822-1
Severity: grave
Tags: sid
Justification: renders package unusable


  Hello,

  The new version of the mlton package that has just been uploaded is
on the wrong side of the C++ transition; it has been compiled against
libgmp3, which does not even exist in the archive any more. The
solution is to compile it against libgmp3c2, which is the version of
the library that follows the new C++ ABI.

Thanks,
Vasilis

-- System Information:
Debian Release: testing/unstable
  APT prefers unstable
  APT policy: (500, 'unstable')
Architecture: i386 (i686)
Shell:  /bin/sh linked to /bin/bash
Kernel: Linux 2.6.12-ck5
Locale: LANG=el_GR.ISO8859-7, LC_CTYPE=el_GR.ISO8859-7 (charmap=ISO-8859-7)

Versions of packages mlton depends on:
ii  gcc                           4:4.0.1-3  The GNU C compiler
ii  libc6                         2.3.5-4    GNU C Library: Shared libraries an
ii  libgmp3-dev                   4.1.4-10   Multiprecision arithmetic library 

mlton recommends no packages.

-- no debconf information

---------------------------------------
Received: (at 324859-close) by bugs.debian.org; 25 Aug 2005 04:18:44 +0000
>From [EMAIL PROTECTED] Wed Aug 24 21:18:44 2005
Return-path: <[EMAIL PROTECTED]>
Received: from katie by spohr.debian.org with local (Exim 3.36 1 (Debian))
        id 1E89Aq-0002LY-00; Wed, 24 Aug 2005 21:17:08 -0700
From: Stephen Weeks <[EMAIL PROTECTED]>
To: [EMAIL PROTECTED]
X-Katie: $Revision: 1.56 $
Subject: Bug#324859: fixed in mlton 20050824-1
Message-Id: <[EMAIL PROTECTED]>
Sender: Archive Administrator <[EMAIL PROTECTED]>
Date: Wed, 24 Aug 2005 21:17:08 -0700
Delivered-To: [EMAIL PROTECTED]
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: mlton
Source-Version: 20050824-1

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

mlton_20050824-1.diff.gz
  to pool/main/m/mlton/mlton_20050824-1.diff.gz
mlton_20050824-1.dsc
  to pool/main/m/mlton/mlton_20050824-1.dsc
mlton_20050824-1_i386.deb
  to pool/main/m/mlton/mlton_20050824-1_i386.deb
mlton_20050824.orig.tar.gz
  to pool/main/m/mlton/mlton_20050824.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 [EMAIL PROTECTED],
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Stephen Weeks <[EMAIL PROTECTED]> (supplier of updated mlton 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 [EMAIL PROTECTED])


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.7
Date: Wed, 24 Aug 2005 15:13:19 -0700
Source: mlton
Binary: mlton
Architecture: source i386
Version: 20050824-1
Distribution: unstable
Urgency: low
Maintainer: Stephen Weeks <[EMAIL PROTECTED]>
Changed-By: Stephen Weeks <[EMAIL PROTECTED]>
Description: 
 mlton      - Optimizing compiler for Standard ML
Closes: 324859
Changes: 
 mlton (20050824-1) unstable; urgency=low
 .
   * new upstream version
   * built statically, closes: #324859
Files: 
 65c51c6658ff22d08df53a90e7419ba7 636 devel optional mlton_20050824-1.dsc
 1e886bb183bf0182bc9dbbf7cf056ca4 3087958 devel optional 
mlton_20050824.orig.tar.gz
 275f7397e0de027a5fe834ebbedc7403 20 devel optional mlton_20050824-1.diff.gz
 b52d2b865fb52be10087cf50e5224655 5491650 devel optional 
mlton_20050824-1_i386.deb

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

iD8DBQFDDUOtOltVozMvJwMRAkdCAJ0THazCQ9mSose1lwo5i9kQKqIDqwCfZEmk
+X0BnOsiddqq0PktGIasJrM=
=Xunj
-----END PGP SIGNATURE-----


-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Reply via email to