diff options
Diffstat (limited to 'profiles/package.mask')
| -rw-r--r-- | profiles/package.mask | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 64ce9ef6644a..5dc33b2304a8 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -255,6 +255,7 @@ dev-perl/Apache-SessionX >=dev-ml/camlp4-4.06 >=dev-ml/lablgtk-2.18.6 >=dev-ml/labltk-8.06.4 +>=dev-ml/ppx_tools-5.1.4.06.0 # Lars Wendler <polynomial-c@gentoo.org> (12 Oct 2017) # Dead upstream. No qt5 release. Use app-admin/keepassxc as drop-in |