Build:
- 0
2026-06-24 11:28.35: New job: build coq-stdlib.8.17.1 (0b7445a275a9) 2026-06-24 11:28.35: Waiting for resource in pool day11-builds 2026-06-24 12:19.50: Got resource from pool day11-builds 2026-06-24 12:19.50: [profile full] build coq-stdlib.8.17.1 2026-06-24 12:19.50: build coq-stdlib.8.17.1 (0b7445a275a9) === DEPENDENCIES (11 transitive) === base-threads.base c9e7bdbf5823 base-unix.base 7d1428be9ddb conf-gmp.5 be11edf77089 conf-pkg-config.5 d5de2c6a88f9 coq-core.8.17.1 a1bb130c82c0 dune.3.23.1 e0b92eb669dd ocaml.5.2.1 ce2dc9fc0eff ocaml-base-compiler.5.2.1 88ed4056afb0 ocaml-config.3 2c9ee201ff82 ocamlfind.1.9.6 3a89949ac495 zarith.1.14 1762d95c22de === STDOUT === Processing: [default: loading data] [coq-stdlib.8.17.1: extract] -> retrieved coq-stdlib.8.17.1 (cached) [coq-stdlib: ./configure no] + /home/opam/.opam/default/.opam-switch/build/coq-stdlib.8.17.1/./configure "-prefix" "/home/opam/.opam/default" "-mandir" "/home/opam/.opam/default/man" "-libdir" "/home/opam/.opam/default/lib/coq" "-native-compiler" "no" (CWD=/home/opam/.opam/default/.opam-switch/build/coq-stdlib.8.17.1) - You have OCaml 5.2.1. Good! - You have OCamlfind 1.9.6. Good! - You have native-code compilation. Good! - You have the Zarith library 1.14 installed. Good! - - Architecture : Linux - Sys.os_type : Unix - OCaml version : 5.2.1 - OCaml binaries in : /home/opam/.opam/default/bin/ - OCaml library in : /home/opam/.opam/default/lib/ocaml - Web browser : firefox -remote "OpenURL(%s,new-tab)" || firefox %s & - Coq web site : http://coq.inria.fr/ - Bytecode VM enabled : true - Native Compiler enabled : no - - Paths where installation is expected by Coq Makefile: - - Coq is expected in /home/opam/.opam/default - - the Coq library is expected in /home/opam/.opam/default/lib/coq - - the Coqide configuration files is expected in /home/opam/.opam/default/etc/xdg/coq - - the Coqide data files is expected in /home/opam/.opam/default/share/coq - - the Coq man pages is expected in /home/opam/.opam/default/man - - documentation prefix path for all Coq packages is expected in /home/opam/.opam/default/share/doc - - If anything is wrong above, please restart './configure'. - - *Warning* To compile the system for a new architecture - don't forget to do a 'make clean' before './configure'. [coq-stdlib: make dunestrap] + /usr/bin/make "dunestrap" "COQ_DUNE_EXTRA_OPT=-split" (CWD=/home/opam/.opam/default/.opam-switch/build/coq-stdlib.8.17.1) - dune build --root . theories_dune ltac2_dune - File "_none_", line 1: - Warning 58 [no-cmx-file]: no cmx file was found in path for module Findlib, and its interface was not compiled with -opaque - - File "_none_", line 1: - Warning 58 [no-cmx-file]: no cmx file was found in path for module Fl_metascanner, and its interface was not compiled with -opaque - - File "_none_", line 1: - Warning 58 [no-cmx-file]: no cmx file was found in path for module Fl_package_base, and its interface was not compiled with -opaque - File "_none_", line 1: - Warning 58 [no-cmx-file]: no cmx file was found in path for module Findlib, and its interface was not compiled with -opaque - - File "_none_", line 1: - Warning 58 [no-cmx-file]: no cmx file was found in path for module Fl_package_base, and its interface was not compiled with -opaque - touch .dune-stamp - cp -a _build/default/theories_dune theories/dune && chmod +w theories/dune - cp -a _build/default/ltac2_dune user-contrib/Ltac2/dune && chmod +w user-contrib/Ltac2/dune [coq-stdlib: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "coq-stdlib" "-j" "39" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/coq-stdlib.8.17.1) -> compiled coq-stdlib.8.17.1 -> installed coq-stdlib.8.17.1 [WARNING] Opam package conf-pkg-config.5 depends on the following system package that can no longer be found: pkg-config === STDERR === 2026-06-24 12:57.27: OK: build coq-stdlib.8.17.1 (runc: 836.3s, disk: 9KB) 2026-06-24 12:57.27: Job succeeded