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

Bug#472923: marked as done (camlp5: does not compile with ocaml 3.10.2)

Your message dated Mon, 07 Apr 2008 21:17:27 +0000
with message-id <E1JiyiV-0007tG-R0@ries.debian.org>
and subject line Bug#472923: fixed in camlp5 5.08-1
has caused the Debian Bug report #472923,
regarding camlp5: does not compile with ocaml 3.10.2
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 this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
472923: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=472923
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: camlp5
Version: 5-5.07 
Severity: normal

Compilation with ocaml-3.10.2 (from experimental):

./configure  -name camlp5 -mandir /usr/share/man

Sorry: the compatibility with ocaml version "3.10.2"
is not yet implemented. Please report.

Configuration failed.
make: *** [debian/configure-stamp] Error 2


-- System Information:
Debian Release: lenny/sid
  APT prefers unstable
  APT policy: (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 2.6.24-1-amd64 (SMP w/2 CPU cores)
Locale: LANG=en_US.utf8, LC_CTYPE=en_US.utf8 (charmap=UTF-8) (ignored: LC_ALL set to en_US.utf8)
Shell: /bin/sh linked to /bin/bash

Versions of packages camlp5 depends on:
ii  libc6                         2.7-9      GNU C Library: Shared libraries
ii  ocaml-compiler-libs           3.10.2-1   OCaml interpreter and standard lib
pn  ocaml-nox-3.10.0              <none>     (no description available)

camlp5 recommends no packages.

--- End Message ---
--- Begin Message --- 
Source: camlp5
Source-Version: 5.08-1

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

camlp5_5.08-1.diff.gz
  to pool/main/c/camlp5/camlp5_5.08-1.diff.gz
camlp5_5.08-1.dsc
  to pool/main/c/camlp5/camlp5_5.08-1.dsc
camlp5_5.08-1_amd64.deb
  to pool/main/c/camlp5/camlp5_5.08-1_amd64.deb
camlp5_5.08.orig.tar.gz
  to pool/main/c/camlp5/camlp5_5.08.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 472923@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Ralf Treinen <treinen@debian.org> (supplier of updated camlp5 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: Mon, 07 Apr 2008 22:23:51 +0200
Source: camlp5
Binary: camlp5
Architecture: source amd64
Version: 5.08-1
Distribution: experimental
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description: 
 camlp5     - Pre Processor Pretty Printer for OCaml - classical version
Closes: 472923
Changes: 
 camlp5 (5.08-1) experimental; urgency=low
 .
   [ Ralf Treinen ]
   * NMU with maintainer's blessing
   * rebuild against ocaml 3.10.2
 .
   [ Stefano Zacchiroli ]
   * new upstream release. This release compiles with ocaml 3.10.2
     (closes: Bug#472923).
Files: 
 c1112ffa038f41fd3c943ff8bcea9aad 896 devel extra camlp5_5.08-1.dsc
 61f617f11eedb26ad8607fe21413f920 645774 devel extra camlp5_5.08.orig.tar.gz
 2a98764741483e695843b52fb5de2f15 5739 devel extra camlp5_5.08-1.diff.gz
 2d598c35a86d466c3cdf6a674e895dbe 3578046 devel extra camlp5_5.08-1_amd64.deb

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

iD8DBQFH+op+tzWmSeC6BMERAmoqAJ4gRLR1EQU4FPAW0nwTvzDUw/MDCACeOjyU
f7KJgBUhL0vsQIh8tb5Uc8o=
=8Hr6
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: