Hi, Le 10/05/2023 à 09:04, Cuihtlauac ALVARADO a écrit :
Once installed, to be usable, opam needs to be initialized. Here is the command: opam init
Indeed, the default repository is on HTTPS. However, if you have a local copy of the repository,
opam init --bare --disable-sandboxing default /path/to/repositoryworks without ca-certificates. So there exists a way to use opam without this package, hence the Recommends (I suppose, I didn't make the initial packaging myself). And by default, Recommends are installed, so opam with default settings works in Debian with default settings.
Similarly, git only recommends ca-certificates, and fails when cloning from HTTPS without it.
Cheers, -- Stéphane