Architecture: all
Platform: all
Depends: libgmp.10 (= ${Binary-Version})
Description:  GMP library documentation.
 ${Common-Description}