39 | then String.sub s 0 i ^^^^^^^^^^^^^^^^ Error: This expression has type string but an expression was expected of type bytes make: *** [Makefile:1685: src/util/strings.cmx] Error 2 * ERROR: sci-mathematics/why3-0.83::science failed (compile phase): ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1_no-multilib-libressl_science-20201116-220441 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-10.2.0 * /usr/lib/llvm/11 11.0.0 Available Python interpreters, in order of preference: [1] python3.7 [2] python3.9 (fallback) [3] python3.8 (fallback) [4] python2.7 (fallback) The following VMs are available for generation-2: *) AdoptOpenJDK 8.272_p10 [openjdk-bin-8] Available Java Virtual Machines: [1] openjdk-bin-8 system-vm The Glorious Glasgow Haskell Compilation System, version 8.8.4 timestamp(s) of HEAD at this tinderbox image: /var/db/repos/gentoo Thu Nov 19 10:35:34 AM UTC 2020 /var/db/repos/libressl Sat Nov 7 03:06:11 PM UTC 2020 emerge -qpvO sci-mathematics/why3 [ebuild N ] sci-mathematics/why3-0.83 USE="-doc -examples -float -frama-c"
Created attachment 672919 [details] emerge-info.txt
Created attachment 672922 [details] emerge-history.txt
Created attachment 672925 [details] environment
Created attachment 672928 [details] etc.portage.tbz2
Created attachment 672931 [details] logs.tbz2
Created attachment 672934 [details] sci-mathematics:why3-0.83:20201119-113152.log
Created attachment 672937 [details] temp.tbz2
ebuild removed
