diff options
author | Arthur Zamarin <arthurzam@gentoo.org> | 2023-03-17 11:38:04 +0200 |
---|---|---|
committer | Arthur Zamarin <arthurzam@gentoo.org> | 2023-03-17 11:38:04 +0200 |
commit | f63d8891587b49d5142ab455ede12f141d813857 (patch) | |
tree | acfcb53d8b18501b2ca66e4e571d54d5f4cf9d3d /dev-ml/mirage-clock | |
parent | dev-ml/menhir: Stabilize 20220210 ppc64, #901609 (diff) | |
download | gentoo-f63d8891587b49d5142ab455ede12f141d813857.tar.gz gentoo-f63d8891587b49d5142ab455ede12f141d813857.tar.bz2 gentoo-f63d8891587b49d5142ab455ede12f141d813857.zip |
dev-ml/ocaml-compiler-libs: Stabilize 0.12.4 ppc64, #901655
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Diffstat (limited to 'dev-ml/mirage-clock')
0 files changed, 0 insertions, 0 deletions