Build:
- 0
2026-09-03 22:53.41: New job: build coqide.8.15.2 (aa4416c012e8) 2026-09-03 22:53.41: Waiting for resource in pool day11-builds 2026-09-03 23:40.40: Got resource from pool day11-builds 2026-09-03 23:40.40: [profile full] build coqide.8.15.2 2026-09-03 23:40.40: build coqide.8.15.2 (aa4416c012e8) === DEPENDENCIES (23 transitive) === base-bigarray.base 31ac6860ef52 base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e cairo2.0.6.5 7b1b6da16db9 camlp-streams.5.0.1 9517edcc2643 conf-adwaita-icon-theme.2 2df4351f623b conf-cairo.1 9e32499642c2 conf-findutils.1 ae9b487ad27c conf-gmp.5 eac5259e412f conf-gtk3.18 29bc2ce5fb33 conf-gtksourceview3.0+2 89f7273ce96d conf-pkg-config.5 74f50f3cfe72 coq.8.15.2 b7e3354dd646 csexp.1.5.2 3520bcf70246 dune.3.23.1 b3dc676669f4 dune-configurator.3.23.1 6e9ee12329f0 lablgtk3.3.1.5 94cc5651b130 lablgtk3-sourceview3.3.1.5 78b011ac5aa8 ocaml.4.14.4 c7d6265b51fe ocaml-base-compiler.4.14.4 7a409b6ffbef ocaml-config.2 85edea6ac168 ocamlfind.1.9.8 3cae95bed0a0 zarith.1.14 fc3f7a60e6b3 === STDOUT === Processing: [default: loading data] [coqide.8.15.2: extract] -> retrieved coqide.8.15.2 (cached) [coqide: ./configure no] + /home/opam/.opam/default/.opam-switch/build/coqide.8.15.2/./configure "-configdir" "/home/opam/.opam/default/lib/coq/config" "-prefix" "/home/opam/.opam/default" "-mandir" "/home/opam/.opam/default/man" "-docdir" "/home/opam/.opam/default/doc/coq" "-libdir" "/home/opam/.opam/default/lib/coq" "-datadir" "/home/opam/.opam/default/share/coq" "-native-compiler" "no" (CWD=/home/opam/.opam/default/.opam-switch/build/coqide.8.15.2) - You have OCaml 4.14.4. Good! - You have OCamlfind 1.9.8. Good! - You have native-code compilation. Good! - You have the Zarith library 1.14 installed. Good! - LablGtk3 and LablGtkSourceView3 found (3.1.5), with native threads: - => native CoqIDE will be built. - - Architecture : Linux - Sys.os_type : Unix - OCaml version : 4.14.4 - OCaml binaries in : /home/opam/.opam/default/bin/ - OCaml library in : /home/opam/.opam/default/lib/ocaml - Native dynamic link support : true - Lablgtk3 library in : - CoqIDE : opt - Documentation : None - 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 for true installation: - - Coq will be copied in /home/opam/.opam/default - - the Coq library will be copied in /home/opam/.opam/default/lib/coq - - the Coqide configuration files will be copied in /home/opam/.opam/default/lib/coq/config - - the Coqide data files will be copied in /home/opam/.opam/default/share/coq - - the Coq man pages will be copied in /home/opam/.opam/default/man - - documentation prefix path for all Coq packages will be copied in /home/opam/.opam/default/doc/coq - - 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'. [coqide: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "coqide" "-j" "39" (CWD=/home/opam/.opam/default/.opam-switch/build/coqide.8.15.2) -> compiled coqide.8.15.2 -> installed coqide.8.15.2 [WARNING] Opam packages conf-adwaita-icon-theme.2, conf-cairo.1, conf-gmp.5, conf-gtk3.18 and conf-gtksourceview3.0+2 depend on the following system packages that are no longer installed: adwaita-icon-theme libcairo2-dev libexpat1-dev libgmp-dev libgtk-3-dev libgtksourceview-3.0-dev - conf-adwaita-icon-theme.2: depends on adwaita-icon-theme - conf-cairo.1: depends on libcairo2-dev - conf-gmp.5: depends on libgmp-dev - conf-gtk3.18: depends on libexpat1-dev, libgtk-3-dev - conf-gtksourceview3.0+2: depends on libgtksourceview-3.0-dev === STDERR === 2026-09-03 23:42.36: OK: build coqide.8.15.2 (runc: 20.7s, disk: 10KB) 2026-09-03 23:42.36: Job succeeded