diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2024-10-14 22:11:44 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2024-10-14 22:12:06 +0200 |
| commit | d2dcc8ff49aed6296b73df44a08fbc6be0447525 (patch) | |
| tree | 38211192a2a777e946220b937a6c8a8c19f8dc71 /profiles | |
| parent | dev-util/editorconfig-geany: add 0.2.1 (diff) | |
| download | gentoo-d2dcc8ff49aed6296b73df44a08fbc6be0447525.tar.gz gentoo-d2dcc8ff49aed6296b73df44a08fbc6be0447525.tar.bz2 gentoo-d2dcc8ff49aed6296b73df44a08fbc6be0447525.zip | |
dev-ml/camlp4: add 5.2_p1
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
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 |