Package: php-gmp Priority: optional Section: php Installed-Size: 11 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian PHP Maintainers <pkg-php-maint@lists.alioth.debian.org> Architecture: all Source: php-defaults (35ubuntu6) Version: 1:7.0+35ubuntu6 Depends: php-common, php7.0-gmp Filename: pool/main/p/php-defaults/php-gmp_7.0+35ubuntu6_all.deb Size: 1930 MD5sum: f9c7112436ae2db15f211ac4ee24ab38 SHA1: 75f4dc9cc201344240451379f8c9a93711ede160 SHA256: a1f8a915936939e4ce233d3cf09895a0a435917ae86eb5b3b291c585fd869f03 Description: GMP module for PHP [default] Description-md5: 6fec024be9a3747162fa7499cfae4c52 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu Supported: 5y