On Wed, 28 Sep 2005 08:59:45 +0200
David MENTRE <david.mentre@gmail.com> wrote:

> Hello,
> 
> 2005/9/27, Samuel Mimram <samuel.mimram@ens-lyon.org>:
> [ About Config_file ]
> > Well, apparently it's now part of the new cameleon library which is
> > packaged in Debian. So I guess it's just a matter of time, until the
> > package gets updated.
> 
> While browsing the debian packaging of Cameleon, I noticed that there
> is a liboptions-ocaml-dev for cameleon 1.3. Is it the same library
> that we are speaking about or a different one?
>  http://packages.debian.org/stable/libdevel/liboptions-ocaml-dev

The Config_file library was originally the Options library included in Cameleon.
Jean-Baptiste Rouquier made from Options an object-oriented library,
Config_file, which is also easier to use. 
In Cameleon2, the Options library has been replaced by the Config_file library.
So the Config_file library can be retrieved separately or with Cameleon2.

Regards,

-- 
Maxence Guesdon