Bug 860387

Summary:	dev-ml/cinaps-0.15.1 fails to compile: Error: No implementations provided for the following modules:
Product:	Gentoo Linux	Reporter:	Agostino Sarubbo <ago>
Component:	Current packages	Assignee:	Gentoo Team for the ML programming language family <ml>
Status:	RESOLVED FIXED
Severity:	normal	CC:	gienah
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---
Attachments:	build.log

Description Agostino Sarubbo gentoo-dev

2022-07-24 07:36:12 UTC

https://blogs.gentoo.org/ago/2020/07/04/gentoo-tinderbox/

Issue: dev-ml/cinaps-0.15.1 fails to compile.
Discovered on: amd64 (internal ref: ci)

Comment 1 Agostino Sarubbo gentoo-dev

2022-07-24 07:36:14 UTC

Created attachment 793655 [details]
build.log

build log and emerge --info

Comment 2 Larry the Git Cow gentoo-dev

2022-09-23 19:37:21 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(-)