Package: php7.2-gmp Architecture: amd64 Version: 7.2.3-1ubuntu1 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.3-1ubuntu1), libc6 (>= 2.4), libgmp10 Filename: pool/main/p/php7.2/php7.2-gmp_7.2.3-1ubuntu1_amd64.deb Size: 20160 MD5sum: 93c423000c4fd6afed7dcde17bcd2a6a SHA1: 510e1ecb306e0f444bdd8ab386c14d93cd35adf2 SHA256: 183e19b7eba17253665ea4cb166bc11931ba8afb0520b27b6b07108820012af1 Homepage: http://www.php.net/ Description: GMP module for PHP Description-md5: c27167ffbd0137d52448a66a0373d465 Supported: 5y