version = ""
description = "Lem library for extracted OCaml"
requires = "lem_zarith"
requires(nozarith) = "lem_num"
