diff options
author | Alexis Ballier <aballier@gentoo.org> | 2016-03-16 19:25:05 +0100 |
---|---|---|
committer | Alexis Ballier <aballier@gentoo.org> | 2016-03-16 19:25:14 +0100 |
commit | 788ae88ed97fde65285221c3d4fcb0795c167c32 (patch) | |
tree | 18ea0d1c897106ac772905b28d8c1a32ce7f049b /profiles | |
parent | dev-ml/ppx_tools: bump to new upstream releases, changing versionning scheme ... (diff) | |
download | gentoo-788ae88ed97fde65285221c3d4fcb0795c167c32.tar.gz gentoo-788ae88ed97fde65285221c3d4fcb0795c167c32.tar.bz2 gentoo-788ae88ed97fde65285221c3d4fcb0795c167c32.zip |
profiles/package.mask: update dev-ml/ppx_tools mask to match current versionning scheme
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/package.mask | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index ae7cf973aeca..e475b983a9ba 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -165,7 +165,7 @@ www-apps/horde-turba # Breaks some of its rev deps, still in beta stage >=dev-lang/ocaml-4.03_beta >=dev-ml/camlp4-4.03 ->=dev-ml/ppx_tools-0.99.3_p20160217 +>=dev-ml/ppx_tools-4.03 # James Le Cuirot <chewi@gentoo.org> (29 Feb 2016) # Dead upstream and doesn't build with Java 8. Removal in 30 days. |