diff options
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/package.mask | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 3f85934bfe03..7654c39371df 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -29,6 +29,10 @@ #--- END OF EXAMPLES --- +# Alexis Ballier <aballier@gentoo.org> (14 Oct 2017) +# Beta version, breaks revdeps, needs testing +>=dev-lang/ocaml-4.06.0_beta + # Lars Wendler <polynomial-c@gentoo.org> (12 Oct 2017) # Dead upstream. No qt5 release. Use app-admin/keepassxc as drop-in # replacement which has very active upstream and regular releases. |