summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSam James <sam@gentoo.org>2022-06-21 02:35:35 +0100
committerSam James <sam@gentoo.org>2022-06-21 02:35:35 +0100
commit82cd5976c75660c902767b880dd6d83aa0b071d1 (patch)
tree2b99eb619837e11f958e4739899de6438e2a7be8 /sci-mathematics/alt-ergo
parentnet-analyzer/sguil-sensor: fix OCaml dep (diff)
downloadgentoo-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