Bug#285780: marked as done (libcryptokit-ocaml-dev: inconsistent assumptions over implementation Unix)
Your message dated Sat, 01 Jan 2005 12:47:14 -0500
with message-id <E1CknLO-0006Lz-00@newraff.debian.org>
and subject line Bug#285780: fixed in cryptokit 1.2-7
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; 15 Dec 2004 15:24:29 +0000
>From martin@uni-mainz.de Wed Dec 15 07:24:29 2004
Return-path: <martin@uni-mainz.de>
Received: from mailgate1.verwaltung.uni-mainz.de (patty.verwaltung.uni-mainz.de) [134.93.144.165]
by spohr.debian.org with esmtp (Exim 3.35 1 (Debian))
id 1Ceb0v-0001ff-00; Wed, 15 Dec 2004 07:24:29 -0800
Received: from harriet.verwaltung.uni-mainz.de (root@harriet.verwaltung.uni-mainz.de [134.93.226.19])
by patty.verwaltung.uni-mainz.de (8.13.1/8.13.1/Debian-18) with ESMTP id iBFFO6mp028951
(version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT);
Wed, 15 Dec 2004 16:24:06 +0100
Received: from woodstock.verwaltung.uni-mainz.de (woodstock.verwaltung.uni-mainz.de [134.93.226.8])
by harriet.verwaltung.uni-mainz.de (8.13.1/8.13.1/Debian-18) with ESMTP id iBFFO6F9011670
(version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT);
Wed, 15 Dec 2004 16:24:06 +0100
Received: from woodstock.verwaltung.uni-mainz.de (localhost [127.0.0.1])
by woodstock.verwaltung.uni-mainz.de (8.13.1/8.13.1/Debian-18) with ESMTP id iBFFO516019466
(version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT);
Wed, 15 Dec 2004 16:24:05 +0100
Received: (from root@localhost)
by woodstock.verwaltung.uni-mainz.de (8.13.1/8.13.1/Submit) id iBFFO58H019464;
Wed, 15 Dec 2004 16:24:05 +0100
Message-Id: <200412151524.iBFFO58H019464@woodstock.verwaltung.uni-mainz.de>
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
From: Christoph Martin <martin@uni-mainz.de>
To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: libcryptokit-ocaml-dev: inconsistent assumptions over implementation Unix
X-Mailer: reportbug 3.2
Date: Wed, 15 Dec 2004 16:24:05 +0100
X-Virus-Scanned-From: mailgate1.verwaltung.uni-mainz.de
X-Spam-Scanned-From: mailgate1.verwaltung.uni-mainz.de
X-Scanned-By: MIMEDefang 2.48 on 134.93.226.4
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=-8.0 required=4.0 tests=BAYES_00,HAS_PACKAGE
autolearn=no version=2.60-bugs.debian.org_2004_03_25
X-Spam-Level:
Package: libcryptokit-ocaml-dev
Version: 1.2-6
Severity: important
You need to rebuild cryptokit-ocaml for testing against the newest
ocaml-nox. If not, you get the following error:
Files /usr/lib/ocaml/3.08/cryptokit/cryptokit.cmxa and
/usr/lib/ocaml/3.08/unix.cmxa
make inconsistent assumptions over implementation Unix
Christoph
-- System Information:
Debian Release: 3.0
APT prefers testing
APT policy: (99, 'testing'), (50, 'unstable')
Architecture: i386 (i686)
Kernel: Linux 2.4.27-1-k7
Locale: LANG=C, LC_CTYPE=C (charmap=ANSI_X3.4-1968)
Versions of packages libcryptokit-ocaml-dev depends on:
ii libcryptokit-ocaml 1.2-6 cryptographic algorithm library fo
ii libnumerix-ocaml-dev 0.19-4 Numerix "big integer" library for
ii ocaml-nox [ocaml-nox-3.08] 3.08.2-1 ML language implementation with a
-- no debconf information
---------------------------------------
Received: (at 285780-close) by bugs.debian.org; 1 Jan 2005 17:49:51 +0000
>From katie@ftp-master.debian.org Sat Jan 01 09:49:50 2005
Return-path: <katie@ftp-master.debian.org>
Received: from newraff.debian.org [208.185.25.31] (mail)
by spohr.debian.org with esmtp (Exim 3.35 1 (Debian))
id 1CknNt-0007UB-00; Sat, 01 Jan 2005 09:49:49 -0800
Received: from katie by newraff.debian.org with local (Exim 3.35 1 (Debian))
id 1CknLO-0006Lz-00; Sat, 01 Jan 2005 12:47:14 -0500
From: Samuel Mimram <smimram@debian.org>
To: 285780-close@bugs.debian.org
X-Katie: $Revision: 1.54 $
Subject: Bug#285780: fixed in cryptokit 1.2-7
Message-Id: <E1CknLO-0006Lz-00@newraff.debian.org>
Sender: Archive Administrator <katie@ftp-master.debian.org>
Date: Sat, 01 Jan 2005 12:47:14 -0500
Delivered-To: 285780-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: cryptokit
Source-Version: 1.2-7
We believe that the bug you reported is fixed in the latest version of
cryptokit, which is due to be installed in the Debian FTP archive:
cryptokit_1.2-7.diff.gz
to pool/main/c/cryptokit/cryptokit_1.2-7.diff.gz
cryptokit_1.2-7.dsc
to pool/main/c/cryptokit/cryptokit_1.2-7.dsc
libcryptokit-ocaml-dev_1.2-7_i386.deb
to pool/main/c/cryptokit/libcryptokit-ocaml-dev_1.2-7_i386.deb
libcryptokit-ocaml_1.2-7_i386.deb
to pool/main/c/cryptokit/libcryptokit-ocaml_1.2-7_i386.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 285780@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Samuel Mimram <smimram@debian.org> (supplier of updated cryptokit 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, 1 Jan 2005 18:14:01 +0100
Source: cryptokit
Binary: libcryptokit-ocaml libcryptokit-ocaml-dev
Architecture: source i386
Version: 1.2-7
Distribution: unstable
Urgency: high
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Samuel Mimram <smimram@debian.org>
Description:
libcryptokit-ocaml - cryptographic algorithm library for OCaml - runtime
libcryptokit-ocaml-dev - cryptographic algorithm library for OCaml - development
Closes: 285780
Changes:
cryptokit (1.2-7) unstable; urgency=high
.
* Rebuilding with ocaml 3.08.2 to get rid of the inconsistent assumptions over
the Unix module, closes: #285780.
Files:
c92ddabb2b47aa534b46157d47545a01 1050 libdevel optional cryptokit_1.2-7.dsc
df3321d1cecd43afaeba3fd21a91568f 13504 libdevel optional cryptokit_1.2-7.diff.gz
cecafcd77c1214bbd64b8d2ad8f0cd57 19744 libs optional libcryptokit-ocaml_1.2-7_i386.deb
e30a77bd2ef04b0873f103ee28611168 303420 libdevel optional libcryptokit-ocaml-dev_1.2-7_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.5 (GNU/Linux)
iD8DBQFB1tzBIae1O4AJae8RAkXUAJ9km8iOeSUstmx2fSP9a7H7EDE/yQCfYFV6
v68buqEsZEuuIvnFfEKJkPc=
=bjO9
-----END PGP SIGNATURE-----
Reply to: