Re: [Caml-list] binary compatibility of 3.08.3

2005-01-20 Thread Sven Luther
On Thu, Jan 20, 2005 at 02:53:23PM +0900, Jacques Garrigue wrote: From: Sven Luther [EMAIL PROTECTED] Binary compatibility as you get it in C is just a hack: you drop some consistency checks, and hope that the user is clever enough to not use incompatible libraries. Ocaml chooses the

Processing of hevea_1.07-5_i386.changes

2005-01-20 Thread Archive Administrator
hevea_1.07-5_i386.changes uploaded successfully to localhost along with the files: hevea_1.07-5.dsc hevea_1.07-5.diff.gz hevea_1.07-5_all.deb Greetings, Your Debian queue daemon -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL

Bug#290174: marked as done (Improper copyright file)

2005-01-20 Thread Debian Bug Tracking System
Your message dated Thu, 20 Jan 2005 15:47:11 -0500 with message-id [EMAIL PROTECTED] and subject line Bug#290174: fixed in hevea 1.07-5 has caused the attached Bug report 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

Accepted hevea 1.07-5 (all source)

2005-01-20 Thread Ralf Treinen
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Thu, 20 Jan 2005 09:03:15 +0100 Source: hevea Binary: hevea Architecture: source all Version: 1.07-5 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-maint@lists.debian.org Changed-By: Ralf

Droit de distribuer la doc de coq

2005-01-20 Thread Samuel Mimram
Bonjour, La doc de coq (tutoriel, ref man, lib et faq) est packagée depuis un certain temps dans Debian mais je me suis aperçu récemment qu'il n'est nulle part précisé que nous avons le droit de redistribuer ces fichiers. J'imagine que cela ne vous pose pas de problème mais quelque chose de

まだ募集してますか?

2005-01-20 Thread
[EMAIL PROTECTED];%U%lJg=8$7$F$^$9$+!);d$b:#C5$7$F$F%a!%k$7$?$s$G$9$,!!!(B $B:#G/(B30$B$K$J$k(B8$B:P;y$N%^%^$7$F$^$9!#:#$NC6Fa$HIU$-9g$C$F(B $BD>$0$K;R6!$G$-$A$c$C$?$+$i$"$^$jM7$s$G$J$+$C$?$s$G$9!#(B $B:#$^$G;R6!$NLLE]8+$J$$$H$$$1$J$+$C$?$+$i2fK}$7$F$?$s$G$9$,(B

Re: Droit de distribuer la doc de coq

2005-01-20 Thread Christian Perrier
Quoting Samuel Mimram ([EMAIL PROTECTED]): De plus, le package ira dans la section non-free de Debian, sauf si vous choisissez une licence libre pour cette doc (la licence ci-dessus ne l'est pas). Maybe explaining to the people you're talking to why this licence is not considered