@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+dfsg-1
@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: 435439 437308
Changes:
mldonkey (2.9.0-1) unstable; urgency=low
.
[ Samuel Mimram ]
* New upstream release
Hi,
I've had a bug report (#430878) which has asked me to package the Float
library for coq. Since it is the first coq library to be packaged, we
have to decide of a naming scheme for those. I would go for
coq-lib-float but if anyone has a better / more standard suggestion
for the name of the
Hi,
Sven Luther wrote:
On Thu, Aug 09, 2007 at 09:38:16AM +0200, Samuel Mimram wrote:
Hi,
I've had a bug report (#430878) which has asked me to package the Float
library for coq. Since it is the first coq library to be packaged, we
have to decide of a naming scheme for those. I would go
Hi,
Richard Jones wrote:
On Tue, Aug 07, 2007 at 03:15:23PM +, Sylvain Le Gall wrote:
On 07-08-2007, Richard Jones [EMAIL PROTECTED] wrote:
On Tue, Aug 07, 2007 at 10:01:04AM -0400, Stefano Zacchiroli wrote:
On Tue, Aug 07, 2007 at 02:52:18PM +0100, Richard Jones wrote:
I've talked to
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
libocamlodbc-ocaml-dev - UnixODBC database bindings for OCaml
Changes:
ocamlodbc (2.15-1) unstable; urgency=low
.
* New upstream release.
* Refreshed makefile.dpatch.
* Don't ignore errors on clean.
Files
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
advi - an active DVI previewer and presenter
advi-examples - example presentations for Active-DVI (advi)
Closes: 424084 433584
Changes:
advi (1.6.0-13) unstable; urgency=low
.
* Clean enough so that package can be built twice
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 15 Jul 2007 22:42:53 +
Source: mysql-ocaml
Binary: libmysql-ocaml-dev libmysql-ocaml
Architecture: source i386
Version: 1.0.4-3
Distribution: experimental
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
ocaml-tools - various tools for ocaml programmers
Closes: 432519
Changes:
ocaml-tools (2007.06.24-2) unstable; urgency=low
.
* Comply to the new vim policy for omlet: recommend vim-addon-manager,
updated README.Debian, removed
Hi,
Sylvain Le Gall wrote:
I think that somebody should take care of rebuilding lablgtk2 and
lablgl in order to unblock a lot of packages.
If nobody step in -- and if you authorize me, i will do it.
Anyone against this ?
I don't really understand. What packages are blocked by lablgtk2
Package: ocaml-tools
Version: 2007.06.24-1
Severity: important
Hi,
Since the last update of vim (to 1:7.1-022+1 I think) the nice omlet mode does
not seem to be used anymore when editing ml files and the old mode seems to be
used. I've tried to dpkg-reconfigure ocaml-tools but it did not do any
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: 431679
Changes:
coq (8.1
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Fri, 22 Jun 2007 19:32:08 +0200
Source: ocaml-mad
Binary: libmad-ocaml-dev libmad-ocaml
Architecture: source i386
Version: 0.3.1-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel
Hi,
Stefano Zacchiroli wrote:
- the ocaml-nox .deb is now about 30 Mb and installs something like 9 Mb
of camlp4 related executables (sizes on i386 arch). Shall we split out
an ocaml-camlp4-extras with the various kind of camlp4 executables?
Yes, let's split camlp4 as much as possible.
Hi,
Stefano Zacchiroli wrote:
On Thu, Jun 14, 2007 at 10:03:41PM +0200, Samuel Mimram wrote:
- assuming the experimental packages are fine (please test them no
matter the open issues above!) are we ready to upload to unstable? (Of
course pending an approval of the RMs)
The main blocker I see
Samuel Mimram wrote:
Well, no needs for tests I can already predict that coq will fail to
build with ocaml 3.10 and will therefore prevent it from entering
testing (as well as every package depending on ocaml). It might
effectively be a good idea to consider uploading versionned packages
Hi,
pol wrote:
Recently, probably after upgrading debian/testing, mldonkey cannot be started
any more.
I have noticed that the server script has been moved to /etc/init.d, but i canot find
the binary file.
Starting mldonkey as root from /etc/init.d does not work either.
Any help?
Could
@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-3) unstable; urgency=low
.
* Replaced dependency on ocmal-tools by ocamlmakefile [Ralf Treinen].
* Updated standards
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Mon, 04 Jun 2007 22:01:35 +0200
Source: pycaml
Binary: pycaml
Architecture: source i386
Version: 0.82-6
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:
mldonkey-gui - Graphical frontend for mldonkey based on GTK
mldonkey-server - Door to the 'donkey' network
Changes:
mldonkey (2.8.7-1) unstable; urgency=low
.
* New upstream release.
Files:
f975862b81dc7462d89e811874e2a4a4 1186
@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.8.6-1) unstable; urgency=low
.
* New upstream release.
Files:
c16f47efaff6bfdfd9137b1cf8e9cede 1186
Eric Cooper wrote:
These now use the OCaml CDBS support, and ocaml-sha is a new upstream
version. If someone could upload these from svn, I would appreciate it.
Uploaded!
Cheers,
Samuel.
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of unsubscribe. Trouble? Contact [EMAIL
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: 424162
Changes:
coq (8.1
@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
libzip-ocaml - ocaml compression libraries
libzip-ocaml-dev - ocaml compression libraries
Closes: 424150
Changes:
camlzip (1.03-3) unstable; urgency=low
.
* Remove produced .so files at clean time, closes: #424150.
Files
Patrick Winnertz wrote:
Lucas Nussbaum has rebuilt the whole archive on i386 and your package FTBFS if
built twice in a row with the following error:
The real error is
dpkg-source: cannot represent change to test-suite/modules/Nat.vo:
binary file contents changed
dpkg-source: cannot represent
Package: wnpp
Severity: wishlist
Owner: Samuel Mimram [EMAIL PROTECTED]
* Package name: ocaml-alsa
Version : 0.1.0
Upstream Author : Samuel Mimram [EMAIL PROTECTED]
* URL : http://savonet.sf.net/
* License : GPL
Programming Lang: ocaml + C
Description
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+dfsg-4
@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.8.5-1) unstable; urgency=low
.
* New upstream release.
Files:
32ab4c09b69874b033491e4a68c0f7a5 1186
Christian Perrier wrote:
Please use the attached patch on the debian/po/de.po file.
Will you take care, i.e. apply the patch, or is a new file from the
translator / the German team required?
Care should be taken by the package maintainer (which I am not...I
noticed the error while checking
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
libocamlodbc-ocaml-dev - UnixODBC database bindings for OCaml
Changes:
ocamlodbc (2.12-2) unstable; urgency=low
.
* Upload to unstable.
Files:
2c2a7baaa9b2dc4cc3a1c49f64eb8aa2 926 devel optional ocamlodbc_2.12-2.dsc
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Wed, 11 Apr 2007 16:57:23 +0200
Source: ocaml-vorbis
Binary: libvorbis-ocaml-dev libvorbis-ocaml
Architecture: source i386
Version: 0.3.0-2
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Wed, 11 Apr 2007 16:59:00 +0200
Source: ocaml-mad
Binary: libmad-ocaml-dev libmad-ocaml
Architecture: source i386
Version: 0.3.0-2
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
ocaml-tools - various tools for ocaml programmers
Closes: 410547 413005 418394
Changes:
ocaml-tools (2007.02.04-2) unstable; urgency=low
.
* Added German debconf translation (thanks Stefan Bauer), closes: #410547.
* Added Japanese
@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
libzip-ocaml - ocaml compression libraries
libzip-ocaml-dev - ocaml compression libraries
Changes:
camlzip (1.03-2) unstable; urgency=low
.
* Upload to unstable.
Files:
3713283945e78063b55ecfbf8a06c5b2 939 libdevel optional
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+dfsg-3
@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: 417624
Changes:
mldonkey (2.8.4-2) unstable; urgency=low
.
* Added a missing build-dependency on libxml2-utils
@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.8.4-1) unstable; urgency=low
.
* New upstream release.
Files:
3f4ef5781b9408f52f082faeb0be3c71 1171
Ralf Treinen wrote:
These files are not lost, they are never built on architectures that do not
support compilation of ocaml to native code. This seems to be a bug in the
upstream Makefile:
Yes, it is the usual I-didn't-think-of-non-native-archs bug in the
Makefile. This will get corrected by
Hi,
skaller wrote:
Before i put in a RTP, is there someone here willing to package
why and ergo? [Assuming they're not packaged yet ..]
If they are useful at least for you, I'm ok to package them. I'll submit
ITPs soon (feel free to ping me if I forget to).
Cheers,
Samuel.
--
To
Hi,
skaller wrote:
On Thu, 2007-03-22 at 16:32 +0100, Samuel Mimram wrote:
Hi,
skaller wrote:
Before i put in a RTP, is there someone here willing to package
why and ergo? [Assuming they're not packaged yet ..]
If they are useful at least for you, I'm ok to package them. I'll submit
ITPs
Package: wnpp
Severity: wishlist
Owner: Samuel Mimram [EMAIL PROTECTED]
* Package name: why
Version : 2.02
Upstream Author : Jean-Christophe Filliâtre
* URL : http://why.lri.fr/
* License : GPL
Programming Lang: OCaml
Description : A software
Julien Cristau wrote:
On Thu, Mar 22, 2007 at 18:00:33 +0100, Samuel Mimram wrote:
Unfortunately, I found out that ergo is under the CeCILL license which
is not DFSG-free if I remember well (am I wrong?).
cecill is gpl-compatible.
They claim so but it is not necessarily the case
@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: 410779 412793 413706 413778 414436 415065
Changes:
mldonkey (2.8.3-2) unstable; urgency=low
.
* Ask all debconf
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Fri, 16 Mar 2007 18:24:50 +0100
Source: ocaml-mad
Binary: libmad-ocaml-dev libmad-ocaml
Architecture: source i386
Version: 0.3.0-1
Distribution: experimental
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Fri, 16 Mar 2007 18:27:53 +0100
Source: ocaml-vorbis
Binary: libvorbis-ocaml-dev libvorbis-ocaml
Architecture: source i386
Version: 0.3.0-1
Distribution: experimental
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed
@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
libocamlodbc-ocaml-dev - UnixODBC database bindings for OCaml
Closes: 354946
Changes:
ocamlodbc (2.12-1) experimental; urgency=low
.
* New upstream release.
* Not providing the libocamlodbc-ocaml-bin package anymore, biniki
@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
libzip-ocaml - ocaml compression libraries
libzip-ocaml-dev - ocaml compression libraries
Changes:
camlzip (1.03-1) experimental; urgency=low
.
* New upstream release.
* Improved packaging.
* Updated uncompress.dpatch
severity 413090 important
tag 413090 + moreinfo unreproducible
thanks
Hi,
Torabi wrote:
I do not know why the values were empty. I never changed that file but I
think that I answer the rarely occurring debconf questions properly.
Unfortunately, I don't have much clues to understand what went
Hi,
Sylvain Le Gall wrote:
On 02-03-2007, Torabi [EMAIL PROTECTED] wrote:
Since the mldonkey-server did not work I removed it ... my downloads.ini
(from /var/lib/mldonkey) was a 0 Byte file so I deleted it. But the Problem
remains.
Samuel Mimram wrote:
Hi,
Could you please send me
Hi,
Could you please send me a copy of your downloads.ini file? The default
directory for this file is /var/lib/mldonkey.
Thanks!
Cheers,
Samuel.
Ramin Torabi wrote:
Subject: mldonkey-server: fails to configure (on upgrade)
Package: mldonkey-server
Version: 2.8.1-2etch1
Severity: grave
Hi,
Stefano Zacchiroli wrote:
On Tue, Feb 27, 2007 at 04:07:37PM +0100, Romain Beauxis wrote:
Owner: Samuel Mimram [EMAIL PROTECTED]
Given this, I guess you're already familiar with what I'm going to say,
but better safe then sorry ...
OCaml bindings for the cross platform audio output
Package: ocaml-sqlite3
Severity: wishlist
For the record, Georg Neis has forwarded the following mail to me. I
think that we should update the package with Markus Mottl's version.
- Forwarded message from Markus Mottl -
From: Markus Mottl
To: caml-list
Subject: [Caml-list] OCaml SQLite3
@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+dfsg-1
@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: 408725
Changes:
mldonkey (2.8.3-1) unstable; urgency=low
.
* New upstream release.
* Removed useradd.dpatch
@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: 400535
Changes:
coq
@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: 409027
Changes:
coq
Hi,
Ralf Treinen wrote:
On Tue, Jan 30, 2007 at 10:02:18AM +0100, Lionel Elie Mamane wrote:
Package: coq
Version: 8.0pl3-2
Severity: normal
$ dpkg -L coq|grep sty
/usr/share/emacs/site-lisp/coqdoc.sty
I don't have time now to look into the coq build process, but:
The appropriate
Hi,
spiral voice wrote:
it seems the patch attachment did not reach Debian bug tracker.
Here you can find the -useradd-patch:
http://savannah.nongnu.org/patch/index.php?5673
Thanks for the patch. Unfortunately it does not seem to work:
% mlnet -help|grep useradd
[...]
-useradd user pass
Hi,
I've uploaded packages for testing here:
http://people.debian.org/~smimram/mldonkey/
Could you test them and confirm that mldonkey works well (I'd rather be
sure that everything works before doing a testing-proposed-update).
Thanks!
Cheers,
Samuel.
spiral voice wrote:
Hi,
I
@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: 397497 405173 406247
Changes:
mldonkey (2.8.2-2) unstable; urgency=low
.
* Added avoid-duplicate-sending to fix
Hi,
spiral voice wrote:
Package: mldonkey-server
Version: 2.8.2-1
MLDonkey has a very serious bug which leeds to uploading
data blocks twice to eMule clients. [...]
Please update all MLDonkey ebuilds present in Debian/Ubuntu.
The most urgent version to patch is the one in etch (2.8.1)
Hi,
Ralf Treinen wrote:
On Mon, Dec 25, 2006 at 12:34:02PM +0100, Shamil Radzhabov wrote:
Package: hevea
Version: 1.09-1
Severity: normal
Hevea fails on cyrillic text, here is output :
Luckily, the experimental upstream version of hevea contains the
koi8-r inputencoding. I have
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
Andreas Barth wrote:
* Samuel Mimram ([EMAIL PROTECTED]) [061129 00:44]:
# Automatically generated email from bts, devscripts version 2.9.26
reopen 397497
Why did you reopen this bug report? What needs to be fixed for it?
Currently, this bug is marked as Release Critical - means
Hi,
Marco Valli wrote:
Hi, i downloaded new mldoneky-server package from incoming.debian.org
but it fails when i try to install - from my local repository.
Argh, there must me something wrong with the update I made to
mldonkey_users to cope with the new format of users.ini. I'll try 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: 395068 397497 400216
Changes:
mldonkey (2.8.2-1) unstable; urgency=low
.
* New upstream release.
- Should fix
Hi,
Frank Lichtenheld wrote:
your package failed to build from source because it couldn't
find the ocamlopt command. I'm honestly not sure whether this
is a bug in your build-depends or in ocaml-nox, which seems to
have provided this command in the past, but doesn't do so anymore.
Thanks! In
George Danchev wrote:
Could anyone upload ara 1.0.17 please.
Uploaded.
Cheers,
Samuel.
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
George Danchev wrote:
Could anyone upload ara 1.0.17 please.
Uploaded.
Cheers,
Samuel.
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
@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: 293016 341615 394543 396754 399962
Changes:
mldonkey (2.8.1-3) unstable; urgency=low
.
[ Samuel Mimram
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
advi - an active DVI previewer and presenter
advi-examples - example presentations for Active-DVI (advi)
Closes: 388435 398695 398920 398922
Changes:
advi (1.6.0-11) unstable; urgency=high
.
* High-urgency upload to fix FTBFS
@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: 399919
Changes:
coq
@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: 383310
Changes:
coq
Frank Küster wrote:
After installing advi, no documenation is available. The reason is that
the manual.pdf is hidden in the advi-examples package. The easiest fix
is probably to rename advi-examples to advi-doc.
...or simply to have a notice about this in README.Debian which would
avoid the
Hi,
Marcus Blumhagen wrote:
On my machine it doesn't take as long to shut down mldonkey-server but
the problem is the same here.
Thanks for your very detailed report!
I think that the best thing to do is to get rid of the ml script
(mldonkey-server). I'll switch the init.d script 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: 389455 391729 392604 392605 392617 395068
Changes:
mldonkey (2.8.1-2) unstable; urgency=low
.
* Added
Hi,
Géraud Meyer wrote:
Package: mldonkey-server
Tags: patch
Thanks a lot for all the patches you provided against the tools provided
in the Debian package. They should be included in the next upload of
mldonkey.
Don't hesitate to file more bug reports if you've got more patches :)
Cheers,
Hi,
Robert Millan wrote:
It is really reading from stdin, and typing the password works, but the user
doesn't receive any indication that mldonkey_submit is waiting for a password.
Thanks for noticing this. It is easy to add a flush and this bug should
be corrected in the next upload of
Hi,
spiral voice wrote:
# grep /etc/magic\ mlnet.strace
30807 open(/etc/magic, O_RDONLY|O_LARGEFILE) = 20
Please compile MLDonkey without libmagic support (--disable-magic),
MLDonkey is known to fail if a text database is found first:
http://savannah.nongnu.org/bugs/?17160
The flag
Hi,
OCaml 3.09.3 is officially out. Since it does not fix so many critical
bugs I think we can wait a bit before uploading and starting a new
transition. The reason is that Julien, Stefano and I are working on
finally integrating dh_ocaml to the ocaml-nox package.
This script would make life
@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: 387977
Changes:
mldonkey (2.8.1-1) unstable; urgency=low
.
* New upstream release, closes: #387977.
Files
Hi,
Lanwin1 wrote:
If i start the mldonkey-server ive got the message segmentation fault.
Bevor ive done an apt-get dist-upgrade, ive used 2.7.7-6 and it workes
corretly.
Now ive have compiled the lastes cvs sources and this is working correctly.
Could you try to update to the package
Package: wnpp
Severity: wishlist
Owner: Samuel Mimram [EMAIL PROTECTED]
* Package name: ocsigen
Version : 0.4.0
Upstream Author : Vincent Balat [EMAIL PROTECTED]
* URL : http://ocsigen.org/
* License : GPL
Programming Lang: OCaml
Description : web
Package: libmissinglib-ocaml-dev
Severity: wishlist
For the record.
-- Forwarded message --
Date: Thu, 14 Sep 2006 13:46:14 -0500
From: John Goerzen [EMAIL PROTECTED]
To: Ivan Jager [EMAIL PROTECTED]
Subject: Re: Missing: List.map_some
Hi Ivan,
Thanks for the patch.
@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: 387260
Changes:
mldonkey (2.8.0-1) unstable; urgency=low
.
* New upstream release, closes: #387260.
* Removed
Hi,
spiral voice wrote:
Having patch 5384 ( http://savannah.nongnu.org/patch/?5384 ) in Debian
package would be enough,
but it would also be nice if you could include the latest patches as well:
I'm a bit busy (or lazy? :) at the moment. Could you send me the diff?
Thanks.
Cheers,
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
: Sylvain Le Gall [EMAIL PROTECTED]
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
cameleon - integrated development environment for OCaml
cameleon-doc - documentation for Cameleon
libcameleon-ocaml-dev - OCaml library to display LablGTK dialog boxes
ocaml-dbforge - graphical tool
@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: 384205 385920
Changes:
mldonkey (2.7.7-10) unstable; urgency=low
.
* Set CFLAGS according to the Debian policy
Sven Luther wrote:
On Tue, Sep 05, 2006 at 09:26:04PM +0200, Stefano Zacchiroli wrote:
On Mon, Sep 04, 2006 at 12:53:41PM +0200, Stefano Zacchiroli wrote:
If noone object to this change I will commit it in the next days.
Done.
Please note that I committed changes to debian/control, *not* to
Hi,
Stefano Zacchiroli wrote:
Hi all,
recently I started adding to my debian/control the field X-Vcs-Svn,
which value is the URL of the subversion repository containing the
working version of the package. With this mail I'm proposing to use it
in all ocaml related packages; I've a commit
Get prepared for a new full rebuild!
Cheers,
Samuel.
Original Message
Subject: [Caml-list] 3.09.3 release candidate 1
Date: Wed, 30 Aug 2006 13:21:37 +0200
From: Damien Doligez [EMAIL PROTECTED]
To: caml users [EMAIL PROTECTED]
Hello,
We have a release candidate for 3.09.3.
Hi debian-release,
It looks like we'll have a new ocaml transition soon.
Cheers,
Samuel.
Sven Luther wrote:
On Wed, Aug 30, 2006 at 01:31:05PM +0200, Samuel Mimram wrote:
Get prepared for a new full rebuild!
Can you post this to debian-release, i am banned from it, and i think
skaller wrote:
On Sun, 2006-08-27 at 10:13 +0200, Sven Luther wrote:
We already moved some this way with ocaml, who installs in
/usr/lib/ocaml/version, but didn't go the full way.
Ok, can I do this too? I would install in:
/usr/lib/felix/felix-1.1.2
Why not /usr/lib/felix/1.1.2? (just
skaller wrote:
I have a package which says this:
Depends: ${shlibs:Depends}, g++, ocaml-nox-${F:OCamlABI}
however this is wrong. If the arch supports native
code compiler, there is no dependency on Ocaml at all.
If the arch only supports bytecode, then ocaml_run is required
What I
spiral voice wrote:
FYI: CryptoPP is a bit picky about CFLAGS.
Never use omit-frame-pointer and omit-leaf-frame-pointer with it, it
breaks the code:
http://forums.gentoo.org/viewtopic-p-3508439.html#3508439
The problem here was more the -O0. Would -O2 hurt (together with
Hi,
skaller wrote:
On Mon, 2006-08-21 at 12:37 +0200, Stefano Zacchiroli wrote:
I hope no one minds if I ask a few dumb questions.
Note that for general packaging questions you have plenty of
resources other than this list (there is debian-mentors and the
wonderful debian developers
skaller wrote:
On Tue, 2006-08-22 at 02:24 +1000, skaller wrote:
On Mon, 2006-08-21 at 19:00 +0300, George Danchev wrote:
it is
svn co svn://svn.debian.org/svn/pkg-ocaml-maint/trunk/packages/felix
That hangs.
Sorry for previous reply to both list and send (my email client
doesn't have a
skaller wrote:
On Tue, 2006-08-22 at 02:40 +1000, skaller wrote:
On Mon, 2006-08-21 at 18:04 +0200, Samuel Mimram wrote:
But I can try: which SUITE should I use (sarge, etch, etc)?
ok .. I'm trying sarge .. my ISP has that locally .. hope that's OK
Ah. sarge might not work, amd64
@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 383527
Changes:
mldonkey (2.7.7-9) unstable; urgency=low
.
* Added cryptoflags.dpatch to use the -mno-omit
101 - 200 of 504 matches
Mail list logo