Package lens.1.2.5: Migration to ppxlib

[pdonadeo]

No description provided.

[camelus]

Commit: 8a8b8c6

@pdonadeo has posted 20 contributions.

☀️ All lint checks passed 8a8b8c6

• These packages passed lint tests: lens.1.2.5

---

☀️ Installability check (+1)

• new installable packages (1): lens.1.2.5

[kit-ty-kate]

Are you sure this is still the case? It seems to conflict with your changelog

[pdonadeo]

Of course you are right, I forgot to update the opam file. I'm going to submit again. @kit-ty-kate

[kit-ty-kate]

@pdonadeo could you return the fix in the opam upstream? I'm not sure ppxlib should be tagged as {build} because i don't know if it has a runtime (or if not, will always have none).
Also constraints were missing. The switch to ppxlib occurred in ppx_deriving 5.0 and you're using features from ppxlib 0.14 so i added the missing constraints.

[kit-ty-kate]

Also, I'm gonna put my ppx_deriving maintainer hat on for a second: the ppx_deriving API is deprecated and if you have time to switch it would be better to use ppxlib directly. See ocaml-ppx/ppx_deriving#250
If you don't have the time to do this, don't worry the API will still be there for a reasonable amount of time (until it gets prohibitively expensive to maintain or something like that)

[kit-ty-kate]

Good to go now. Thanks!

[pdonadeo]

Thanks to you @kit-ty-kate for your job 😃