diff options
author | 2017-10-14 13:03:02 +0200 | |
---|---|---|
committer | 2017-10-14 13:13:40 +0200 | |
commit | cb94b633a8560803f7b3199dbc0ee771b6810dd5 (patch) | |
tree | 6c5918d2f4cae4efde1e7c6f08e0be49adaafb8e /profiles | |
parent | dev-ml/jbuilder: Remove old (diff) | |
download | gentoo-cb94b633a8560803f7b3199dbc0ee771b6810dd5.tar.gz gentoo-cb94b633a8560803f7b3199dbc0ee771b6810dd5.tar.bz2 gentoo-cb94b633a8560803f7b3199dbc0ee771b6810dd5.zip |
profiles/package.mask: mask dev-lang/ocaml beta
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. |