mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-01-06 02:17:34 -08:00
It's quite old and blocking dev-lang/ocaml-4.09 removal. Bug: https://bugs.gentoo.org/963374 Signed-off-by: Jesus P Rey (Chuso) <gentoo@chuso.net> Part-of: https://github.com/gentoo/gentoo/pull/43931 Closes: https://github.com/gentoo/gentoo/pull/43931 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>