Bug 881133 – dev-lang/idris2-0.6.0 - Error: Module Data.Nat not found

• Status: CONFIRMED
• Product: Gentoo Linux

[Description Toralf Förster 2022-11-12 18:10:21 UTC]

make[2]: Entering directory '/var/tmp/portage/dev-lang/idris2-0.6.0/work/Idris2-0.6.0/libs/linear'
/var/tmp/portage/dev-lang/idris2-0.6.0/work/Idris2-0.6.0/build/exec/idris2 --build linear.ipkg
 1/12: Building Data.Linear.Notation (Data/Linear/Notation.idr)
 2/12: Building Data.Linear.Bifunctor (Data/Linear/Bifunctor.idr)
Error: Module Data.Nat not found

Data.Linear.Copies:5:1--5:16

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

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.1_desktop_gnome-j4-20221110-170004

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

GNUMAKEFLAGS="$GNUMAKEFLAGS --jobserver-style=pipe"
GNUMAKEFLAGS="$GNUMAKEFLAGS --shuffle"
gcc-config -l:
 [1] x86_64-pc-linux-gnu-12 *
clang/llvm (if any):
clang version 15.0.4
Target: x86_64-pc-linux-gnu
Thread model: posix
InstalledDir: /usr/lib/llvm/15/bin
Configuration file: /etc/clang/clang.cfg
/usr/lib/llvm/15
15.0.4
Python 3.10.8
Available Ruby profiles:
  (none found)
Available Rust versions:
  [1]   rust-bin-1.65.0 *
The following VMs are available for generation-2:
1)	OpenJDK 17.0.5_p8 [openjdk-17]
2)	OpenJDK 8.345_p01 [openjdk-8]
*)	Eclipse Temurin JDK 17.0.5_p8 [openjdk-bin-17]
4)	Eclipse Temurin JDK 8.352_p08 [openjdk-bin-8]
5)	Eclipse Temurin JRE 17.0.5_p8 [openjdk-jre-bin-17]
Available Java Virtual Machines:
  [1]   openjdk-8 
  [2]   openjdk-17 
  [3]   openjdk-bin-8 
  [4]   openjdk-bin-17  system-vm
  [5]   openjdk-jre-bin-17 

php cli (if any):

  HEAD of ::gentoo
commit ddcce5583933141d900dffa1fc81f375b1ab1cd5
Author: Repository mirror & CI <[e-mail]>
Date:   Sat Nov 12 12:16:53 2022 +0000

    2022-11-12 12:16:52 UTC

emerge -qpvO dev-lang/idris2
[ebuild  N    ] dev-lang/idris2-0.6.0  USE="chez -doc -racket -test-full"

[Comment 1 Toralf Förster 2022-11-12 18:10:23 UTC]

Created attachment 832063 [details]
emerge-info.txt

[Comment 2 Toralf Förster 2022-11-12 18:10:24 UTC]

Created attachment 832065 [details]
dev-lang:idris2-0.6.0:20221112-130835.log

[Comment 3 Toralf Förster 2022-11-12 18:10:25 UTC]

Created attachment 832067 [details]
emerge-history.txt

[Comment 4 Toralf Förster 2022-11-12 18:10:27 UTC]

Created attachment 832069 [details]
environment

[Comment 5 Toralf Förster 2022-11-12 18:10:27 UTC]

Created attachment 832071 [details]
etc.clang.tar.bz2

[Comment 6 Toralf Förster 2022-11-12 18:10:28 UTC]

Created attachment 832073 [details]
etc.portage.tar.bz2

[Comment 7 Toralf Förster 2022-11-12 18:10:29 UTC]

Created attachment 832075 [details]
temp.tar.bz2