2026-09-03 22:53.41: New job: build coqide.8.14.1 (f20b96d8fba7)
2026-09-03 22:53.41: Waiting for resource in pool day11-builds
2026-09-03 23:40.50: Got resource from pool day11-builds
2026-09-03 23:40.50: [profile full] build coqide.8.14.1
2026-09-03 23:40.50: build coqide.8.14.1 (f20b96d8fba7)
=== 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.14.1                                         747cde86fa59
  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.14.1: extract]
-> retrieved coqide.8.14.1  (cached)
[coqide: ./configure no]
+ /home/opam/.opam/default/.opam-switch/build/coqide.8.14.1/./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.14.1)
- 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
-   Coq VM bytecode link flags  : -dllib -lcoqrun -dllpath /home/opam/.opam/default/lib/coq/kernel/byterun
-   Other bytecode link flags   : 
-   OCaml version               : 4.14.4
-   OCaml binaries in           : /home/opam/.opam/default/bin/
-   OCaml library in            : /home/opam/.opam/default/lib/ocaml
-   OCaml flambda flags         : 
-   Native dynamic link support : true
-   Lablgtk3 library in         : /home/opam/.opam/default/lib/lablgtk3-sourceview3
-   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:
-   - the Coq binaries will be copied in /home/opam/.opam/default/bin
-   - 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
-   - the Coq documentation will be copied in /home/opam/.opam/default/doc/coq
-   - the Coqdoc LaTeX files will be copied in /home/opam/.opam/default/share/texmf/tex/latex/misc
- 
- 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.14.1)
-> compiled  coqide.8.14.1
-> installed coqide.8.14.1
[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.53: OK: build coqide.8.14.1 (runc: 20.7s, disk: 10KB)
2026-09-03 23:42.53: Job succeeded