Unable to install cgum

[nimisha-agarwal]

The package libnum-ocaml-dev is not available on Ubuntu 18.04. Can't cgum be installed on it?

[jrfaller]

Hi @nimisha-agarwal ! Good question :-) We only support Focal at this point. However, beware that CGum is unmaintained and may have several issues for parsing C code. Alternatively, you can use the tree-sitter C parser which might be more stable.

[nimisha-agarwal]

Thank you for your prompt response :-)
I'll look into it.