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