Bug#532989: marked as done (jocaml: toplevel library doesn't work)
Your message dated Tue, 07 Jul 2009 21:35:47 +0000
with message-id <E1MOIKJ-0005o8-3I@ries.debian.org>
and subject line Bug#532989: fixed in jocaml 3.11.1-1
has caused the Debian Bug report #532989,
regarding jocaml: toplevel library doesn't work
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.)
--
532989: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=532989
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: jocaml
Version: 3.11.0-3
Severity: important
I tried to use findlib from the jocaml toplevel. Not very surprisingly,
it does not work. As it has a major effect on the usability of jocaml's
toploop, I decided to flag the issue as important. It would perhaps be
a good idea to solve it by making a dummy jocaml-findlib package which
would symlink a /usr/lib/jocaml/3.11.0/topfind to the topfind script
for ocaml. Or something like that... But maybe that is simplistic.
yziquel@seldon:~$ jocaml
JoCaml version 3.11.0
# #use "topfind";;
File "/usr/lib/ocaml/3.11.0/topfind", line 1, characters 0-1:
Error: The files /usr/bin/jocaml and /usr/lib/ocaml/3.11.0/toploop.cmi
make inconsistent assumptions over interface Outcometree
-- System Information:
Debian Release: squeeze/sid
APT prefers testing
APT policy: (900, 'testing'), (700, 'stable'), (500, 'stable'), (90, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Kernel: Linux 2.6.20.3xtops (SMP w/2 CPU cores)
Locale: LANG=fr_CH.UTF-8, LC_CTYPE=fr_CH.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash
Versions of packages jocaml depends on:
ii jocaml-base 3.11.0-3 OCaml extended for concurrent and
ii libc6 2.9-12 GNU C Library: Shared libraries
ii ocaml-nox [ocaml-nox-3.11.0] 3.11.0-5 ML implementation with a class-bas
jocaml recommends no packages.
jocaml suggests no packages.
-- no debconf information
--- End Message ---
--- Begin Message ---
Source: jocaml
Source-Version: 3.11.1-1
We believe that the bug you reported is fixed in the latest version of
jocaml, which is due to be installed in the Debian FTP archive:
jocaml-base_3.11.1-1_amd64.deb
to pool/main/j/jocaml/jocaml-base_3.11.1-1_amd64.deb
jocaml_3.11.1-1.diff.gz
to pool/main/j/jocaml/jocaml_3.11.1-1.diff.gz
jocaml_3.11.1-1.dsc
to pool/main/j/jocaml/jocaml_3.11.1-1.dsc
jocaml_3.11.1-1_amd64.deb
to pool/main/j/jocaml/jocaml_3.11.1-1_amd64.deb
jocaml_3.11.1.orig.tar.gz
to pool/main/j/jocaml/jocaml_3.11.1.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 532989@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Mehdi Dogguy <dogguy@pps.jussieu.fr> (supplier of updated jocaml 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.8
Date: Tue, 23 Jun 2009 17:51:44 +0200
Source: jocaml
Binary: jocaml jocaml-base
Architecture: source amd64
Version: 3.11.1-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Mehdi Dogguy <dogguy@pps.jussieu.fr>
Description:
jocaml - OCaml extended for concurrent and distributed programming
jocaml-base - OCaml extended for concurrent and distributed programming
Closes: 532970 532981 532989
Changes:
jocaml (3.11.1-1) unstable; urgency=low
.
* New Upstream Version
* Install toplevel library, Closes: #532989, #532981.
* Make ocaml-findlib work with JoCaml, Closes: #532970, by:
- Adding a patch to minimize changes in outcometree.mli
- Installing toploop.cmi in a new directory (/usr/lib/jocaml/jocamltoploop)
- Modifying jocamlmktop so that produced toplevel is expunged from some
modules: Parsetree, types and Env.
- Adding a patch for expunge which adds a -v option to give modules to
filter instead of modules to keep.
* Tools addlabels and scrapelabels are not installed by upstream anymore
* Use ocamlinit sed rule to generate links for opt programs
* Bump standards to 3.8.2
* Add a README.source
* New JoCaml standard library location is: /usr/lib/jocaml/
Checksums-Sha1:
45d802a427be57d0a56a7a5c0c84424d2244d18e 1386 jocaml_3.11.1-1.dsc
55c16de30208f577e4027fff781b86e87f3cf44c 1651531 jocaml_3.11.1.orig.tar.gz
439d58993c5321052454568a8e01c42f6fc5b309 24541 jocaml_3.11.1-1.diff.gz
61a7d89c03f45c6ab5a3f2b5a34dff63cc0b3105 3916232 jocaml_3.11.1-1_amd64.deb
2ca020e620bd8db8740b07052660e60e8f95c783 720640 jocaml-base_3.11.1-1_amd64.deb
Checksums-Sha256:
b946f3e687d991b35a009eb0ede8413281a54cc8d71dbfc92ecdf9ec3c9f2b1b 1386 jocaml_3.11.1-1.dsc
772248a1685c6b0c583691e2f8fa412d36e42b718121fae6ffbf7439f0eba3bf 1651531 jocaml_3.11.1.orig.tar.gz
900c21d3c3a59556a028065d5b4bee5161a5853fc4bb69b86dbe7cc9ee5d9484 24541 jocaml_3.11.1-1.diff.gz
8beefd6e51b0a94ee070f2669a0c8c82d1403102169b754650befcaa57b42b1e 3916232 jocaml_3.11.1-1_amd64.deb
07c76b1c14b74c98904a390832c3107a512e5a637d4e4c7d06f21c018e349820 720640 jocaml-base_3.11.1-1_amd64.deb
Files:
b088893429a4a662962d7a25e2cee195 1386 ocaml optional jocaml_3.11.1-1.dsc
af5104a63e618c51d13fda5fbfac3f5e 1651531 ocaml optional jocaml_3.11.1.orig.tar.gz
e17f85fe5145c1540139bc04c1503202 24541 ocaml optional jocaml_3.11.1-1.diff.gz
8d62a71842e73c153f43792dc9944a5b 3916232 ocaml optional jocaml_3.11.1-1_amd64.deb
720f9a699bd9727971a1120e2a650929 720640 ocaml optional jocaml-base_3.11.1-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEARECAAYFAkpTvEkACgkQhryr/xwAx5C33ACglwXbLYA8fnXEiDrBsNSODo1P
QasAn0J0S8cLPa2UwD39GQ4fh++aVQlx
=yfyD
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: