Package: php-gmp
Architecture: all
Version: 1:7.2+60ubuntu1
Priority: optional
Section: php
Source: php-defaults (60ubuntu1)
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: 12
Depends: php-common, php7.2-gmp
Filename: pool/main/p/php-defaults/php-gmp_7.2+60ubuntu1_all.deb
Size: 1996
MD5sum: 51eedc582ca398dad13124f6a71f728a
SHA1: a2fa2985fce9efe9514ff2b39c681d4582681ded
SHA256: d964d0c301a0919b955c1f0ef41695a06dc5c41c42a38e3549309913d3f2a7cf
Description: GMP module for PHP [default]
Description-md5: 4348910e2701b9f6a4fb8433a3d0764e
Supported: 5y