:: Synchronizing package databases...
 build-support-manual downloading...
 build-support downloading...
 core-staging downloading...
 extra-staging downloading...
 core-testing downloading...
 core downloading...
 extra-testing downloading...
 extra downloading...
:: Starting full system upgrade...
 there is nothing to do
==> Building in chroot for [extra-staging-with-build-support] (i686)...
==> Synchronizing chroot copy [/var/lib/archbuild/extra-staging-with-build-support-i686/root] -> [build]...done
==> Making package: coq 8.20.0-1.0 (Thu Nov  7 02:14:41 2024)
==> Retrieving sources...
  -> Found coq-8.20.0.tar.gz
  -> Found python-antlr4-4.9.3.tar.gz
==> Validating source files with b2sums...
    coq-8.20.0.tar.gz ... Passed
    python-antlr4-4.9.3.tar.gz ... Passed
gpg: Warning: using insecure memory!
==> Appending keys from archlinux32.gpg...
gpg: Warning: using insecure memory!
gpg: public key DB323392796CA067 is 3037 days newer than the signature
gpg: Warning: using insecure memory!
gpg: Warning: using insecure memory!
gpg: Warning: using insecure memory!
gpg: Warning: using insecure memory!
gpg: Warning: using insecure memory!
gpg: Warning: using insecure memory!
gpg: Warning: using insecure memory!
gpg: Warning: using insecure memory!
gpg: Warning: using insecure memory!
gpg: Warning: using insecure memory!
gpg: Warning: using insecure memory!
gpg: Warning: using insecure memory!
gpg: Warning: using insecure memory!
==> Updating trust database...
gpg: Warning: using insecure memory!
gpg: next trustdb check due at 2024-11-18
==> Making package: coq 8.20.0-1.0 (Thu Nov  7 02:14:49 2024)
==> Checking runtime dependencies...
==> Installing missing dependencies...
resolving dependencies...
looking for conflicting packages...

Packages (3) ocaml-compiler-libs-5.2.0-1.0  ocaml-5.2.0-1.0  ocaml-findlib-1.9.6-4.0

Total Installed Size:  108.37 MiB

:: Proceed with installation? [Y/n] 
checking keyring...
checking package integrity...
loading package files...
checking for file conflicts...
error: failed to commit transaction (conflicting files)
/usr/lib/ocaml/dynlink/META exists in both 'ocaml' and 'ocaml-findlib'
/usr/lib/ocaml/ocamldoc/META exists in both 'ocaml' and 'ocaml-findlib'
/usr/lib/ocaml/stdlib/META exists in both 'ocaml' and 'ocaml-findlib'
/usr/lib/ocaml/str/META exists in both 'ocaml' and 'ocaml-findlib'
/usr/lib/ocaml/threads/META exists in both 'ocaml' and 'ocaml-findlib'
/usr/lib/ocaml/unix/META exists in both 'ocaml' and 'ocaml-findlib'
/usr/lib/ocaml/compiler-libs/META exists in both 'ocaml-compiler-libs' and 'ocaml-findlib'
Errors occurred, no packages were upgraded.
==> ERROR: 'pacman' failed to install missing dependencies.
==> Missing dependencies:
  -> ocaml
  -> ocaml-findlib
==> Checking buildtime dependencies...
==> Installing missing dependencies...
resolving dependencies...
:: There are 2 providers available for libegl:
:: Repository extra-staging
   1) libglvnd
:: Repository extra
   2) libglvnd

Enter a number (default=1): 
:: There are 11 providers available for java-environment>=6:
:: Repository build-support
   1) jdk10-openjdk  2) jdk12-openjdk  3) jdk13-openjdk  4) jdk14-openjdk  5) jdk15-openjdk  6) jdk9-openjdk
:: Repository extra-staging
   7) jdk11-openjdk
:: Repository extra
   8) jdk-openjdk  9) jdk11-openjdk  10) jdk7-openjdk  11) jdk8-openjdk

Enter a number (default=1): warning: cannot resolve "jre10-openjdk=10.0.2.u13-1.0", a dependency of "jdk10-openjdk"
warning: cannot resolve "java-environment>=6", a dependency of "antlr4"

:: The following package cannot be upgraded due to unresolvable dependencies:
      antlr4

:: Do you want to skip the above package for this upgrade? [y/N] error: failed to prepare transaction (could not satisfy dependencies)

:: unable to satisfy dependency 'jre10-openjdk=10.0.2.u13-1.0' required by jdk10-openjdk
:: unable to satisfy dependency 'java-environment>=6' required by antlr4
==> ERROR: 'pacman' failed to install missing dependencies.
==> Missing dependencies:
  -> ocaml-num
  -> ocaml-zarith
  -> gtk3
  -> gtksourceview3
  -> dune
  -> git
  -> lablgtk3
  -> gendesk
  -> texlive-bin
  -> texlive-latexextra
  -> texlive-pictures
  -> texlive-fontsextra
  -> texlive-mathscience
  -> texlive-binextra
  -> fig2dev
  -> imagemagick
  -> hevea
  -> ghostscript
  -> python-pexpect
  -> python-beautifulsoup4
  -> antlr4
==> ERROR: Could not resolve all dependencies.
==> ERROR: Build failed, check /var/lib/archbuild/extra-staging-with-build-support-i686/build/build
used straw: :with_build_support:haskell_without_check:
build@euronuc.lan