diff options
author | Michał Górny <mgorny@gentoo.org> | 2019-07-20 10:52:32 +0200 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2019-07-20 14:49:52 +0200 |
commit | b615f895543fab3b708a045b0fe433414bfacf61 (patch) | |
tree | 77c4ecf63166a225d17b0c3185ab36de224b6283 /app-pda | |
parent | dev-python/lit: Bump to 8.0.1 (diff) | |
download | gentoo-b615f895543fab3b708a045b0fe433414bfacf61.tar.gz gentoo-b615f895543fab3b708a045b0fe433414bfacf61.tar.bz2 gentoo-b615f895543fab3b708a045b0fe433414bfacf61.zip |
dev-ml/llvm-ocaml: Bump to 8.0.1
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'app-pda')
0 files changed, 0 insertions, 0 deletions