Package: php7.2-gmp Architecture: amd64 Version: 7.2.15-0ubuntu0.18.04.1 Priority: optional Section: php Source: php7.2 Origin: Ubuntu Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian PHP Maintainers <pkg-php-maint@lists.alioth.debian.org> Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 95 Provides: php-gmp Depends: php-common (>= 1:35), ucf, php7.2-common (= 7.2.15-0ubuntu0.18.04.1), libc6 (>= 2.4), libgmp10 Filename: pool/main/p/php7.2/php7.2-gmp_7.2.15-0ubuntu0.18.04.1_amd64.deb Size: 20152 MD5sum: 7a9f3bf5603fb73eef0e4d214957dd1c SHA1: e56d725c22dc04708c7675bd557ce0e52d68c742 SHA256: a872af4494a15ec363e849496d8a396057e4466436c973360376b566db013bc2 Homepage: http://www.php.net/ Description: GMP module for PHP Description-md5: c27167ffbd0137d52448a66a0373d465 Supported: 5y