diff options
author | Sam James <sam@gentoo.org> | 2022-06-21 02:35:35 +0100 |
---|---|---|
committer | Sam James <sam@gentoo.org> | 2022-06-21 02:35:35 +0100 |
commit | 82cd5976c75660c902767b880dd6d83aa0b071d1 (patch) | |
tree | 2b99eb619837e11f958e4739899de6438e2a7be8 /sci-mathematics/alt-ergo | |
parent | net-analyzer/sguil-sensor: fix OCaml dep (diff) | |
download | gentoo-82cd5976c75660c902767b880dd6d83aa0b071d1.tar.gz gentoo-82cd5976c75660c902767b880dd6d83aa0b071d1.tar.bz2 gentoo-82cd5976c75660c902767b880dd6d83aa0b071d1.zip |
dev-ml/markup: fix OCaml dep
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'sci-mathematics/alt-ergo')
0 files changed, 0 insertions, 0 deletions