diff options
Diffstat (limited to 'profiles')
| -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 f67df83281d1..1c3c1a293998 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -423,6 +423,7 @@ dev-ml/async:0/0.17 dev-ml/patience_diff:0/0.17 >=dev-ml/ppx_deriving-6.0.2 dev-ml/ppx_js_style:0/0.17 +>=dev-ml/camlp4-5 # Michał Górny <mgorny@gentoo.org> (2024-06-08) # Prereleases of Xfce 4.20. Masking upon popular request, due to |