diff options
author | 2023-01-27 21:45:25 +0100 | |
---|---|---|
committer | 2023-01-27 22:59:50 +0100 | |
commit | 0598ea89914982f85a6b008ba34442b93866254a (patch) | |
tree | 5e533488b8840db621c8839d76e413f03d092c7c /dev-ml/gapi-ocaml | |
parent | dev-ml/core: add 0.15.1 (diff) | |
download | gentoo-0598ea89914982f85a6b008ba34442b93866254a.tar.gz gentoo-0598ea89914982f85a6b008ba34442b93866254a.tar.bz2 gentoo-0598ea89914982f85a6b008ba34442b93866254a.zip |
dev-ml/core_unix: add 0.15.2
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/gapi-ocaml')
0 files changed, 0 insertions, 0 deletions