https://blogs.gentoo.org/ago/2020/07/04/gentoo-tinderbox/ Issue: sci-mathematics/why3-for-spark-2021-r1 fails to compile. Discovered on: amd64 (internal ref: ci)
CC'ing also the author of the commit (e6e9b60f9793c4d9b0d56f5a72d8edf5a286bf6b)
Created attachment 794681 [details] build.log build log and emerge --info
Error(s) that match a know pattern in addition to what has been reported in the summary: Error: No implementations provided for the following modules: Warning 70 [missing-mli]: Cannot find interface file.
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3df695936d33926ea49d863ffaac2c6cacf3be2f commit 3df695936d33926ea49d863ffaac2c6cacf3be2f Author: Alfredo Tupone <tupone@gentoo.org> AuthorDate: 2022-11-26 15:08:37 +0000 Commit: Alfredo Tupone <tupone@gentoo.org> CommitDate: 2022-11-26 15:09:23 +0000 dev-ml/yojson: drop 2.0.0 Closes: https://bugs.gentoo.org/861356 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> dev-ml/yojson/Manifest | 1 - dev-ml/yojson/yojson-2.0.0.ebuild | 39 --------------------------------------- 2 files changed, 40 deletions(-)