← Back to PR #29228
Build Log: proven.0.9.0
Status: FAILURE
Log Output
Processing: [default: loading data]
[proven.0.9.0: http]
[proven.0.9.0: extract]
-> retrieved proven.0.9.0 (https://github.com/hyperpolymath/proven/archive/refs/tags/v0.9.0.tar.gz)
[proven: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "proven" "-j" "255" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/proven.0.9.0)
- File "bindings/ocaml/dune-project", line 1, characters 0-35:
- 1 | ; SPDX-License-Identifier: PMPL-1.0
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Error: Invalid first line, expected: (lang <lang> <version>)
[ERROR] The compilation of proven.0.9.0 failed at "dune build -p proven -j 255 @install".
build failed...
Dependency Graph
Loading graph...
View raw DOT format
digraph opam {
"dune.3.21.0" -> {"base-threads.base" "base-unix.base" "ocaml.5.4.0"}
"ocaml.5.4.0" -> {"ocaml-base-compiler.5.4.0" "ocaml-config.3"}
"ocaml-base-compiler.5.4.0" -> "ocaml-compiler.5.4.0";
"ocaml-config.3" -> "ocaml-base-compiler.5.4.0";
"proven.0.9.0" -> {"dune.3.21.0" "ocaml.5.4.0"}
}