diff options
| author | Sam James <sam@gentoo.org> | 2021-10-17 20:08:12 +0100 |
|---|---|---|
| committer | Sam James <sam@gentoo.org> | 2021-10-17 20:08:12 +0100 |
| commit | 4eb0437eccbafc2ad017160fc28f14024508d784 (patch) | |
| tree | 876d9139e56b0c0109dd4085837a3664608c371f /dev-python/executing | |
| parent | 00668af86b45f6a92b665dec08e47cad0293ac3b (diff) | |
| download | gentoo-4eb0437eccbafc2ad017160fc28f14024508d784.tar.gz gentoo-4eb0437eccbafc2ad017160fc28f14024508d784.tar.bz2 gentoo-4eb0437eccbafc2ad017160fc28f14024508d784.zip | |
dev-lang/ocaml: Stabilize 4.11.2-r2 arm64, #804774
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-python/executing')
0 files changed, 0 insertions, 0 deletions