diff options
author | Maciej Barć <xgqt@gentoo.org> | 2023-09-22 14:23:18 +0200 |
---|---|---|
committer | Maciej Barć <xgqt@gentoo.org> | 2023-09-22 16:09:44 +0200 |
commit | db857f4883a16831bdc33feb904853c70ed7b92d (patch) | |
tree | 907cda993e1b6b32d4b224a2a982a500e0cb6ca8 /dev-ml/ppx_stable_witness | |
parent | dev-ml/uunf: drop old 14.0.0 (diff) | |
download | gentoo-db857f4883a16831bdc33feb904853c70ed7b92d.tar.gz gentoo-db857f4883a16831bdc33feb904853c70ed7b92d.tar.bz2 gentoo-db857f4883a16831bdc33feb904853c70ed7b92d.zip |
dev-ml/uunf: bump to 15.1.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_stable_witness')
0 files changed, 0 insertions, 0 deletions