Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 860273 - dev-ml/opam-solver-2.1.2 - Error: No implementations provided for the following modules:
Summary: dev-ml/opam-solver-2.1.2 - Error: No implementations provided for the followi...
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal
Assignee: Gentoo Team for the ML programming language family
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2022-07-23 14:02 UTC by Toralf Förster
Modified: 2022-09-23 19:37 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---


Attachments
emerge-info.txt (emerge-info.txt,18.08 KB, text/plain)
2022-07-23 14:02 UTC, Toralf Förster
Details
dev-ml:opam-solver-2.1.2:20220723-134631.log (dev-ml:opam-solver-2.1.2:20220723-134631.log,23.03 KB, text/plain)
2022-07-23 14:02 UTC, Toralf Förster
Details
emerge-history.txt (emerge-history.txt,197.60 KB, text/plain)
2022-07-23 14:02 UTC, Toralf Förster
Details
environment (environment,26.89 KB, text/plain)
2022-07-23 14:02 UTC, Toralf Förster
Details
etc.portage.tar.bz2 (etc.portage.tar.bz2,9.37 KB, application/x-bzip)
2022-07-23 14:02 UTC, Toralf Förster
Details
logs.tar.bz2 (logs.tar.bz2,6.29 KB, application/x-bzip)
2022-07-23 14:02 UTC, Toralf Förster
Details
temp.tar.bz2 (temp.tar.bz2,12.23 KB, application/x-bzip)
2022-07-23 14:02 UTC, Toralf Förster
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Toralf Förster gentoo-dev 2022-07-23 14:02:02 UTC
Use Cmd.group and one of Cmd.eval* instead.
File "_none_", line 1:   
Error: Module `Seq' is unavailable (required by `Re__Core')
File "_none_", line 1:   
Error: No implementations provided for the following modules:
         Seq referenced from /usr/lib64/ocaml/re/re.cmxa(Re__Core)
 [ !! ]                  

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

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

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

gcc-config -l:
 [1] x86_64-pc-linux-gnu-9.3.1
 [2] x86_64-pc-linux-gnu-12.1.1 *
clang/llvm (if any):
clang version 14.0.6
Target: x86_64-pc-linux-gnu
Thread model: posix
InstalledDir: /usr/lib/llvm/14/bin
/usr/lib/llvm/14
14.0.6
Python 3.10.5
Available Ruby profiles:
  [1]   ruby27 (with Rubygems)
  [2]   ruby31 (with Rubygems) *
Available Rust versions:
  [1]   rust-bin-1.62.1 *
The following VMs are available for generation-2:
1)	Eclipse Temurin JDK 11.0.15_p10 [openjdk-bin-11]
2)	Eclipse Temurin JDK 17.0.3_p7 [openjdk-bin-17]
*)	Eclipse Temurin JDK 8.332_p09 [openjdk-bin-8]
Available Java Virtual Machines:
  [1]   openjdk-bin-8  system-vm
  [2]   openjdk-bin-11 
  [3]   openjdk-bin-17 

The Glorious Glasgow Haskell Compilation System, version 8.10.4
php cli:

  HEAD of ::gentoo
commit b542ef4a4d5e343617115f29b72a3b73ed29a0ef
Author: Repository mirror & CI <repomirrorci@gentoo.org>
Date:   Sat Jul 23 13:01:41 2022 +0000

    2022-07-23 13:01:41 UTC

emerge -qpvO dev-ml/opam-solver
[ebuild  N    ] dev-ml/opam-solver-2.1.2  USE="ocamlopt -test"
Comment 1 Toralf Förster gentoo-dev 2022-07-23 14:02:04 UTC
Created attachment 793472 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2022-07-23 14:02:05 UTC
Created attachment 793475 [details]
dev-ml:opam-solver-2.1.2:20220723-134631.log
Comment 3 Toralf Förster gentoo-dev 2022-07-23 14:02:07 UTC
Created attachment 793478 [details]
emerge-history.txt
Comment 4 Toralf Förster gentoo-dev 2022-07-23 14:02:08 UTC
Created attachment 793481 [details]
environment
Comment 5 Toralf Förster gentoo-dev 2022-07-23 14:02:09 UTC
Created attachment 793484 [details]
etc.portage.tar.bz2
Comment 6 Toralf Förster gentoo-dev 2022-07-23 14:02:10 UTC
Created attachment 793487 [details]
logs.tar.bz2
Comment 7 Toralf Förster gentoo-dev 2022-07-23 14:02:11 UTC
Created attachment 793490 [details]
temp.tar.bz2
Comment 8 Larry the Git Cow gentoo-dev 2022-09-23 19:37:19 UTC
The bug has been closed via the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c11a7b766f06375420ac3e79a2df367f58a11dcc

commit c11a7b766f06375420ac3e79a2df367f58a11dcc
Author:     Alfredo Tupone <tupone@gentoo.org>
AuthorDate: 2022-09-23 19:35:14 +0000
Commit:     Alfredo Tupone <tupone@gentoo.org>
CommitDate: 2022-09-23 19:35:14 +0000

    dev-ml/re: seq is provided by ocaml
    
    Closes: https://bugs.gentoo.org/871993
    Closes: https://bugs.gentoo.org/860387
    Closes: https://bugs.gentoo.org/860273
    
    Signed-off-by: Alfredo Tupone <tupone@gentoo.org>

 dev-ml/re/{re-1.10.4.ebuild => re-1.10.4-r1.ebuild} | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)