This control file is indexed.
Package: php-json
Priority: optional
Section: universe/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-json
Filename: pool/universe/p/php-defaults/php-json_7.0+35ubuntu6_all.deb
Size: 1932
MD5sum: 2d3142428ba5506b18e8cfbc88ea9f20
SHA1: 1afb7bba2f106ce62fef13c8191564e59b5a218e
SHA256: 9cc80584eeb286a1d931ee771a996005251131daf4ea89b74cbf3d600932f465
Description: JSON module for PHP [default]
Description-md5: 4d8010a2e750dd2a589617f18606bd59
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu