Bug 909444 – sci-mathematics/coq-serapi-0.17.0 - Error: Unbound module Stdlib.List

• Status: CONFIRMED
• Product: Gentoo Linux

[Description Toralf Förster 2023-07-01 14:45:32 UTC]

      ocamlc serlib/.serlib.objs/byte/serlib__Ser_tacred.{cmi,cmo,cmt}
      ocamlc serlib/.serlib.objs/byte/serlib__Ser_univNames.{cmi,cmo,cmt}
      ocamlc serlib/.serlib.objs/byte/serlib__Ser_tactics.{cmo,cmt}
      ocamlc serlib/.serlib.objs/byte/serlib__Ser_vmbytecodes.{cmi,cmo,cmt}
      ocamlc serlib/.serlib.objs/byte/serlib__Ser_genintern.{cmo,cmt} (exit 2)
File "interp/genintern.mli", lines 17-23, characters 0-1:
Error: Unbound module Stdlib.List
      ocamlc serlib/.serlib.objs/byte/serlib__Ser_univ.{cmo,cmt}
      ocamlc serlib/.serlib.objs/byte/serlib__Ser_vernacextend.{cmi,cmo,cmt}

  -------------------------------------------------------------------

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.1_desktop_plasma-20230629-074504

  -------------------------------------------------------------------

gcc-config -l:
 [1] x86_64-pc-linux-gnu-10
 [2] x86_64-pc-linux-gnu-13 *
clang/llvm (if any):
clang version 16.0.6
Target: x86_64-pc-linux-gnu
Thread model: posix
InstalledDir: /usr/lib/llvm/16/bin
Configuration file: /etc/clang/clang.cfg
/usr/lib/llvm/16
16.0.6
Python 3.11.4
Available Ruby profiles:
  [1]   ruby31 (with Rubygems) *
Available Rust versions:
  [1]   rust-1.69.0 *
The following VMs are available for generation-2:
*)	Eclipse Temurin JDK 17.0.7_p7 [openjdk-bin-17]
2)	Eclipse Temurin JDK 8.372_p07 [openjdk-bin-8]
3)	Eclipse Temurin JRE 17.0.7_p7 [openjdk-jre-bin-17]
Available Java Virtual Machines:
  [1]   openjdk-bin-8 
  [2]   openjdk-bin-17  system-vm
  [3]   openjdk-jre-bin-17 

php cli (if any):
  [1]   php8.1
  [2]   php8.2 *
go version go1.20.5 linux/amd64

  HEAD of ::gentoo
commit ae239d0e9a312f5c7e62799126db81d641378081
Author: Repository mirror & CI <[e-mail]>
Date:   Sat Jul 1 11:31:57 2023 +0000

    2023-07-01 11:31:57 UTC

emerge -qpvO sci-mathematics/coq-serapi
[ebuild  N    ] sci-mathematics/coq-serapi-0.17.0  USE="ocamlopt -emacs -test"

[Comment 1 Toralf Förster 2023-07-01 14:45:33 UTC]

Created attachment 864965 [details]
emerge-info.txt

[Comment 2 Toralf Förster 2023-07-01 14:45:35 UTC]

Created attachment 864966 [details]
emerge-history.txt

[Comment 3 Toralf Förster 2023-07-01 14:45:36 UTC]

Created attachment 864967 [details]
environment

[Comment 4 Toralf Förster 2023-07-01 14:45:37 UTC]

Created attachment 864968 [details]
etc.clang.tar.xz

[Comment 5 Toralf Förster 2023-07-01 14:45:37 UTC]

Created attachment 864969 [details]
etc.portage.tar.xz

[Comment 6 Toralf Förster 2023-07-01 14:45:38 UTC]

Created attachment 864970 [details]
sci-mathematics:coq-serapi-0.17.0:20230701-132633.log

[Comment 7 Toralf Förster 2023-07-01 14:45:39 UTC]

Created attachment 864971 [details]
temp.tar.xz