Dependencies in karamel.opam seem quite out of date

[msprotz]

I'm not sure we need ulex or even batteries anymore. I'm also wondering if there's a way to make the fstar dependency optional in case all we want to build is the library for the sake of e.g. building eurydice or scylla.

@tahina-pro any thoughts on old dependencies?

[vbramselaar]

Hi,

I have an issue with installing karamel via opam on debian 12. It gives an error like:

[ERROR] Package conflict!
  * Missing dependency:
    - conf-python-2-7
    depends on the unavailable system package 'python2.7'. Use `--no-depexts' to attempt installation anyway, or it
      is possible that a depext package name in the opam file is incorrect.

Does Karamel still depend on Python2? Or am I doing something wrong? I thought maybe this is relevant to this issue. I can create a separate issue if required of course.

EDIT: I think it comes from an older version of the z3 package in opam.

[msprotz]

I'm happy to remove this dependency if CI comes back green (and also ulex and batteries). Want to submit a PR?