diff options
| author |   François-Xavier Carton <fx.carton91@gmail.com> | 2022-08-19 13:57:20 +0200 |
|---|---|---|
| committer |   Maciej Barć <xgqt@gentoo.org> | 2022-08-19 15:37:06 +0200 |
| commit | 13b82374f5d56f32bc4d7360bdc7860fd754c8be (patch) | |
| tree | ab8114515a743f7d5a7907f629b47f092fc3475a /sys-kernel/gentoo-sources/Manifest | |
| parent | dev-db/pgbouncer: Remove old (diff) | |
| download | gentoo-13b82374f5d56f32bc4d7360bdc7860fd754c8be.tar.gz gentoo-13b82374f5d56f32bc4d7360bdc7860fd754c8be.tar.bz2 gentoo-13b82374f5d56f32bc4d7360bdc7860fd754c8be.zip | |
dev-ml/ppx_import: require ppxlib>=24.0
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
Closes: https://github.com/gentoo/gentoo/pull/26926
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sys-kernel/gentoo-sources/Manifest')
0 files changed, 0 insertions, 0 deletions