Package: php-readline Architecture: all Version: 1:7.2+60ubuntu1 Priority: optional Section: universe/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-readline Filename: pool/universe/p/php-defaults/php-readline_7.2+60ubuntu1_all.deb Size: 2000 MD5sum: 6ad0f421680a2ed58d4625544efb2ce6 SHA1: 83d92714b3e38dc993800f8270760157f52f4fdf SHA256: 42cca1393225e5bbed02851fb600c48840c63d48922e0bbe288d88e6dddbf81c Description: readline module for PHP [default] Description-md5: cd78cd02ce81426d6625de6602e46066