Bug 948488

Summary:	dev-ml/re-1.13.0-r1 fails to compile: Error: Version 3.12 of the dune language is not supported
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
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---
Attachments:	build.log

Description Agostino Sarubbo gentoo-dev

2025-01-21 08:05:54 UTC

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

Issue: dev-ml/re-1.13.0-r1 fails to compile.
Discovered on: amd64 (internal ref: tinderbox-stable)

Info about the issue:
https://wiki.gentoo.org/wiki/Project:Tinderbox/Common_Issues_Helper#CF0014

Comment 1 Agostino Sarubbo gentoo-dev

2025-01-21 08:05:55 UTC

Created attachment 917206 [details]
build.log

build log and emerge --info

Comment 2 Agostino Sarubbo gentoo-dev

2025-01-21 08:05:55 UTC

If you think this bug has already been resolved in major version(s), then please remove the affected versions from the tree.

Comment 3 Larry the Git Cow gentoo-dev

2025-04-12 12:33:29 UTC

The bug has been closed via the following commit(s):

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

commit 555d9dd45a1cbfb7fc3ca51e8397b40ce10aa08a
Author:     Alfredo Tupone <tupone@gentoo.org>
AuthorDate: 2025-04-12 12:32:36 +0000
Commit:     Alfredo Tupone <tupone@gentoo.org>
CommitDate: 2025-04-12 12:33:13 +0000

    dev-ml/re: fix BDEPD on dune
    
    Closes: https://bugs.gentoo.org/948488
    Signed-off-by: Alfredo Tupone <tupone@gentoo.org>

 dev-ml/re/{re-1.13.0-r1.ebuild => re-1.13.0-r2.ebuild} | 3 ++-
 dev-ml/re/{re-1.13.3-r1.ebuild => re-1.13.3-r2.ebuild} | 1 +
 2 files changed, 3 insertions(+), 1 deletion(-)