Package: php-readline 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-readline Filename: pool/universe/p/php-defaults/php-readline_7.0+35ubuntu6_all.deb Size: 1932 MD5sum: d06d9950da2ae9184ea595786d08123c SHA1: c15fc501ed75cee7387f1f7054a69097b5f9875d SHA256: 7cbcdb987d355cb588fd8a2024f5cfcf2b7ac65957801a59c03173cf19bc405f Description: readline module for PHP [default] Description-md5: 1e9d0dbf948278c86f3012e88b8bacd6 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu