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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
