category: _obsolete
requires: libgmp-doc
sdesc: "Obsolete package"
ldesc: "Obsolete package"