Dear Silas, Le 02/07/2023 à 19:18, Silas a écrit :
I've been directed to take a look at opam-debian-switch to identify ways to contribute to the project, and I've been trying to replicate the workflow described in the Readme. [...]
I'm so sorry, I just only saw your e-mail.I must admit opam-debian-switch is a bit hackish at the moment... I updated it the day before yesterday, and it mostly works. You just have to apt-install xdot in the chroot manually, and remove ppx-globalize from opams-to-install before running setup-opam.sh.
Cheers, -- Stéphane