diff options
author | Michał Górny <mgorny@gentoo.org> | 2018-08-01 18:38:59 +0200 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2018-08-01 22:53:19 +0200 |
commit | 59079df70d51b8a4741fd5b2853f713ccf051f45 (patch) | |
tree | 3d39d135b4af54b8e8a6fc10ec2d2afaf4e9ab31 /dev-ml/ppx_optional | |
parent | dev-python/lit: Branch out LLVM 7.0 (diff) | |
download | gentoo-59079df70d51b8a4741fd5b2853f713ccf051f45.tar.gz gentoo-59079df70d51b8a4741fd5b2853f713ccf051f45.tar.bz2 gentoo-59079df70d51b8a4741fd5b2853f713ccf051f45.zip |
dev-ml/llvm-ocaml: Branch out LLVM 7.0
Diffstat (limited to 'dev-ml/ppx_optional')
0 files changed, 0 insertions, 0 deletions