| Summary: | sci-mathematics/coq-serapi-0.17.0 - Error: Unbound module Stdlib.List | ||
|---|---|---|---|
| Product: | Gentoo Linux | Reporter: | Toralf Förster <toralf> |
| Component: | Current packages | Assignee: | Gentoo Science Mathematics related packages <sci-mathematics> |
| Status: | CONFIRMED --- | ||
| Severity: | normal | ||
| Priority: | Normal | ||
| Version: | unspecified | ||
| Hardware: | All | ||
| OS: | Linux | ||
| Whiteboard: | |||
| Package list: | Runtime testing required: | --- | |
| Attachments: |
emerge-info.txt
emerge-history.txt environment etc.clang.tar.xz etc.portage.tar.xz sci-mathematics:coq-serapi-0.17.0:20230701-132633.log temp.tar.xz |
||
Created attachment 864965 [details]
emerge-info.txt
Created attachment 864966 [details]
emerge-history.txt
Created attachment 864967 [details]
environment
Created attachment 864968 [details]
etc.clang.tar.xz
Created attachment 864969 [details]
etc.portage.tar.xz
Created attachment 864970 [details]
sci-mathematics:coq-serapi-0.17.0:20230701-132633.log
Created attachment 864971 [details]
temp.tar.xz
|
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 <repomirrorci@gentoo.org> 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"