* [Caml-list] Old and new OCaml installed on same machine?
@ 2013-02-18 7:22 oliver
2013-02-18 7:34 ` Roberto Di Cosmo
2013-02-18 7:43 ` Francois Berenger
0 siblings, 2 replies; 10+ messages in thread
From: oliver @ 2013-02-18 7:22 UTC (permalink / raw)
To: caml-list
Hello,
any ideas on how to manage multiple OCaml-installations
on one machine, without running into trouble?
I have 3.11.2 here on my old Ubuntu box.
I built OCaml 4.00, but stopped before the "make install",
because on a target system (a server providing my web stuff)
there also is 3.11.2 installed (older Debian system), and I'm
not root at that system.
But I want to compile my code there also.
So I may need to develop in two branches for a while
and do merges.
When I remove my 3.11.2, the testing would need me to work
on the remote machine, when testing the old-branch (the merges).
Possible, but more effort (and network delays are annoying).
Can more than one OCaml be installed and used in an easy way?
Or should I forget this issue because of "mission impossible"
or because of "that needs too much effort"?
(I use OCamlMakefile for building my stuff.)
Any ideas on that?
Ciao,
Oliver
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: [Caml-list] Old and new OCaml installed on same machine?
2013-02-18 7:22 [Caml-list] Old and new OCaml installed on same machine? oliver
@ 2013-02-18 7:34 ` Roberto Di Cosmo
2013-02-18 14:16 ` oliver
2013-02-25 0:50 ` oliver
2013-02-18 7:43 ` Francois Berenger
1 sibling, 2 replies; 10+ messages in thread
From: Roberto Di Cosmo @ 2013-02-18 7:34 UTC (permalink / raw)
To: oliver; +Cc: caml-list
[-- Attachment #1: Type: text/plain, Size: 1405 bytes --]
Dear Oliver,
just use the Opam package manager for OCaml and you will be fine.
--
Roberto
Le 18 févr. 2013 08:22, "oliver" <oliver@first.in-berlin.de> a écrit :
> Hello,
>
> any ideas on how to manage multiple OCaml-installations
> on one machine, without running into trouble?
>
> I have 3.11.2 here on my old Ubuntu box.
> I built OCaml 4.00, but stopped before the "make install",
> because on a target system (a server providing my web stuff)
> there also is 3.11.2 installed (older Debian system), and I'm
> not root at that system.
>
> But I want to compile my code there also.
> So I may need to develop in two branches for a while
> and do merges.
>
> When I remove my 3.11.2, the testing would need me to work
> on the remote machine, when testing the old-branch (the merges).
> Possible, but more effort (and network delays are annoying).
>
> Can more than one OCaml be installed and used in an easy way?
> Or should I forget this issue because of "mission impossible"
> or because of "that needs too much effort"?
>
> (I use OCamlMakefile for building my stuff.)
>
> Any ideas on that?
>
>
> Ciao,
> Oliver
>
> --
> Caml-list mailing list. Subscription management and archives:
> https://sympa.inria.fr/sympa/arc/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>
[-- Attachment #2: Type: text/html, Size: 2009 bytes --]
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: [Caml-list] Old and new OCaml installed on same machine?
2013-02-18 7:22 [Caml-list] Old and new OCaml installed on same machine? oliver
2013-02-18 7:34 ` Roberto Di Cosmo
@ 2013-02-18 7:43 ` Francois Berenger
1 sibling, 0 replies; 10+ messages in thread
From: Francois Berenger @ 2013-02-18 7:43 UTC (permalink / raw)
To: caml-list
On 02/18/2013 04:22 PM, oliver wrote:
> Hello,
>
> any ideas on how to manage multiple OCaml-installations
> on one machine, without running into trouble?
>
> I have 3.11.2 here on my old Ubuntu box.
> I built OCaml 4.00, but stopped before the "make install",
> because on a target system (a server providing my web stuff)
> there also is 3.11.2 installed (older Debian system), and I'm
> not root at that system.
>
> But I want to compile my code there also.
> So I may need to develop in two branches for a while
> and do merges.
>
> When I remove my 3.11.2, the testing would need me to work
> on the remote machine, when testing the old-branch (the merges).
> Possible, but more effort (and network delays are annoying).
>
> Can more than one OCaml be installed and used in an easy way?
> Or should I forget this issue because of "mission impossible"
> or because of "that needs too much effort"?
I think you are looking for the opam -switch option.
It allows to "jump" from one version to another.
> (I use OCamlMakefile for building my stuff.)
>
> Any ideas on that?
>
>
> Ciao,
> Oliver
>
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: [Caml-list] Old and new OCaml installed on same machine?
2013-02-18 7:34 ` Roberto Di Cosmo
@ 2013-02-18 14:16 ` oliver
2013-02-25 0:50 ` oliver
1 sibling, 0 replies; 10+ messages in thread
From: oliver @ 2013-02-18 14:16 UTC (permalink / raw)
To: Roberto Di Cosmo; +Cc: caml-list
Hello,
On Mon, Feb 18, 2013 at 08:34:35AM +0100, Roberto Di Cosmo wrote:
> Dear Oliver,
> just use the Opam package manager for OCaml and you will be fine.
[...]
OPAM needs ocaml (>= 3.12.1)
and I have 3.11.2.
So this was not working.
But on IRC some people told me, I can use ocamlbrew, and it will
make all the installation stuff for me.
After some problems, it worked. :-)
So I can now switch between different OCaml-bversions.
I will try to install it also on that server, where I have no root access.
My experiences on my own box looked promising. :-)
Ciao,
Oliver
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: [Caml-list] Old and new OCaml installed on same machine?
2013-02-18 7:34 ` Roberto Di Cosmo
2013-02-18 14:16 ` oliver
@ 2013-02-25 0:50 ` oliver
2013-02-25 1:26 ` Francois Berenger
2013-02-27 1:28 ` oliver
1 sibling, 2 replies; 10+ messages in thread
From: oliver @ 2013-02-25 0:50 UTC (permalink / raw)
To: Roberto Di Cosmo; +Cc: caml-list
Hello Roberto,
On Mon, Feb 18, 2013 at 08:34:35AM +0100, Roberto Di Cosmo wrote:
> Dear Oliver,
> just use the Opam package manager for OCaml and you will be fine.
[...]
Do you mean something like ths following?!
===================================================================
oliver@siouxsie:~$ . ocamlbrew/ocaml-4.00.1/etc/ocamlbrew.bashrc
oliver@siouxsie:~$ opam install ocurl
The following actions will be performed:
- install ocurl.0.5.4
1 to install | 0 to reinstall | 0 to upgrade | 0 to downgrade | 0 to remove
=-=-= ocurl.0.5.4 =-=-=
The archive for ocurl.0.5.4 is in the local cache.
Extracting /home/oliver/ocamlbrew/ocaml-4.00.1/.opam/archives/ocurl.0.5.4+opam.tar.gz.
Building ocurl.0.5.4:
./configure
make
make install
The compilation of ocurl.0.5.4 failed.
Uninstalling ocurl.0.5.4:
ocamlfind remove curl
==== ERROR [while installing ocurl.0.5.4] ====
# command make
# path /home/oliver/ocamlbrew/ocaml-4.00.1/.opam/4.00.1/build/ocurl.0.5.4
# exit-code 2
# env-file /home/oliver/ocamlbrew/ocaml-4.00.1/.opam/4.00.1/build/ocurl.0.5.4/ocurl-1872ec.env
# stdout-file /home/oliver/ocamlbrew/ocaml-4.00.1/.opam/4.00.1/build/ocurl.0.5.4/ocurl-1872ec.out
# stderr-file /home/oliver/ocamlbrew/ocaml-4.00.1/.opam/4.00.1/build/ocurl.0.5.4/ocurl-1872ec.err
### stdout ###
make[1]: Entering directory `/home/oliver/ocamlbrew/ocaml-4.00.1/.opam/4.00.1/build/ocurl.0.5.4'
make[1]: Leaving directory `/home/oliver/ocamlbrew/ocaml-4.00.1/.opam/4.00.1/build/ocurl.0.5.4'
make[1]: Entering directory `/home/oliver/ocamlbrew/ocaml-4.00.1/.opam/4.00.1/build/ocurl.0.5.4'
ocamlc.opt -c curl.mli -o curl.cmi
ocamlc.opt -c curl.ml -o curl.cmo
ocamlc.opt -c -ccopt "-DHAVE_CONFIG_H -Wall" curl-helper.c
make[1]: Leaving directory `/home/oliver/ocamlbrew/ocaml-4.00.1/.opam/4.00.1/build/ocurl.0.5.4'
### stderr ###
...[truncated]
curl-helper.c:5460: error: for each function it appears in.)
curl-helper.c:5460: warning: type defaults to ‘int’ in declaration of ‘_curl_opt’
curl-helper.c: In function ‘handleDnsServers’:
curl-helper.c:5488: error: ‘CURLOPT_DNS_SERVERS’ undeclared (first use in this function)
curl-helper.c:5488: warning: type defaults to ‘int’ in declaration of ‘_curl_opt’
curl-helper.c: At top level:
curl-helper.c:6119: error: ‘CURL_VERSION_TLSAUTH_SRP’ undeclared here (not in a function)
curl-helper.c:6120: error: ‘CURL_VERSION_NTLM_WB’ undeclared here (not in a function)
make[1]: *** [curl-helper.o] Error 2
make: *** [all] Error 2
'opam install ocurl' failed.
oliver@siouxsie:~$
===================================================================
Ciao,
Oliver
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: [Caml-list] Old and new OCaml installed on same machine?
2013-02-25 0:50 ` oliver
@ 2013-02-25 1:26 ` Francois Berenger
2013-02-25 2:09 ` oliver
2013-02-27 1:28 ` oliver
1 sibling, 1 reply; 10+ messages in thread
From: Francois Berenger @ 2013-02-25 1:26 UTC (permalink / raw)
To: caml-list
On 02/25/2013 09:50 AM, oliver wrote:
> Hello Roberto,
>
>
> On Mon, Feb 18, 2013 at 08:34:35AM +0100, Roberto Di Cosmo wrote:
>> Dear Oliver,
>> just use the Opam package manager for OCaml and you will be fine.
> [...]
>
>
> Do you mean something like ths following?!
>
>
> ===================================================================
> oliver@siouxsie:~$ . ocamlbrew/ocaml-4.00.1/etc/ocamlbrew.bashrc
> oliver@siouxsie:~$ opam install ocurl
> The following actions will be performed:
> - install ocurl.0.5.4
> 1 to install | 0 to reinstall | 0 to upgrade | 0 to downgrade | 0 to remove
>
> =-=-= ocurl.0.5.4 =-=-=
> The archive for ocurl.0.5.4 is in the local cache.
> Extracting /home/oliver/ocamlbrew/ocaml-4.00.1/.opam/archives/ocurl.0.5.4+opam.tar.gz.
> Building ocurl.0.5.4:
> ./configure
> make
> make install
> The compilation of ocurl.0.5.4 failed.
> Uninstalling ocurl.0.5.4:
> ocamlfind remove curl
>
>
> ==== ERROR [while installing ocurl.0.5.4] ====
> # command make
> # path /home/oliver/ocamlbrew/ocaml-4.00.1/.opam/4.00.1/build/ocurl.0.5.4
> # exit-code 2
> # env-file /home/oliver/ocamlbrew/ocaml-4.00.1/.opam/4.00.1/build/ocurl.0.5.4/ocurl-1872ec.env
> # stdout-file /home/oliver/ocamlbrew/ocaml-4.00.1/.opam/4.00.1/build/ocurl.0.5.4/ocurl-1872ec.out
> # stderr-file /home/oliver/ocamlbrew/ocaml-4.00.1/.opam/4.00.1/build/ocurl.0.5.4/ocurl-1872ec.err
> ### stdout ###
> make[1]: Entering directory `/home/oliver/ocamlbrew/ocaml-4.00.1/.opam/4.00.1/build/ocurl.0.5.4'
> make[1]: Leaving directory `/home/oliver/ocamlbrew/ocaml-4.00.1/.opam/4.00.1/build/ocurl.0.5.4'
> make[1]: Entering directory `/home/oliver/ocamlbrew/ocaml-4.00.1/.opam/4.00.1/build/ocurl.0.5.4'
> ocamlc.opt -c curl.mli -o curl.cmi
> ocamlc.opt -c curl.ml -o curl.cmo
> ocamlc.opt -c -ccopt "-DHAVE_CONFIG_H -Wall" curl-helper.c
> make[1]: Leaving directory `/home/oliver/ocamlbrew/ocaml-4.00.1/.opam/4.00.1/build/ocurl.0.5.4'
> ### stderr ###
> ...[truncated]
In the truncated part it says (at least on my machine)
curl-helper.c:12:23: fatal error: curl/curl.h: No such file or directory
Which means you need to install the system package that will install
this file.
Regards,
F.
> curl-helper.c:5460: error: for each function it appears in.)
> curl-helper.c:5460: warning: type defaults to ‘int’ in declaration of ‘_curl_opt’
> curl-helper.c: In function ‘handleDnsServers’:
> curl-helper.c:5488: error: ‘CURLOPT_DNS_SERVERS’ undeclared (first use in this function)
> curl-helper.c:5488: warning: type defaults to ‘int’ in declaration of ‘_curl_opt’
> curl-helper.c: At top level:
> curl-helper.c:6119: error: ‘CURL_VERSION_TLSAUTH_SRP’ undeclared here (not in a function)
> curl-helper.c:6120: error: ‘CURL_VERSION_NTLM_WB’ undeclared here (not in a function)
> make[1]: *** [curl-helper.o] Error 2
> make: *** [all] Error 2
>
> 'opam install ocurl' failed.
> oliver@siouxsie:~$
> ===================================================================
>
>
> Ciao,
> Oliver
>
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: [Caml-list] Old and new OCaml installed on same machine?
2013-02-25 1:26 ` Francois Berenger
@ 2013-02-25 2:09 ` oliver
2013-02-25 8:07 ` Gabriel Kerneis
0 siblings, 1 reply; 10+ messages in thread
From: oliver @ 2013-02-25 2:09 UTC (permalink / raw)
To: Francois Berenger; +Cc: caml-list
On Mon, Feb 25, 2013 at 10:26:34AM +0900, Francois Berenger wrote:
> On 02/25/2013 09:50 AM, oliver wrote:
> >Hello Roberto,
> >
> >
> >On Mon, Feb 18, 2013 at 08:34:35AM +0100, Roberto Di Cosmo wrote:
> >>Dear Oliver,
> >> just use the Opam package manager for OCaml and you will be fine.
> >[...]
> >
> >
> >Do you mean something like ths following?!
> >
> >
> >===================================================================
> >oliver@siouxsie:~$ . ocamlbrew/ocaml-4.00.1/etc/ocamlbrew.bashrc
> >oliver@siouxsie:~$ opam install ocurl
> >The following actions will be performed:
> > - install ocurl.0.5.4
> >1 to install | 0 to reinstall | 0 to upgrade | 0 to downgrade | 0 to remove
> >
> >=-=-= ocurl.0.5.4 =-=-=
> >The archive for ocurl.0.5.4 is in the local cache.
> >Extracting /home/oliver/ocamlbrew/ocaml-4.00.1/.opam/archives/ocurl.0.5.4+opam.tar.gz.
> >Building ocurl.0.5.4:
> > ./configure
> > make
> > make install
> >The compilation of ocurl.0.5.4 failed.
> >Uninstalling ocurl.0.5.4:
> > ocamlfind remove curl
> >
> >
> >==== ERROR [while installing ocurl.0.5.4] ====
> ># command make
> ># path /home/oliver/ocamlbrew/ocaml-4.00.1/.opam/4.00.1/build/ocurl.0.5.4
> ># exit-code 2
> ># env-file /home/oliver/ocamlbrew/ocaml-4.00.1/.opam/4.00.1/build/ocurl.0.5.4/ocurl-1872ec.env
> ># stdout-file /home/oliver/ocamlbrew/ocaml-4.00.1/.opam/4.00.1/build/ocurl.0.5.4/ocurl-1872ec.out
> ># stderr-file /home/oliver/ocamlbrew/ocaml-4.00.1/.opam/4.00.1/build/ocurl.0.5.4/ocurl-1872ec.err
> >### stdout ###
> >make[1]: Entering directory `/home/oliver/ocamlbrew/ocaml-4.00.1/.opam/4.00.1/build/ocurl.0.5.4'
> >make[1]: Leaving directory `/home/oliver/ocamlbrew/ocaml-4.00.1/.opam/4.00.1/build/ocurl.0.5.4'
> >make[1]: Entering directory `/home/oliver/ocamlbrew/ocaml-4.00.1/.opam/4.00.1/build/ocurl.0.5.4'
> >ocamlc.opt -c curl.mli -o curl.cmi
> >ocamlc.opt -c curl.ml -o curl.cmo
> >ocamlc.opt -c -ccopt "-DHAVE_CONFIG_H -Wall" curl-helper.c
> >make[1]: Leaving directory `/home/oliver/ocamlbrew/ocaml-4.00.1/.opam/4.00.1/build/ocurl.0.5.4'
> >### stderr ###
> >...[truncated]
>
> In the truncated part it says (at least on my machine)
>
> curl-helper.c:12:23: fatal error: curl/curl.h: No such file or directory
>
> Which means you need to install the system package that will install
> this file.
[...]
Not me... opam should do this.
The OCaml 4.00 is installed by ocamlbrew/opam.
On my machine I have 3.11.2 from the old Linux dsitribution.
If ocamlbrew/OPAM is "the tool of choice" to install all versions of OCaml
locally (in my $HOME) and if it is able to handle different versions of
OCaml, and if it is able to install libraries (like ocurl),
then the problem should not have occured.
I have
libcurl-ocaml
and
libcurl-ocaml-dev
installed.
But even if not, OPAM should install the needed stuff.
Thats what the command "opam install ocurl" has to do.
If it fails, the infrastructure is not working
properly.
Ciao,
Oliver
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: [Caml-list] Old and new OCaml installed on same machine?
2013-02-25 2:09 ` oliver
@ 2013-02-25 8:07 ` Gabriel Kerneis
2013-02-25 9:03 ` Gabriel Scherer
0 siblings, 1 reply; 10+ messages in thread
From: Gabriel Kerneis @ 2013-02-25 8:07 UTC (permalink / raw)
To: oliver; +Cc: Francois Berenger, caml-list
Oliver,
On Mon, Feb 25, 2013 at 03:09:09AM +0100, oliver wrote:
> I have
> libcurl-ocaml
> and
> libcurl-ocaml-dev
> installed.
I guess you need to install libcurl-dev as well.
> But even if not, OPAM should install the needed stuff.
> Thats what the command "opam install ocurl" has to do.
I disagree: opam should not install package outside of its scope (i.e. OCaml
packages). You are trying to install an OCaml binding to the libcurl C library,
it seems fair to expect that you have the latter installed already.
> If it fails, the infrastructure is not working
> properly.
On the other hand, a more friendly error-message would be welcome (but this is a
libcurl issue, not an opam one).
Best,
--
Gabriel
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: [Caml-list] Old and new OCaml installed on same machine?
2013-02-25 8:07 ` Gabriel Kerneis
@ 2013-02-25 9:03 ` Gabriel Scherer
0 siblings, 0 replies; 10+ messages in thread
From: Gabriel Scherer @ 2013-02-25 9:03 UTC (permalink / raw)
To: Gabriel Kerneis; +Cc: oliver, Francois Berenger, caml-list
[-- Attachment #1: Type: text/plain, Size: 1797 bytes --]
While I don't like the form in which oliver's remark is expressed, I do
agree that the interface with non-OCaml libraries could be improved. First,
it is strange that not having a C library would fail during the compilation
step (with a non-obvious error message hidden in a sea of text) rather than
the configure step, which is precisely meant to detect this kind of missing
requirements. Second, GODI has a rather nice way to handle external
libraries (they are represented as specific virtualish packages that are
explicitly marked as represented an external dependency, and make it clear
what should be installed for a specific package) and handles configuration
nicely. I would expect the same of OPAM.
On Mon, Feb 25, 2013 at 9:07 AM, Gabriel Kerneis <kerneis@pps.jussieu.fr>wrote:
> Oliver,
>
> On Mon, Feb 25, 2013 at 03:09:09AM +0100, oliver wrote:
> > I have
> > libcurl-ocaml
> > and
> > libcurl-ocaml-dev
> > installed.
>
> I guess you need to install libcurl-dev as well.
>
> > But even if not, OPAM should install the needed stuff.
> > Thats what the command "opam install ocurl" has to do.
>
> I disagree: opam should not install package outside of its scope (i.e.
> OCaml
> packages). You are trying to install an OCaml binding to the libcurl C
> library,
> it seems fair to expect that you have the latter installed already.
>
> > If it fails, the infrastructure is not working
> > properly.
>
> On the other hand, a more friendly error-message would be welcome (but
> this is a
> libcurl issue, not an opam one).
>
> Best,
> --
> Gabriel
>
> --
> Caml-list mailing list. Subscription management and archives:
> https://sympa.inria.fr/sympa/arc/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>
[-- Attachment #2: Type: text/html, Size: 2588 bytes --]
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: [Caml-list] Old and new OCaml installed on same machine?
2013-02-25 0:50 ` oliver
2013-02-25 1:26 ` Francois Berenger
@ 2013-02-27 1:28 ` oliver
1 sibling, 0 replies; 10+ messages in thread
From: oliver @ 2013-02-27 1:28 UTC (permalink / raw)
To: Roberto Di Cosmo; +Cc: caml-list
On Mon, Feb 25, 2013 at 01:50:39AM +0100, oliver wrote:
> Hello Roberto,
>
>
> On Mon, Feb 18, 2013 at 08:34:35AM +0100, Roberto Di Cosmo wrote:
> > Dear Oliver,
> > just use the Opam package manager for OCaml and you will be fine.
> [...]
>
>
> Do you mean something like ths following?!
>
>
> ===================================================================
> oliver@siouxsie:~$ . ocamlbrew/ocaml-4.00.1/etc/ocamlbrew.bashrc
> oliver@siouxsie:~$ opam install ocurl
> The following actions will be performed:
> - install ocurl.0.5.4
> 1 to install | 0 to reinstall | 0 to upgrade | 0 to downgrade | 0 to remove
>
> =-=-= ocurl.0.5.4 =-=-=
> The archive for ocurl.0.5.4 is in the local cache.
> Extracting /home/oliver/ocamlbrew/ocaml-4.00.1/.opam/archives/ocurl.0.5.4+opam.tar.gz.
> Building ocurl.0.5.4:
> ./configure
> make
> make install
> The compilation of ocurl.0.5.4 failed.
> Uninstalling ocurl.0.5.4:
> ocamlfind remove curl
>
>
> ==== ERROR [while installing ocurl.0.5.4] ====
> # command make
> # path /home/oliver/ocamlbrew/ocaml-4.00.1/.opam/4.00.1/build/ocurl.0.5.4
[...]
[...]
> curl-helper.c:5488: error: ‘CURLOPT_DNS_SERVERS’ undeclared (first use in this function)
> curl-helper.c:5488: warning: type defaults to ‘int’ in declaration of ‘_curl_opt’
> curl-helper.c: At top level:
> curl-helper.c:6119: error: ‘CURL_VERSION_TLSAUTH_SRP’ undeclared here (not in a function)
> curl-helper.c:6120: error: ‘CURL_VERSION_NTLM_WB’ undeclared here (not in a function)
> make[1]: *** [curl-helper.o] Error 2
> make: *** [all] Error 2
[...]
This is solved now.
There is a new package ocurl 0.5.5 and the problem can then be solved this way:
$ opam update
$ opam install ocurl
Ciao,
Oliver
^ permalink raw reply [flat|nested] 10+ messages in thread
end of thread, other threads:[~2013-02-27 1:28 UTC | newest]
Thread overview: 10+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-02-18 7:22 [Caml-list] Old and new OCaml installed on same machine? oliver
2013-02-18 7:34 ` Roberto Di Cosmo
2013-02-18 14:16 ` oliver
2013-02-25 0:50 ` oliver
2013-02-25 1:26 ` Francois Berenger
2013-02-25 2:09 ` oliver
2013-02-25 8:07 ` Gabriel Kerneis
2013-02-25 9:03 ` Gabriel Scherer
2013-02-27 1:28 ` oliver
2013-02-18 7:43 ` Francois Berenger
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).