Le 29/02/2012 11:23, Pierre Boutillier a écrit :
> ssreflect and aactactics are OK
> 
> ulex does NOT depend anymore on camlp5 since v1.0:
> CHANGES:
> 1.0
>      * Update to the new Camlp4 and to ocamlbuild (release for OCaml 3.10
>        only), by Nicolas Pouillard.

Err... we were talking about ulex0.8, weren't we?

-- 
Stéphane



--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Reply via email to