Hi,
Frank Lichtenheld wrote:
your package failed to build from source because it couldn't
find the ocamlopt command. I'm honestly not sure whether this
is a bug in your build-depends or in ocaml-nox, which seems to
have provided this command in the past, but doesn't do so anymore.
Thanks! In
Package: coq
Version: 8.1~gamma-2
Severity: serious
Hi,
your package failed to build from source because it couldn't
find the ocamlopt command. I'm honestly not sure whether this
is a bug in your build-depends or in ocaml-nox, which seems to
have provided this command in the past, but doesn't do
2 matches
Mail list logo