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. |