diff options
author | 2017-02-21 15:14:10 +0100 | |
---|---|---|
committer | 2017-02-21 15:20:13 +0100 | |
commit | a92ba435af618ccea85180c7551f699afa07d8e9 (patch) | |
tree | f54a1335e645f2ba9fb7981d2b8d178cf68c755b /profiles/arch | |
parent | sys-libs/libsmbios: Bump to version 2.3.2 (diff) | |
download | gentoo-a92ba435af618ccea85180c7551f699afa07d8e9.tar.gz gentoo-a92ba435af618ccea85180c7551f699afa07d8e9.tar.bz2 gentoo-a92ba435af618ccea85180c7551f699afa07d8e9.zip |
profiles: Mask dev-lang/ocaml[spacetime] everywhere and unmask it on amd64 since it is only supported there according to upstream.
Diffstat (limited to 'profiles/arch')
-rw-r--r-- | profiles/arch/amd64/package.use.mask | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/profiles/arch/amd64/package.use.mask b/profiles/arch/amd64/package.use.mask index c52658cf0877..d2d9c5ce7254 100644 --- a/profiles/arch/amd64/package.use.mask +++ b/profiles/arch/amd64/package.use.mask @@ -18,6 +18,11 @@ #--- END OF EXAMPLES --- +# Alexis Ballier <aballier@gentoo.org> (21 Feb 2017) +# spacetime works on amd64 +# https://caml.inria.fr/pub/docs/manual-ocaml/spacetime.html +dev-lang/ocaml -spacetime + # Alexis Ballier <aballier@gentoo.org> (31 Jan 2017) # nvidia drivers are unmasked here media-video/ffmpeg -nvenc |