Le Tue, 16 Nov 2021 11:10:43 +0100, zimoun a écrit : > Hi, > > It is possible to use another OPAM repository when importing, for > instance "guix import opam --repo=https://coq.inria.fr/opam/released" > -- although Coq packages are generally not built using OCaml or Dune > build-system, another story. :-) Or even, a package using OCaml or > Dune build system but not included in Opam repositories supported by > Guix. > Hi, I already had a patch for that, which is a bit more complex, at https://issues.guix.gnu.org/51091. WDYT?