I believe the issue you hit is due to either the src:php7.0 and src:php-universe-source7.0 packages being out of sync (I am working on fixing that right now) or due to a bug in our repackaging of php7.0-interbase. I will investigate the former shortly.
Hello & Thank you for your bug report!
I believe the issue you hit is due to either the src:php7.0 and src:php- universe- source7. 0 packages being out of sync (I am working on fixing that right now) or due to a bug in our repackaging of php7.0-interbase. I will investigate the former shortly.
Thanks,
Nish