version = "0.8"
description = "Formalisation of the linking of ELF object code, and related notions"
requires = "linksem_zarith"
requires(nozarith) = "linksem_num"
