summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFrançois-Xavier Carton <fx.carton91@gmail.com>2022-08-19 13:57:20 +0200
committerMaciej Barć <xgqt@gentoo.org>2022-08-19 15:37:06 +0200
commit13b82374f5d56f32bc4d7360bdc7860fd754c8be (patch)
treeab8114515a743f7d5a7907f629b47f092fc3475a /app-benchmarks/tiobench/Manifest
parentdev-db/pgbouncer: Remove old (diff)
downloadgentoo-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 'app-benchmarks/tiobench/Manifest')
0 files changed, 0 insertions, 0 deletions