Package: camlimages
Severity: wishlist
Hi,
It would be nice if the package could be updated to 4.0.1 (I know it's lame for
a member of the team to ask this but I really don't have time right now...).
Thanks!
++
Sam.
-- System Information:
Debian Release: wheezy/sid
APT prefers testing
On 04/10/2010 06:40 PM, Petter Reinholdtsen wrote:
[Samuel Mimram]
This is not a bug since output.sdl is only intended to play video
(at least for now). If you also want to play audio, you should use
something like output.alsa(output.sdl(single(...))).
Oh. I must admit that is very
Package: wnpp
Severity: wishlist
Owner: Samuel Mimram smim...@debian.org
* Package name: apron
Version : 0.9.10
* URL : http://apron.cri.ensmp.fr/library/
* License : LGPL + GPL
Programming Lang: C + OCaml
Description : An abstract interpretation library
tag 532905 + patch
thanks
Hi,
There is a patch which apparently enables to build with
GtkSourceView-2.0 (attached).
++
Sam.
Delivered-To: garrigue at math.nagoya-u.ac.jp
Delivered-To: lablgtk at yquem.inria.fr
From: Mike Spivey mike at comlab.ox.ac.uk
To: lablgtk lablgtk at yquem.inria.fr
Hi,
I will sponsor it.
Cheers,
Samuel.
Stéphane Glondu wrote:
Hi,
I have packaged ocaml-text (see #527906) for Debian and I am looking for
someone to review and sponsor it. It is currently available as a git
repository at the team's location:
On Tue, Apr 7, 2009 at 9:54 AM, Stefano Zacchiroli z...@debian.org wrote:
On Mon, Apr 06, 2009 at 10:39:57PM +0200, Eugeniy Meshcheryakov wrote:
I saw it, but it is about build-time dependencies, not run-time ones.
No, it is only about runtime dependencies of the shipped bytecode and
@lists.debian.org
Changed-By: Samuel Mimram smim...@debian.org
Description:
libvorbis-ocaml - OCaml bindings for vorbis library
libvorbis-ocaml-dev - OCaml bindings for the vorbis library
Changes:
ocaml-vorbis (0.5.0-1) unstable; urgency=low
.
* New Upstream Version.
* Switch packaging
@lists.debian.org
Changed-By: Samuel Mimram smim...@debian.org
Description:
libmad-ocaml - OCaml bindings for the MAD library
libmad-ocaml-dev - OCaml bindings for the MAD library
Changes:
ocaml-mad (0.3.5-2) unstable; urgency=low
.
* Switch packaging to git
* Rebuild with OCaml 3.11.
* Update
@lists.debian.org
Changed-By: Samuel Mimram smim...@debian.org
Description:
libshout-ocaml - OCaml bindings for the shout library
libshout-ocaml-dev - OCaml bindings for the shout library
Changes:
ocaml-shout (0.2.6-3) unstable; urgency=low
.
* Rebuild with OCaml 3.11
* Switch packaging
Package: ocaml-findlib
Version: 1.2.3-1
Severity: wishlist
Hi,
It would be nice to add
ocamlopt = ocamlopt.opt
etc.
in /etc/ocamlfind.conf on native archs (especially for ocamldoc which
takes time on progs with lots of .mli). This would also save time for
our buildds on packages using
Hi,
dogguy-gu...@users.alioth.debian.org wrote:
Author: dogguy-guest
Date: Tue Feb 17 13:42:11 2009
New Revision: 6178
URL: http://svn.debian.org/wsvn/?sc=1rev=6178
Log:
Adding d-o-m-mrconfig.sh
Could we have some hints about what this script is supposed to do?
++
Sam.
--
To
Hi,
Stéphane Glondu wrote:
Stefano Zacchiroli a écrit :
[ can we upload OCaml 3.11 to unstable? ]
I can see that pcre3 is blocking a lot of packages in unstable from
migrating to testing (including OCaml-related ones). I think we should
at least wait for this transition to complete.
Any
Stéphane Glondu wrote:
Stefano Zacchiroli a écrit :
Out of curiosity: any reason for not having migrated these two
packages to Git yet?
Same reason as I don't add DMUA: I don't want to hurt feelings, and I
will do it only when explicitly allowed to do so. I add my name to
Uploaders,
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Hi,
I strongly support Mehdi's application !
Cheers,
Samuel.
Mehdi Dogguy wrote:
[Forgot to CC it to d-o-m]
Hello all,
I would like to apply for Debian Maintainership. Samuel Mimram is my
sponsor and advocate.
I've read and agreed
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Mon, 09 Jun 2008 00:24:20 +0200
Source: ocamlsdl
Binary: libsdl-ocaml-dev libsdl-ocaml
Architecture: source i386
Version: 0.7.2-8
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel
Hi,
Stefano Zacchiroli wrote:
Can we please in the meantime make a list of the packages requiring
sourceful uploads?
There is a bugfix version of lablgtk2 which has been uploaded to
experimental. Maybe could we take advantage of the rebuild to switch to
this version?
Cheers,
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: 465274 470880
Changes:
mldonkey (2.9.5-1) unstable; urgency=low
.
* New upstream release.
* Removed useless
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Stefano Zacchiroli wrote:
On Fri, Apr 11, 2008 at 12:15:24AM +0200, Stéphane Glondu wrote:
I would like to apply for Debian Maintainership. Samuel Mimram is my
sponsor and advocate.
I hereby second Stéphane's application as a Debian Maintainer
Stefano Zacchiroli wrote:
On Thu, Mar 27, 2008 at 06:03:19PM +0100, Samuel Mimram wrote:
The package lablgtk2 fails to build from source with ocaml 3.10.2.
Attached is a patch which fixes the problem.
I think we'd better switch to new upstream release 2.10.1 if we go for a
full rebuild
Stephane Glondu wrote:
The package lablgtk2 fails to build from source with ocaml 3.10.2.
Attached is a patch which fixes the problem.
I think we'd better switch to new upstream release 2.10.1 if we go for a
full rebuild for OCaml 3.10.2 since it also fixes other minor bugs.
Cheers,
Samuel.
Package: doc-base
Version: 0.8.10
Severity: wishlist
Hi,
It would be nice if you could allow the Programming/OCaml section. There
are many OCaml libraries in Debian and having all their doc registered
in the same section would be useful.
Thanks!
-- System Information:
Debian Release: lenny/sid
Ralf Treinen wrote:
In case of OCaml there is a team maintaining/coordinating the packages
associated to this language, so we could make this move in a coordinated
way. Furthermore we are thinking of going for a transition to a new version
of ocaml in a few days, which would mean uploads (or
Hi,
Do we want to ship 3.10.2? If yes, I guess we should upload it right now
instead of having another transition later... What do you think?
Cheers,
Samuel.
Original Message
Subject: [Caml-list] OCaml version 3.10.2 released
Date: Fri, 29 Feb 2008 13:38:12 +0100
From:
Stefano Zacchiroli wrote:
On Fri, Feb 15, 2008 at 03:42:19PM +0100, Stefano Zacchiroli wrote:
Can someone please schedule them?
Any news?
Apparently not... It would be very nice if the binNMUs could be
scheduled soon since all the packages depending (directly or indirectly)
on ocaml are
Package: ocaml
Version: 3.10.1-1
Severity: grave
This is a dummy bug report to hold OCaml 3.10.1 in sid until all the
caml libs have been rebuilt with this new version of caml.
-- System Information:
Debian Release: lenny/sid
APT prefers unstable
APT policy: (500, 'unstable'), (500,
Version: 3.10.1-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers debian-ocaml-maint@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
camlp4 - Pre Processor Pretty Printer for OCaml
camlp4-extra - Pre Processor Pretty Printer for OCaml - extras
Hi,
Stefano Zacchiroli wrote:
On Sun, Feb 03, 2008 at 10:04:18AM +0100, Marc 'HE' Brockschmidt wrote:
Release schedule
Early March 2008
Very soft freeze
Please start thinking about the release when uploading new major
upstream versions. Only upload to unstable
Stefano Zacchiroli wrote:
The easiest way I see for now is to create an empty package
ocaml-abi-N.NN and make libraries and programs doing dynamic loading
depend on this package but this is quite intrusive and heavy. Does
anybody has a better idea?
Yes in principle, but why we need a new
Package: lintian
Version: 1.23.42
Severity: normal
Hi,
The check for the dependencies for interpreter of #!/usr/bin/ocamlrun
scripts is currently (ocaml | ocaml-base-nox)[1]. The dependency on
these packages should be versionned since ocaml programs are ABI
incompatible between different
Hi,
Stefano Zacchiroli wrote:
Comments?
Just a small but important point about dependencies: I guess that cma
are not ABI compatible between two different versions of OCaml. This
means that there should be a way to specify in the dependencies that the
cma was compiled with such version of
@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: 456081
Changes:
mldonkey (2.9.3-1) unstable; urgency=low
.
[ Stefano Zacchiroli ]
* fix vcs-svn field to point
Hi,
Julien Narboux wrote:
I am building an application which needs lablgtk2 with lablrsvg support.
It seems to me that the ubuntu/debian packages are not built with
lablrsvg support.
Is it planed to add librsvg to the build dependencies of lablgtk2 ? or
to make a package for lablrsvg ?
It's
Package: ftp.debian.org
Severity: normal
Hi,
Could you please remove missinglib from Debian. Reasons are:
* upstream is dead,
* the package currently FTBFS,
* superseeded by extlib,
* no reverse deps or build-deps,
* low popcon (44).
Thanks!
Cheers,
Samuel.
-- System Information:
Debian
Hi,
Apparently, OCaml 3.10.0-13 is held in unstable because we don't provide
the ocaml-native-compiler package on some archs anymore[1]. Shouldn't we
request a removal of this package from testing for the concerned archs?
Cheers,
Samuel.
[1] http://bjorn.haxx.se/debian/testing.pl?package=ocaml
Hi,
DDPOMail robot wrote:
=== missinglib:
= This package has 1 RC bug(s) more than 20 days old:
- #453221 http://bugs.debian.org/453221
missinglib: FTBFS: Parse error: [as_patt_opt] expected after [patt] (in
[match_case])
I am in favor of dropping this one unless someone is willing to
Hi,
Stefano Zacchiroli wrote:
On Mon, Nov 12, 2007 at 02:56:34AM +0100, Romain Beauxis wrote:
While playing with the ssl_client.ml example, I ended up correcting two
issues:
* ssl_client.ml must use:
let cl_ctx = Ssl.create_context Ssl.TLSv1 Ssl.Client_context in
to use the correct
Hi,
Stefano Zacchiroli wrote:
On Thu, Jan 10, 2008 at 09:47:04AM +0100, Samuel Mimram wrote:
AFAIR some code from the C headers of ocaml-ssl was copied into
ocamlnet-ssl but unfortunately I changed these definitions later in
ocaml-ssl and the disparity between the two libs was leading
@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)
Closes: 459050
Changes:
coq
Hi and happy new year everybody!
Mister Stéphane Glondu is willing to work on the ocsigen package. He is
working at the same laboratory as me (PPS) and is contributing upstream.
His account on alioth is glondu-guest. Could he be added to the
pkg-ocaml-maint team?
Thanks.
Cheers,
Samuel.
--
-dev liblablgtk2-ocaml
Architecture: source i386
Version: 2.10.0-4
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
@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
Closes: 450594
Changes:
cryptokit (1.3-7) unstable; urgency=low
-dev liblablgtk2-ocaml
Architecture: source i386
Version: 2.10.0-3
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
Hi,
Sergi Barroso wrote:
Yes, it's so simple, if you run current mldonkey server on Debian with
libc 2.7 it doesn't run. After I compiled debian source package it works
correctly.
Could you be more precise please? What happens exactly if you run the
mldonkey command? Could you paste the
Hi,
Sergi Barroso Terradas wrote:
This core is running with glibc 2.7 but it was compiled with glibc
2.6.1.
This can lead to unexpected behaviour. Consider compiling the core
yourself
or getting a binary compiled with glibc 2.6.1.
Actually version of glibc for Debian SID is 2.7, mldonkey new
@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.03-1) unstable; urgency=low
.
* New upstream release.
* We don't need to remove rpaths anymore
Hi,
Sylvain Le Gall wrote:
Yes, this arch is schedule for removal. Looking at the last entry of the
ocaml package changelog:
* remove ia64, arm and alpha native arches (no more ocamlopt for this
arches)
When it will be time, somebody should consider uploading the ocaml
package sitting in
@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)
Closes: 435023 452572
Changes
Hi,
This bug is already known (see #435023). I'll add a dependency from coq
to emacsen-common in the next upload, I think it will be enough.
Cheers,
Samuel.
Stefano Zacchiroli wrote:
To understand a bug reported against ocaml-mode I was installing emacs
for the first time on my laptop :)
-dev liblablgtk2-ocaml
Architecture: source i386
Version: 2.10.0-2
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
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Fri, 16 Nov 2007 19:23:40 +
Source: ocaml-shout
Binary: libshout-ocaml-dev libshout-ocaml
Architecture: source i386
Version: 0.2.4-2
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Fri, 16 Nov 2007 19:29:26 +
Source: ocaml-mad
Binary: libmad-ocaml-dev libmad-ocaml
Architecture: source i386
Version: 0.3.2-2
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel
@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
Changes:
mldonkey (2.9.2-2) unstable; urgency=low
.
* Upload to unstable.
Files:
c4910d80b4e21c9616cde41b21738dc3 1192
@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.1.pl2+dfsg-2
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Mon, 12 Nov 2007 23:19:38 +
Source: ocaml-shout
Binary: libshout-ocaml-dev libshout-ocaml
Architecture: source i386
Version: 0.2.4-1
Distribution: experimental
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Mon, 12 Nov 2007 23:08:39 +
Source: ocaml-vorbis
Binary: libvorbis-ocaml-dev libvorbis-ocaml
Architecture: source i386
Version: 0.4.0-1
Distribution: experimental
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Mon, 12 Nov 2007 23:15:05 +
Source: ocaml-mad
Binary: libmad-ocaml-dev libmad-ocaml
Architecture: source i386
Version: 0.3.2-1
Distribution: experimental
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel
Hi,
George Danchev wrote:
Package: wnpp
Severity: normal
I request assistance with co-maintaining the ara source package. The package
is in a good shape, but there are few wishlists bugs left in BTS, which need
an experienced ocaml hacker to look at. Thanks.
ara is hosted at
Hi,
Markus Mottl wrote:
On 11/5/07, Samuel Mimram [EMAIL PROTECTED] wrote:
It would be nice if OCamlMakefile could provide a debug-native-code (or
dnc) target which would build programs in native mode with the -g option
which was introduced in OCaml 3.10.
I'm afraid I don't maintain
Hi,
Now that the new gtk is in testing, we should try to have OCaml 3.10 in
testing. From [1], it seems that we only need to request a removal of
felix. Do you see any other blocker?
Cheers,
Samuel.
[1] http://bjorn.haxx.se/debian/testing.pl?package=ocaml;expand=1
--
To UNSUBSCRIBE, email
Hi,
It would be nice if OCamlMakefile could provide a debug-native-code (or
dnc) target which would build programs in native mode with the -g option
which was introduced in OCaml 3.10.
Thanks!
Cheers,
Samuel.
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of unsubscribe.
Hi,
Mike Furr wrote:
Enrico Tassi wrote:
Package name: matita
Stefano already has some packages for this on his gluck page, have
you talked to him about the status of those?
Moreover, since matita is written mostly in OCaml, it could be a good
idea to have this package on the
@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
Changes:
mldonkey (2.9.2-1) experimental; urgency=low
.
* New upstream release.
Files
Hi,
Cyril Brulebois wrote:
ocaml package:
| $ dpkg --contents ../libgv-ocaml_2.12-5_i386.deb | grep /lib/
| -rw-r--r-- root/root 148 2007-10-18 19:56
./usr/lib/ocaml/3.10.0/METAS/META.gv
| -rw-r--r-- root/root 2774 2007-10-18 19:56
./usr/lib/ocaml/3.10.0/gv/gv.cmx
|
Hi,
[EMAIL PROTECTED] wrote:
* Drop ia64/arm arches
Maybe should we also drop alpha support? spiral voice recently listed
a number of ennoying bugs on this arch:
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=335578
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=338148
Package: wnpp
Severity: wishlist
Owner: Samuel Mimram [EMAIL PROTECTED]
* Package name: ocaml-ogg
Version : 0.1.0
Upstream Author : Samuel Mimram [EMAIL PROTECTED]
* URL : http://savonet.sf.net/
* License : LGPL
Programming Lang: OCaml
Description
@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)
Closes: 446170
Changes
Hi,
numerix has been autobuild without problems in versions 0.22-3 and 0.22-4.
I am hence closing this bug.
I'm not really sure for this one. The FTBFS is for the version 0.22a
(please notice the small a) which is only available in experimental.
Can you confirm that this precise version builds
Hi,
spiral voice wrote:
MLDonkey 2.9.2 will contain some patches to allow usage of
lablgtk2-2.10.0 without breaking backwards compatibility.
Unfortunately one patch in lablgtk-2.10.0 breaks backwards
compatibility with its earlier versions. This patch needs to
be reverted in order to work
Julien Cristau wrote:
On Sun, Sep 30, 2007 at 17:04:03 +0200, spiral voice wrote:
[EMAIL PROTECTED] doesn't go to the bug submitter.
You're right. I've redirected the mail.
Cheers,
Samuel.
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of unsubscribe. Trouble? Contact [EMAIL
Hi,
Stefano Zacchiroli wrote:
On Thu, Sep 27, 2007 at 06:39:43PM -, [EMAIL PROTECTED] wrote:
Don't install *.o files.
Uhm, is this the right solution?
I mean, are you sure those *.o files are not needed for linking of
native code applications? AFAICT in principle this is not
-dev liblablgtk2-ocaml
Architecture: source i386
Version: 2.10.0-1
Distribution: experimental
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
Stefano Zacchiroli wrote:
Finally, if you use a directory structure in which the directory for
upstream stuff is called tarballs rather than upstream you diminish
the degree of customization needed for svn-buildpackage.
We should maybe change this in our policy?
--
To UNSUBSCRIBE, email to
Stefano Zacchiroli wrote:
please remove the ocamldbi (source) package from unstable and testing.
While we're at it, didn't we decide to drop ocaml-sqlite? Or do we
finally keep it since it does build with OCaml 3.10?
Cheers,
Samuel.
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a
Hi,
Your cf library currently does not compile with OCaml 3.10. This is
apparently due to a change in scanning functions. Do you plan to make a
new release soon fixing this or do you have a patch at least?
Thanks!
Regards,
Samuel.
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a
Hi,
Stefano Zacchiroli wrote:
Of the above one the one which I regret most to ask for removal is
pagodacf, but I've failed to fix it quickly and I lack time to try
again; volunteers are welcome. Maybe in the meantime we can only ask
for its removal from testing and not from unstable ...
james woodyatt wrote:
On Sep 18, 2007, at 07:38, Samuel Mimram wrote:
Your cf library currently does not compile with OCaml 3.10. This is
apparently due to a change in scanning functions. Do you plan to make
a new release soon fixing this or do you have a patch at least?
Top of CVS tree
Samuel Mimram wrote:
Hi,
Stefano Zacchiroli wrote:
Of the above one the one which I regret most to ask for removal is
pagodacf, but I've failed to fix it quickly and I lack time to try
again; volunteers are welcome. Maybe in the meantime we can only ask
for its removal from testing
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Tue, 18 Sep 2007 21:54:19 +
Source: ocaml-vorbis
Binary: libvorbis-ocaml-dev libvorbis-ocaml
Architecture: source i386
Version: 0.3.1-3
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed
@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
Changes:
mldonkey (2.9.1-1) unstable; urgency=low
.
* New upstream release.
Files:
d2c5602c806b91d41a225084628172cc 1192
@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
libmissinglib-ocaml-dev - Library of utility functions for OCaml
Changes:
missinglib (0.4.10.debian-4) unstable; urgency=low
.
* Rebuild with OCaml 3.10.
* Added camlp5.dpatch and removed loc.dpatch in order to use camlp5
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sat, 08 Sep 2007 13:35:42 +0200
Source: ocaml-vorbis
Binary: libvorbis-ocaml-dev libvorbis-ocaml
Architecture: source i386
Version: 0.3.1-2
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sat, 08 Sep 2007 14:10:33 +0200
Source: ocaml-mad
Binary: libmad-ocaml-dev libmad-ocaml
Architecture: source i386
Version: 0.3.1-2
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel
-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
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sat, 08 Sep 2007 17:25:45 +0200
Source: ara
Binary: ara xara-gtk xara-gtk-byte ara-byte
Architecture: source all i386
Version: 1.0.19
Distribution: unstable
Urgency: low
Maintainer: George Danchev [EMAIL PROTECTED]
Changed-By: Samuel
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sat, 08 Sep 2007 00:31:35 +0200
Source: ocaml-shout
Binary: libshout-ocaml-dev libshout-ocaml
Architecture: source i386
Version: 0.2.3-2
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sat, 08 Sep 2007 01:05:09 +0200
Source: pycaml
Binary: pycaml
Architecture: source i386
Version: 0.82-7
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers debian-ocaml-maint@lists.debian.org
Changed-By: Samuel
@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-9) unstable; urgency=low
.
* Rebuild with OCaml 3.10
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
libocamlodbc-ocaml-dev - UnixODBC database bindings for OCaml
Changes:
ocamlodbc (2.15-2) unstable; urgency=low
.
* Rebuild with OCaml 3.10.
Files:
96914e980125e0ab6ae4f6d71084410d 924 devel optional ocamlodbc_2.15-2.dsc
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sat, 08 Sep 2007 01:14:37 +0200
Source: mysql-ocaml
Binary: libmysql-ocaml-dev libmysql-ocaml
Architecture: source i386
Version: 1.0.4-4
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sat, 08 Sep 2007 01:19:06 +0200
Source: ocamlsdl
Binary: libsdl-ocaml-dev libsdl-ocaml
Architecture: source i386
Version: 0.7.2-7
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel
@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
Changes:
mldonkey (2.9.0-2) unstable; urgency=low
.
* Rebuild with OCaml 3.10.
Files:
5b1e224190ecf0a392a00f960d69c5da
@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
Changes:
mldonkey (2.9.0-3) unstable; urgency=low
.
* Forgot to add a dependency on camlp4.
Files
Hi,
Mike Furr wrote:
It looks like OCaml 3.10 is failing to build on the non-native arches. I
think I tracked down the problem and have reported it upstream[1].
However, I don't have time to make/test a patch for svn at the moment.
One quick fix should be to just change the variable mentioned
Package: wnpp
Severity: wishlist
Owner: Samuel Mimram [EMAIL PROTECTED]
* Package name: ocaml-curses
Version : 1.0.1
Upstream Author : Nicolas George, Richard Jones
* URL : http://www.nongnu.org/ocaml-tmk/
* License : LGPL
Programming Lang: C / OCaml
Richard Jones wrote:
On Fri, Aug 24, 2007 at 12:47:31AM +0200, Samuel Mimram wrote:
I can package ocaml-curses if you want on behalf of debian-ocaml-maint.
Debian packages are handled in our svn repository so I don't really need
to be added to the savannah project.
I'd like someone from
@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.1.pl1
Hi,
Stefano Zacchiroli wrote:
Hi guys,
I think is time to go ahead and start uploading 3.10 stuff to
unstable. Not yet has been rebuilt in experimental, but I believe the
major showstopper have been, and we have fallbacks for the potentially
problematic issue of the new camlp4.
I would
Hi,
I can package ocaml-curses if you want on behalf of debian-ocaml-maint.
Debian packages are handled in our svn repository so I don't really need
to be added to the savannah project.
Cheers,
Samuel.
Richard Jones wrote:
Sorry if I'm being a bit demanding :-) Does someone from the Debian
Hi,
spiral voice wrote:
I am following the ongoing discussions about updating Debians
Ocaml packages to 3.10.0. MLDonkey 2.9.0 uses this Ocaml
version already as default compiler, but this combo seems to
crash on 64bit Linux platforms
Thanks for letting us know. Would it work if we
Package: wnpp
Severity: wishlist
Owner: Samuel Mimram [EMAIL PROTECTED]
* Package name: coq-float
Upstream Author : Laurent Théry [EMAIL PROTECTED], Sylvie Boldo [EMAIL
PROTECTED], Laurence Rideau [EMAIL PROTECTED]
* URL : http://coq.inria.fr/contribs/Float.html
* License
1 - 100 of 504 matches
Mail list logo
