Build:
- 0
2026-10-07 21:19.56: New job: build bn128.0.1.3 (519b09789120) 2026-10-07 21:19.56: Waiting for resource in pool day11-builds 2026-10-07 21:21.50: Got resource from pool day11-builds 2026-10-07 21:21.50: [profile oxcaml-odoc-master] build bn128.0.1.3 2026-10-07 21:21.50: build bn128.0.1.3 (519b09789120) === DEPENDENCIES (9 transitive) === conf-autoconf.1 8ee1e3913008 conf-gmp.5 c2adbec9a470 conf-which.1 65c43ca119c3 ocaml.5.2.0 b8c350f4f1ad ocaml-config.3 2c72b422dfc3 ocaml-variants.5.2.0+ox 60cb73ac7801 ocamlfind.1.9.8+ox 70bd5761d4de oxcaml-compiler.5.2.0minus39 c47b62237187 zarith.1.12+ox3 306ab9da56c7 === STDOUT === Processing: [default: loading data] [bn128.0.1.3: dl] [bn128.0.1.3: extract] -> retrieved bn128.0.1.3 (https://opam.ocaml.org/cache) [bn128: make] + /usr/bin/make (CWD=/home/opam/.opam/default/.opam-switch/build/bn128.0.1.3) - ocamlfind c -c bN128Elements.mli -package zarith - ocamlfind c -c bN128Elements.ml -package zarith - ocamlfind c -c bN128Curve.mli -package zarith - ocamlfind c -c bN128Curve.ml -package zarith - ocamlfind c -c bN128Pairing.mli -package zarith - ocamlfind c -c bN128Pairing.ml -package zarith - ocamlfind c -a bN128Elements.cmo bN128Curve.cmo bN128Pairing.cmo -o bn128.cma -package zarith - ocamlfind opt -c bN128Elements.ml -package zarith - ocamlfind opt -c bN128Curve.ml -package zarith - ocamlfind opt -c bN128Pairing.ml -package zarith - ocamlfind opt -a bN128Elements.cmx bN128Curve.cmx bN128Pairing.cmx -o bn128.cmxa -package zarith -> compiled bn128.0.1.3 [bn128: make install] + /usr/bin/make "install" (CWD=/home/opam/.opam/default/.opam-switch/build/bn128.0.1.3) - ocamlfind c -a bN128Elements.cmo bN128Curve.cmo bN128Pairing.cmo -o bn128.cma -package zarith - ocamlfind opt -a bN128Elements.cmx bN128Curve.cmx bN128Pairing.cmx -o bn128.cmxa -package zarith - ocamlfind install bn128 META bn128.cma bn128.cmxa bn128.a *.cmx *.cmo *.cmi *.mli - Installed /home/opam/.opam/default/lib/bn128/bn128Test.mli - Installed /home/opam/.opam/default/lib/bn128/bN128Pairing.mli - Installed /home/opam/.opam/default/lib/bn128/bN128Elements.mli - Installed /home/opam/.opam/default/lib/bn128/bN128Curve.mli - Installed /home/opam/.opam/default/lib/bn128/bN128Pairing.cmi - Installed /home/opam/.opam/default/lib/bn128/bN128Elements.cmi - Installed /home/opam/.opam/default/lib/bn128/bN128Curve.cmi - Installed /home/opam/.opam/default/lib/bn128/bN128Pairing.cmo - Installed /home/opam/.opam/default/lib/bn128/bN128Elements.cmo - Installed /home/opam/.opam/default/lib/bn128/bN128Curve.cmo - Installed /home/opam/.opam/default/lib/bn128/bN128Pairing.cmx - Installed /home/opam/.opam/default/lib/bn128/bN128Elements.cmx - Installed /home/opam/.opam/default/lib/bn128/bN128Curve.cmx - Installed /home/opam/.opam/default/lib/bn128/bn128.a - Installed /home/opam/.opam/default/lib/bn128/bn128.cmxa - Installed /home/opam/.opam/default/lib/bn128/bn128.cma - Installed /home/opam/.opam/default/lib/bn128/META -> installed bn128.0.1.3 [WARNING] Opam package conf-gmp.5 depends on the following system package that can no longer be found: libgmp-dev === STDERR === 2026-10-07 21:22.02: OK: build bn128.0.1.3 (runc: 3.6s, disk: 8KB) 2026-10-07 21:22.02: Job succeeded