[Pkg-php-pecl] Bug#847293: php-ast: does not install ast.so

[Kunal Mehta]

Package: php-ast
Version: 0.1.2-2
Severity: grave
Justification: renders package unusable

Dear Maintainer,

Installing php-ast does not actually provide the ast.so file, so the extension
isn't usable.

$ apt-file list php-ast
php-ast: /etc/php/7.0/mods-available/ast.ini
php-ast: /usr/share/doc/php-ast/README.md.gz
php-ast: /usr/share/doc/php-ast/changelog.Debian.gz
php-ast: /usr/share/doc/php-ast/copyright

It should be installing a .so file to /usr/lib/php/20151012/ast.so
presumably.

-- System Information:
Debian Release: stretch/sid
  APT prefers unstable
  APT policy: (500, 'unstable')
Architecture: amd64 (x86_64)

Kernel: Linux 4.8.11-300.fc25.x86_64 (SMP w/4 CPU cores)
Locale: LANG=C, LC_CTYPE=C (charmap=ANSI_X3.4-1968)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)

Versions of packages php-ast depends on:
ii  libapache2-mod-php7.0 [phpapi-20151012]  7.0.13-2
ii  php-common                               1:46
ii  php7.0-cli [phpapi-20151012]             7.0.13-2

php-ast recommends no packages.

php-ast suggests no packages.

-- no debconf information