version = "0.8"
description = "Formalisation of the linking of ELF object code, and related notions (using the Num library)"
requires = "num lem_num str"
archive(byte) = "linksem.cma"
archive(native) = "linksem.cmxa"
