sci-mathematics/alt-ergo – Gentoo Packages

sci-mathematics/alt-ergo-2.4.3 - Failed to run command: dune build @install --display=short --profile release -j 4 --for-release-of-packages=alt-ergo-
919248 - Assigned to Gentoo Team for the ML programming language family

Gentoo Bugzilla is where we track bugs of Gentoo and its packages; you are welcome to report, confirm and resolve bugs: