[ aria ]

虚包：libgmp10-dev

This is a virtual package. See the Debian policy for a definition of virtual packages.

负责填实 libgmp10-dev 的软件包