diff options
author | 2022-03-03 22:19:11 +0100 | |
---|---|---|
committer | 2022-03-03 22:19:11 +0100 | |
commit | f77d0a8e7dce8ee15e9ce17ca8e163d2f4de6f92 (patch) | |
tree | 7440b26f17ccf485bbaffa1d56cae9df62e7f16c /dev-ml/opam-solver | |
parent | dev-ml/stdio: destabilise for ppc (diff) | |
download | gentoo-f77d0a8e7dce8ee15e9ce17ca8e163d2f4de6f92.tar.gz gentoo-f77d0a8e7dce8ee15e9ce17ca8e163d2f4de6f92.tar.bz2 gentoo-f77d0a8e7dce8ee15e9ce17ca8e163d2f4de6f92.zip |
dev-ml/stdlib-shims: destabilise for ppc
Signed-off-by: Sam James <sam@gentoo.org>
Signed-off-by: David Seifert <soap@gentoo.org>
Diffstat (limited to 'dev-ml/opam-solver')
0 files changed, 0 insertions, 0 deletions