summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaciej Barć <xgqt@gentoo.org>2023-09-22 14:23:18 +0200
committerMaciej Barć <xgqt@gentoo.org>2023-09-22 16:09:44 +0200
commitdb857f4883a16831bdc33feb904853c70ed7b92d (patch)
tree907cda993e1b6b32d4b224a2a982a500e0cb6ca8 /dev-ml/ppx_stable_witness
parentdev-ml/uunf: drop old 14.0.0 (diff)
downloadgentoo-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