Hi,
Thomas Petazzoni wrote:
Samuel, I've updated the Debian package for camlrpc:
- update to new upstream version 0.4.5
- update watch version to 3
- add linda override file to ignore the warning concerning the fact
that ocamlrpcgen is not stripped (for some reason, ocamlrpcgen
Hi,
Jérémie Corbier wrote:
On Thu, Aug 17, 2006 at 04:47:14AM -0700, Samuel Mimram wrote:
Source: mldonkey
Source-Version: 2.7.7-7
We believe that the bug you reported is fixed in the latest version of
mldonkey
Unfortunately it is not fixed.
[EMAIL PROTECTED]:~/ubuntu/mldonkey-2.7.7
@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
mldonkey-gui - Graphical frontend for mldonkey based on GTK
mldonkey-server - Door to the 'donkey' network
Closes: 380222
Changes:
mldonkey (2.7.7-8) unstable; urgency=low
.
* Added a build-dependency on autoconf and regenerate
@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
mldonkey-gui - Graphical frontend for mldonkey based on GTK
mldonkey-server - Door to the 'donkey' network
Closes: 254000 344905 378831 380222 383187
Changes:
mldonkey (2.7.7-7) unstable; urgency=low
.
* Disabling libmagic
Hi,
Christian T. Steigies wrote:
Package: mldonkey
Version: 2.7.7-8
Severity: serious
Justification: no longer builds from source
Automatic build of mldonkey_2.7.7-8 on garkin by sbuild/m68k 85
[...]
Toolchain package versions: libc6-dev_2.3.6-19
linux-kernel-headers_2.6.17.8-1
Hi,
Vassilis Pandis wrote:
The .desktop that comes with coqide does not appear in the menus because of
the following bug:
http://launchpad.net/bugs/47426. The .desktop would also benefit from other
minor fixes. Attached
is a diff with proposed alterations. Thanks in advance.
This is
serverity 378831 important
thanks
Hi,
I'm downgrading the severity for now since I'm not able to reproduce the
bug (and nobody else has for now).
Julien Langer wrote:
I tried to compile mldonkey with debugging symbols by adding
--enable-debug to the configure switches in the debian/rules file
tag 372074 + patch
thanks
Hi,
On Sat, Jun 10, 2006 at 03:22:43PM +0200, Julien Cristau wrote:
On Sat, Jun 10, 2006 at 14:10:09 +0100, Esteban Manchado Velázquez wrote:
So, the question is, why isn't ocamlopt in the ocaml-nox package for
s390?
Is there any workaround, or simply
Hi,
Eric Cooper wrote:
I fixed a FTBFS bug for ocaml-sha1 on architectures without ocamlopt.
(I also filed a bug against ocaml-tools, because OCamlMakefile's
libinstall target assumes there is always native-code compilation.)
Please upload it when you get a chance. Thanks.
I've just
Hi,
Stefano Zacchiroli wrote:
So, here comes the poll: does subscribing this list to the -commit list
of the pkg-ocaml-maint alioth project bother any of you, guys?
I don't really see the point in merging two mailing lists (users who
want commits can subscribe to -commits independently) but if
Eduard Bloch wrote:
* Eduard Bloch [Thu, Jul 20 2006, 01:19:56AM]:
The stop) action of the new script is fairly simple:
stop)
echo -n Stopping $DESC: $NAME
start-stop-daemon --stop --oknodo --pidfile $PIDFILE
echo .
;;
Let's try a little experiment (of course the toto
Eduard Bloch wrote:
#include hallo.h
* Samuel Mimram [Thu, Jul 20 2006, 01:04:53AM]:
Eduard Bloch wrote:
#include hallo.h
#include bonjour.h
* Samuel Mimram [Thu, Jul 20 2006, 12:26:40AM]:
Eduard Bloch wrote:
Package: mldonkey-server
Version: 2.7.3-2
Severity: grave
(Reading database
@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
mldonkey-gui - Graphical frontend for mldonkey based on GTK
mldonkey-server - Door to the 'donkey' network
Closes: 370107 378603 378934
Changes:
mldonkey (2.7.7-5) unstable; urgency=low
.
* Retry to stop the deamon
Hi,
Shaddy Baddah wrote:
On 7/12/2006 2:36 AM, Samuel Mimram wrote:
A long time ago, you have reported the bug below on mldonkey. Could you
please try to update to the latest version and tell us if you still have
this bug?
Thanks!
I won't be able to test this for a while, as I don't have
Hi,
Eduard Bloch wrote:
Package: mldonkey-server
Version: 2.7.3-2
Severity: grave
(Reading database ... 147973 files and directories currently installed.)
Preparing to replace mldonkey-server 2.7.3-2 (using
.../mldonkey-server_2.7.7-4_amd64.deb) ...
Stopping MLDonkey: mlnetNo process in
Eduard Bloch wrote:
#include hallo.h
#include bonjour.h
* Samuel Mimram [Thu, Jul 20 2006, 12:26:40AM]:
Eduard Bloch wrote:
Package: mldonkey-server
Version: 2.7.3-2
Severity: grave
(Reading database ... 147973 files and directories currently installed.)
Preparing to replace mldonkey
Hi,
spiral voice wrote:
If the Debian package uses -pid parameter already this bug report can be
closed.
No, it's unfortunately not the case for now. It's planned though as soon
as I've got time to do so (it requires some non trivial changes in
mldonkey_server).
Cheer,
Samuel.
--
To
@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
mldonkey-gui - Graphical frontend for mldonkey based on GTK
mldonkey-server - Door to the 'donkey' network
Closes: 354701 377865 378150
Changes:
mldonkey (2.7.7-4) unstable; urgency=low
.
* Import patch from Ubuntu (thanks
@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
coq- proof assistant for higher-order logic (toplevel and compiler)
coq-libs - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk interface)
Changes:
coq (8.0pl3
reassign 345793 ocaml
severity 345793 important
forwarded 345793 http://caml.inria.fr/mantis/view.php?id=3072
thanks
Hi,
spiral voice wrote:
The bug is there again:
http://buildd.debian.org/fetch.php?pkg=mldonkeyver=2.7.7-3arch=armstamp=1152654927file=logas=raw
/tmp/camlstartup4ea0de.o:
@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
mldonkey-gui - Graphical frontend for mldonkey based on GTK
mldonkey-server - Door to the 'donkey' network
Closes: 359237 375921 377574
Changes:
mldonkey (2.7.7-3) unstable; urgency=low
.
* Added 03_lock_config_files_space.dpatch
Hi,
A long time ago, you have reported the bug below on mldonkey. Could you
please try to update to the latest version and tell us if you still have
this bug?
Thanks!
Cheers,
Samuel.
On Thu, Jun 02, 2005 at 10:55:18AM +0800, Shaddy Baddah wrote:
Package: mldonkey-server
Version: 2.5.28-2
Hi,
A long time ago, you have reported the bug below on mldonkey. Could you
please try to update to the latest version and tell us if you still have
this bug?
Thanks!
Cheers,
Samuel.
On Sun, Jun 12, 2005 at 08:16:24AM +0200, Falk Hueffner wrote:
Package: mldonkey-gui
Version: 2.5.28-2
Hi,
Dietrich Clauss wrote:
Package: mldonkey-server
Severity: normal
With the last upstream update, checks for minimum free space in the
core/temp directory were introduced. These checks use hard-coded
minimum values and they cannot be switched off.
This causes mldonkey-server to
Hi,
spiral voice wrote:
please try this patch:
https://savannah.nongnu.org/patch/index.php?func=detailitemitem_id=5235
This patch should resolve the problems when config_files_space.tmp
is a left-over from a previous crash of MLDonkey.
Now this file is kept open when MLDonkey core is
reassign 377499 freetennis
notfound 377499 3.09.2-5
found 377499 0.4.8-1
thanks
Hi,
Bart Martens wrote:
So it seems that this FTBFS bug for freetennis_0.4.8-1_s390 is caused by
the missing /usr/bin/ocamlopt in ocaml_3.09.2-5_s390. Can someone in
the debian-ocaml-maint@lists.debian.org team
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Fri, 7 Jul 2006 08:38:23 +
Source: ocaml-shout
Binary: libshout-ocaml-dev libshout-ocaml
Architecture: source i386
Version: 0.2.1-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Fri, 7 Jul 2006 08:42:54 +
Source: ocaml-vorbis
Binary: libvorbis-ocaml-dev libvorbis-ocaml
Architecture: source i386
Version: 0.2.2-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Fri, 7 Jul 2006 08:46:50 +
Source: ocaml-mad
Binary: libmad-ocaml-dev libmad-ocaml
Architecture: source i386
Version: 0.2.0-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel
Hi,
Kevin Price wrote:
Hi Sylvain!
I installed 2.7.7-2 today with the same bad behavior.
Thanks for letting us know. I'll try to investigate this and report
upstream.
Cheers,
Samuel.
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of unsubscribe. Trouble? Contact [EMAIL
Hi,
spiral voice wrote:
Package: mldonkey-server
Version: 2.7.7-2
While updating from 2.7.3-2 to 2.7.7-2 I get this error message:
---
Setting up mldonkey-server (2.7.7-2) ...
Installing new version of config file
Hi,
spiral voice wrote:
users = [
(admin, 31D6CFE0D16AE931B73C59D7E0C089C0);]
This is the entry of admin with an empty password.
The passwords are saved as md4 values and the value above
is the one for an empty password.
Yes, I know for this one. I didn't have time to fix it for the
Hi,
spiral voice wrote:
Package: mldonkey-server
Version: 2.7.7-2
MLDonkey is compiled with these options:
--disable-directconnect --enable-soulseek --enable-opennap
All of these networks are currently defunct and enabling them is
not possible because their configure options are not
: 2.6.0-7
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers debian-ocaml-maint@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
liblablgtk2-gl-ocaml - runtime libraries for OCaml bindings to GtkGL
liblablgtk2-gl-ocaml-dev - OCaml bindings to GtkGL
: 2.6.0-6
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers debian-ocaml-maint@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
liblablgtk2-gl-ocaml - runtime libraries for OCaml bindings to GtkGL
liblablgtk2-gl-ocaml-dev - OCaml bindings to GtkGL
@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
mldonkey-gui - Graphical frontend for mldonkey based on GTK
mldonkey-server - Door to the 'donkey' network
Closes: 332320 335353 338875 355913 361173 369770
Changes:
mldonkey (2.7.7-1) unstable; urgency=low
.
* New maintainter
@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
mldonkey-gui - Graphical frontend for mldonkey based on GTK
mldonkey-server - Door to the 'donkey' network
Closes: 224836 14 354433
Changes:
mldonkey (2.7.7-2) unstable; urgency=low
.
* mldonkey_options now correctly handles
Hi,
Daniel Schepler wrote:
Package: lablgtk2
Version: 2.6.0-5
Severity: serious
From my pbuilder build log:
...
Installing the build-deps
- Attempting to parse the build-deps : pbuilder-satisfydepends,v 1.28
2006/05/30 23:45:45 dancer Exp $
- Considering debhelper ( 3.0.0)
-
Hi,
We have set up a policy for the packages of ocaml programs and
libraries. It would be nice if it could be integrated along with the
other policies[1]. To get it, you can either checkout the svn[2] or grab
the tarball I made[2]. Feel free to tell us if you find mistakes or
things missing,
Hi,
Ralf Treinen wrote:
On Wed, Jun 21, 2006 at 07:25:45PM +0200, Samuel Mimram wrote:
We have set up a policy for the packages of ocaml programs and
libraries. It would be nice if it could be integrated along with the
other policies[1]. To get it, you can either checkout the svn[2] or grab
Hi,
Sylvain Le Gall wrote:
Well i am intending to adopt camlimages and camlidl. I have made most of
the latest upload and i am using it (so i have interest in it). Setting
maintainer to me, is mainly a reason of noise on the list (since i will
be the maintainer all bugs mail will go directly
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers debian-ocaml-maint@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
ocaml - ML language implementation with a class-based object system
ocaml-base - Runtime system for ocaml bytecode executables
ocaml
@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
coq- proof assistant for higher-order logic (toplevel and compiler)
coq-libs - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk interface)
Changes:
coq (8.0pl3
Hi,
Bastian Blank wrote:
There was an error while trying to autobuild your package:
Looks like a missing dependency on docbook. I'll try to correct that soon.
Thanks for reporting.
Cheers,
Samuel.
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of unsubscribe. Trouble?
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers debian-ocaml-maint@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
ocaml - ML language implementation with a class-based object system
ocaml-base - Runtime system for ocaml bytecode executables
ocaml
Hi,
Florian Weimer wrote:
Package: coqide
Version: 8.0pl3-2
The menu entry Help/Browse Coq Manual tries to invoke netscape,
instead of some installed web browser. It should probably use
www-browser (but please check the relevant policy first).
Yes, I recently noticed this and I've
Hi,
I've mostly completed porting the packaging policy to docbook. You can
find it on the svn at the address:
svn+ssh://svn.debian.org/svn/pkg-ocaml-maint/trunk/policy
To build it, simply type make (in trunk/) and it will generate doc in
both html and text formats. You need to have docbook
Hi,
Sven Luther wrote:
On Sat, May 27, 2006 at 03:42:04PM +0200, Samuel Mimram wrote:
I will not have access to the internet next week (NMU as needed). I
intent to integrate the new policy to the ocaml package after that.
We need to also have it integrated with the remaining policy
Remi Vanicat wrote:
2006/5/27, Samuel Mimram [EMAIL PROTECTED]:
Hi,
[...]
It would be nice if some of you could proofread it, since I made many
changes to it. You might even learn some things...
I've read it, but a what look like a copypaste error: in
chapter-libpack.xml the standard
-ocaml-maint@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
libnumerix-ocaml - Numerix big integer library for OCaml - runtime
libnumerix-ocaml-dev - Numerix big integer library for OCaml
numerix-doc - Numerix big integer library for C and OCaml - documentation
Changes
Hi,
A quick reminder for those who did not know, there is an IRC channel for
the debian-ocaml-maint team. Following irc.debian.org, we have moved to
OFTC. The new chan is #debian-ocaml-maint on irc.debian.org (or
irc.oftc.net).
Cheers,
Samuel.
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
Samuel Mimram wrote:
Hi,
A quick reminder for those who did not know, there is an IRC channel for
the debian-ocaml-maint team. Following irc.debian.org, we have moved to
OFTC. The new chan is #debian-ocaml-maint on irc.debian.org (or
irc.oftc.net).
Actually, it was the good time for a name
Thomas Petazzoni wrote:
Hi,
I've updated cduce and camlrpc for OCaml 3.09.2. I've tested them using
a recompiled version of demexp, and it works.
Stefano, could you please upload cduce ?
Samuel, could you upload camlrpc ?
Done.
Cheers,
Samuel.
--
To UNSUBSCRIBE, email to [EMAIL
to native arch list
.
[ Samuel Mimram ]
* Updated standards version to 3.7.2, no changes needed.
* We don't need to remove rpaths anymore.
Files:
b1678efa166f9d7f29e5680b0d331e31 654 utils optional ara_1.0.13.dsc
60f997be05aa0d31b3161e097c0016e9 120207 utils optional ara_1.0.13.tar.gz
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Fri, 19 May 2006 08:12:15 +
Source: equeue
Binary: libequeue-ocaml libequeue-gtk2-ocaml-dev libequeue-ocaml-dev
Architecture: source i386
Version: 2.1.3-5
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Fri, 19 May 2006 08:43:14 +
Source: ocaml-shout
Binary: libshout-ocaml-dev libshout-ocaml
Architecture: source i386
Version: 0.2.0-4
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed
@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
libcryptokit-ocaml - cryptographic algorithm library for OCaml - runtime
libcryptokit-ocaml-dev - cryptographic algorithm library for OCaml -
development
Changes:
cryptokit (1.3-3) unstable; urgency=low
.
* Rebuild
@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
libagrep-ocaml - Wu-Manber algorithm for string searching with errors
libagrep-ocaml-dev - Wu-Manber algorithm for string searching with errors
Changes:
ocamlagrep (1.0-8) unstable; urgency=low
.
* Rebuild with OCaml 3.09.2
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Thu, 18 May 2006 22:36:39 +
Source: ocaml-mad
Binary: libmad-ocaml-dev libmad-ocaml
Architecture: source i386
Version: 0.1.3-4
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Thu, 18 May 2006 22:45:18 +
Source: pycaml
Binary: pycaml
Architecture: source i386
Version: 0.82-4
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers debian-ocaml-maint@lists.debian.org
Changed-By: Samuel
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Thu, 18 May 2006 22:50:09 +
Source: ocamlsdl
Binary: libsdl-ocaml-dev libsdl-ocaml
Architecture: source i386
Version: 0.7.2-6
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Thu, 18 May 2006 22:40:15 +
Source: ocaml-vorbis
Binary: libvorbis-ocaml-dev libvorbis-ocaml
Architecture: source i386
Version: 0.2.1-3
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Thu, 18 May 2006 22:54:37 +
Source: mysql-ocaml
Binary: libmysql-ocaml-dev libmysql-ocaml
Architecture: source i386
Version: 1.0.4-2
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed
-maint@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
libocamlodbc-ocaml-bin - UnixODBC database bindings for OCaml, Biniki
libocamlodbc-ocaml-dev - UnixODBC database bindings for OCaml, Development
Files
Changes:
ocamlodbc (2.10-5) unstable; urgency=low
@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
liblablgl-ocaml - Runtime libraries for lablgl
liblablgl-ocaml-dev - an OpenGL interface for Objective Caml
Changes:
lablgl (1.02-2) unstable; urgency=low
.
* Rebuild with OCaml 3.09.2.
* Updated standards version to 3.7.2
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers debian-ocaml-maint@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
ocaml - ML language implementation with a class-based object system
ocaml-base - Runtime system for ocaml bytecode executables
ocaml
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
ocaml-tools - various tools for ocaml programmers
Changes:
ocaml-tools (2006.05.15-1) unstable; urgency=low
.
* New upstream release of ocaml-make: 6.21.2.
* Rebuild with OCaml 3.09.2.
* Updated standards version to 3.7.2, no changes
Distribution: experimental
Urgency: low
Maintainer: Debian OCaml Maintainers debian-ocaml-maint@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
ocaml - ML language implementation with a class-based object system
ocaml-base - Runtime system for ocaml bytecode executables
@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
coq- proof assistant for higher-order logic (toplevel and compiler)
coq-libs - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk interface)
Changes:
coq (8.0pl3
@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
coq- proof assistant for higher-order logic (toplevel and compiler)
coq-libs - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk interface)
Changes:
coq (8.0pl3
Hi,
Eric Cooper wrote:
As part of the 3.09.2 transition, I'd appreciate it if a DD could
please upload the latest approx from SVN, since I've closed a few
outstanding bugs and feature requests. Thanks.
I've built the package and tried to install it but:
(Reading database ... 63738 files and
Eric Cooper wrote:
On Fri, Apr 28, 2006 at 09:03:29PM +0200, Samuel Mimram wrote:
[...]
Starting proxy server for Debian archive files: approxFatal error:
exception Syslog.Syslog_error(unable to find the syslog socket or pipe,
is syslogd running?)
[...]
This is in a chroot so there's
Steve Langasek wrote:
On Tue, Apr 18, 2006 at 08:43:46AM +0200, Sven Luther wrote:
On Mon, Apr 17, 2006 at 10:21:49PM -0700, Steve Langasek wrote:
On Mon, Apr 17, 2006 at 01:17:04PM +0200, Samuel Mimram wrote:
A new version of ocaml (3.09.2) is available. Since the caml libraries
are binary
Package: wnpp
Severity: wishlist
Owner: Samuel Mimram [EMAIL PROTECTED]
* Package name: menhir
Version : 20060412
Upstream Author : François Pottier [EMAIL PROTECTED], Yann Régis-Gianas
[EMAIL PROTECTED]
* URL : http://pauillac.inria.fr/~fpottier/menhir/
* License
-compiler-libs ocaml-native-compilers ocaml-base ocaml-nox
ocaml-mode ocaml-interp ocaml-source ocaml-base-nox ocaml
Architecture: source i386 all
Version: 3.09.2-1
Distribution: experimental
Urgency: low
Maintainer: Debian OCaml Maintainers debian-ocaml-maint@lists.debian.org
Changed-By: Samuel
Distribution: experimental
Urgency: low
Maintainer: Debian OCaml Maintainers debian-ocaml-maint@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
ocaml - ML language implementation with a class-based object system
ocaml-base - Runtime system for ocaml bytecode executables
Stefano Zacchiroli wrote:
On Tue, Apr 18, 2006 at 11:19:01AM +0200, Julien Cristau wrote:
Fedora uses a patch to make sure ocamlmklib doesn't
set the rpath in generated libraries:
http://cvs.fedora.redhat.com/lxr/extras/source/devel/ocaml/ocaml-rpath.patch
I have never seen a case when the
Hi,
Stefano Zacchiroli wrote:
FYI
Anyone willing to port the 'ocaml' package to 3.09.2?
I'll try to take care of this in the next few days...
Cheers,
Samuel.
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Hi,
Paul Wise wrote:
On Thu, 2006-03-23 at 11:27 +0100, Sven Luther wrote:
Also, you are welcome to join the ocaml alioth project, and use the ocaml svn
repo to store your package, so it is easier for us to help you out or
something.
Well, in the future, I hope to make a pkg-flash alioth
Hi,
Andres Salomon wrote:
On Wed, Mar 15, 2006 at 10:59:46AM -0500, Stefano Zacchiroli wrote:
Thanks for yours and Ralf's responses. To be honest, I wasn't expecting
anyone to actually say that they *enjoyed* working w/ Sven. This is making
me seriously reconsider my request; obviously, I
Hi,
Quoting Christopher Zimmermann [EMAIL PROTECTED]:
I just tried to run an ocaml program using Big_int. It failed.
big_int.mli, big_int.cmi and big_int.cmx are present. big_int.cma and
big_int.cmxa are missing. A snippet from the toplevel:
# Big_int.unit_big_int;;
Reference to undefined
@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
coq- proof assistant for higher-order logic (toplevel and compiler)
coq-libs - proof assistant for higher-order logic (theories)
coq7-libs - proof assistant for higher-order logic (Coq 7 theories)
coqide - proof
Maintainer: Debian OCaml Maintainers debian-ocaml-maint@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
liblablgtk2-gnome-ocaml - runtime libraries for OCaml bindings to Gnome
liblablgtk2-gnome-ocaml-dev - OCaml bindings to Gnome
liblablgtk2-ocaml - runtime libraries
Hi,
Sylvain Le Gall wrote:
Well, this is just a note that dlllabgtk2 use again a rpath for its .so
objects.
Right. I'll make an upload soon to correct this.
Cheers,
Sam.
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 29 Jan 2006 11:20:42 +
Source: ara
Binary: ara xara-gtk xara-gtk-byte ara-byte
Architecture: source all i386
Version: 1.0.12
Distribution: unstable
Urgency: low
Maintainer: George Danchev [EMAIL PROTECTED]
Changed-By: Samuel
Hi,
Aaron M. Ucko wrote:
When you reworked your packaging to stop hardcoding ocaml's
ever-changing ABI, you appear to have twice made an unfortunate typo,
neglecting to precede either occurrence of {F:OCamlABI} with a dollar
sign ($). As a result, per dpkg-dev bug #228125, dpkg-gencontrol
@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
libagrep-ocaml - Wu-Manber algorithm for string searching with errors
libagrep-ocaml-dev - Wu-Manber algorithm for string searching with errors
Closes: 347457
Changes:
ocamlagrep (1.0-7) unstable; urgency=low
.
* Correctly
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 8 Jan 2006 18:09:34 +0100
Source: ocaml-shout
Binary: libshout-ocaml-dev libshout-ocaml
Architecture: source i386
Version: 0.2.0-3
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 8 Jan 2006 18:14:07 +0100
Source: ocaml-vorbis
Binary: libvorbis-ocaml-dev libvorbis-ocaml
Architecture: source i386
Version: 0.2.1-2
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
ocaml-tools - various tools for ocaml programmers
Changes:
ocaml-tools (2005.29.04-5) unstable; urgency=low
.
* Rebuild with OCaml 3.09.1.
* Packaging is now automagically handling OCaml's ABI changes.
Files
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 8 Jan 2006 18:49:57 +0100
Source: ocamlsdl
Binary: libsdl-ocaml-dev libsdl-ocaml
Architecture: source i386
Version: 0.7.2-5
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 8 Jan 2006 19:11:44 +0100
Source: pycaml
Binary: pycaml
Architecture: source i386
Version: 0.82-3
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers debian-ocaml-maint@lists.debian.org
Changed-By: Samuel
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 8 Jan 2006 19:24:16 +0100
Source: mysql-ocaml
Binary: libmysql-ocaml-dev libmysql-ocaml
Architecture: source i386
Version: 1.0.3-9
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 8 Jan 2006 19:37:25 +0100
Source: ocaml-mad
Binary: libmad-ocaml-dev libmad-ocaml
Architecture: source i386
Version: 0.1.3-3
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 8 Jan 2006 19:44:00 +0100
Source: equeue
Binary: libequeue-ocaml libequeue-gtk2-ocaml-dev libequeue-ocaml-dev
Architecture: source i386
Version: 2.1.3-4
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL
@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
liblablgl-ocaml - Runtime libraries for lablgl
liblablgl-ocaml-dev - an OpenGL interface for Objective Caml
Changes:
lablgl (1.02-1) unstable; urgency=low
.
* New upstream release.
* Rebuild with OCaml 3.09.1.
Files
@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
libagrep-ocaml - Wu-Manber algorithm for string searching with errors
libagrep-ocaml-dev - Wu-Manber algorithm for string searching with errors
Changes:
ocamlagrep (1.0-6) unstable; urgency=low
.
[ Julien Cristau ]
* Stop
Hi,
Eric Cooper wrote:
I've been building a sarge-backport OCaml environment, and I noticed that
after doing debuild clean, these files were still around:
ocaml-md5sums.cmi
ocaml-md5sums.cmx
ocaml-md5sums.o
ocaml-md5sums.opt
Thanks. This is corrected in the svn.
Cheers,
Samuel.
--
To
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers debian-ocaml-maint@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
ocaml - ML language implementation with a class-based object system
ocaml-base - Runtime system for ocaml bytecode executables
ocaml
Julien Cristau wrote:
On Wed, Jan 4, 2006 at 18:51:01 +, Samuel Mimram wrote:
Hi,
Unless someone objects to it, I'll package and upload OCaml 3.09.1 as
soon as 3.09.0 is in testing. Do you all agree with a full rebuild?
3.09.0-4 is in testing since yesterday's britney run, and I
201 - 300 of 504 matches
Mail list logo
