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