debian-ocaml-maint Mar 2001 by subject

[previous page]

Page 1 of 1

[next page]

[Thread Index] [Date Index] [Author Index] [Other Debian Lists] [Debian Home]

.configure and Makefile.in

Georges Mariano Mar 23
Ralf Treinen Mar 24
Jean-Francois Monin Mar 24
Ralf Treinen Mar 24
Sven LUTHER Mar 24
Ralf Treinen Mar 25
Jean-Christophe Filliatre Mar 26

[gerd@gerd-stolpmann.de: Re: status of ocamlfindlib]

Stefano Zacchiroli Mar 28

compiling ocaml stuff (... gwml, efuns)

Georges Mariano Mar 14
Sven LUTHER Mar 14
Brent Fulgham Mar 15
Georges Mariano Mar 15
Sven LUTHER Mar 15
Remi VANICAT Mar 15
Sven LUTHER Mar 15
Brent Fulgham Mar 25

coq package

Georges Mariano Mar 29
Sven LUTHER Mar 29

emacs dependency ...

Sven LUTHER Mar 28
Ralf Treinen Mar 28
Sven LUTHER Mar 28

findlib 0.5.1: OCAML_FINDLIB_CONF works ?

Stefano Zacchiroli Mar 30
Gerd Stolpmann Mar 31

Re: findlib-0.5-test1

Stefano Zacchiroli Mar 02
Sven LUTHER Mar 02
Stefano Zacchiroli Mar 02
Sven LUTHER Mar 02
Georges Mariano Mar 02
Stefano Zacchiroli Mar 02
Georges Mariano Mar 02
Stefano Zacchiroli Mar 02
Gerd Stolpmann Mar 03

findlib-0.5-test2

Gerd Stolpmann Mar 04
Stefano Zacchiroli Mar 05
Gerd Stolpmann Mar 05

findlib-0.5.1

Gerd Stolpmann Mar 27
Stefano Zacchiroli Mar 28
Stefano Zacchiroli Mar 29

first use of ocaml-findlib

Stefano Zacchiroli Mar 31
Stefano Zacchiroli Mar 31

ITP: ocaml-tools

Ralf Treinen Mar 24
Sven LUTHER Mar 24
Ralf Treinen Mar 25
Jean-Francois Monin Mar 25
Ralf Treinen Mar 26
Jean-Francois Monin Mar 28

ledit and ile

Ralf Treinen Mar 26

ledit, ile and readline

Ralf Treinen Mar 28

Nothing particular except ...

Georges Mariano Mar 28

ocaml 3.01 ...

Sven LUTHER Mar 09
Georges Mariano Mar 09
Sven LUTHER Mar 09
Sven LUTHER Mar 09

ocaml 3.01 / potato

Georges Mariano Mar 30
Garry Roseman Mar 30
Sven LUTHER Mar 30

ocaml-deb documentation packaging

Georges Mariano Mar 26
Ralf Treinen Mar 26
Georges Mariano Mar 27
Sven LUTHER Mar 27
Georges Mariano Mar 27
Sven LUTHER Mar 27
Georges Mariano Mar 27
Ian Zimmerman Mar 27

ocaml-doc 3.01 ?

Sven LUTHER Mar 15
Ian Zimmerman Mar 15

ocaml-tools 1.0

Ralf Treinen Mar 27

ocamldebian for potato

Georges Mariano Mar 29
Sven LUTHER Mar 29
Sven LUTHER Mar 29
Georges Mariano Mar 29
Sven LUTHER Mar 29

OCamlDebian/potato

Georges Mariano Mar 29

ocamlnet ??

Georges Mariano Mar 29

splitting the ocaml package ???

Sven LUTHER Mar 22
Stefano Zacchiroli Mar 22
Sven LUTHER Mar 22
Stefano Zacchiroli Mar 22
Georges Mariano Mar 23
Claudio Sacerdoti Coen Mar 23
Jean-Francois Monin Mar 23
Georges Mariano Mar 23
Sven LUTHER Mar 24
Sven LUTHER Mar 24
Stefano Zacchiroli Mar 24
Jean-Francois Monin Mar 24
Sven LUTHER Mar 24
Remi VANICAT Mar 26
Sven LUTHER Mar 26
Georges Mariano Mar 26
Remi VANICAT Mar 26
Stefano Zacchiroli Mar 26
Georges Mariano Mar 26
Stefano Zacchiroli Mar 26
Ralf Treinen Mar 26
Ralf Treinen Mar 26
Stefano Zacchiroli Mar 26
Ralf Treinen Mar 26
Ian Zimmerman Mar 27
Sven LUTHER Mar 27
Sven LUTHER Mar 27
Ruchira Datta Mar 27
Ruchira Datta Mar 27
Sven LUTHER Mar 28
Sven LUTHER Mar 29
Georges Mariano Mar 29
Sven LUTHER Mar 29

status of ocamlfindlib

Stefano Zacchiroli Mar 22
Stefano Zacchiroli Mar 26
Gerd Stolpmann Mar 27

tuareg et/ou ocaml-dev ?

Ralf Treinen Mar 10
Georges Mariano Mar 11
Ralf Treinen Mar 11
Sven LUTHER Mar 12
Sven LUTHER Mar 12
Sven LUTHER Mar 12
Ralf Treinen Mar 13
Ralf Treinen Mar 13
Ian Zimmerman Mar 14
Jean-Francois Monin Mar 14
Sven LUTHER Mar 14
Ralf Treinen Mar 14
Ian Zimmerman Mar 15
Sven LUTHER Mar 15
Ian Zimmerman Mar 15
Remi VANICAT Mar 15
Ian Zimmerman Mar 15

The last update was on 06:05 GMT Sun May 12. There are 127 messages. Page 1 of 1.

[previous month]

[first page]

[previous page]

Page 1 of 1

[next page]

[last page]

[next month]

[Thread Index] [Subject Index] [Author Index] [Other Debian Lists] [Debian Home]

Mail converted by MHonArc