[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#467563: camlp5 strict mode?

ssreflect and aactactics are OK

ulex does NOT depend anymore on camlp5 since v1.0:
* Update to the new Camlp4 and to ocamlbuild (release for OCaml 3.10
       only), by Nicolas Pouillard.

geneweb has the same uptream author than camlp5 and works in strict.

Le 29 févr. 12 à 10:19, Hendrik Tews a écrit :

Pierre Boutillier writes:

  Why do we keep a camlp5 in transitionnal mode ?

I assumed somebody needs transitional mode. Supporting only
strict mode is of course much simpler.

  For packages, Coq and ledit support strict mode. The only remaining
  question is about ulex.

How about ssreflect?



To UNSUBSCRIBE, email to debian-ocaml-maint-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
Archive: 20301.60853.135902.545859@blau.inf.tu-dresden.de">http://lists.debian.org/20301.60853.135902.545859@blau.inf.tu-dresden.de

Reply to: