If you need it only for the "near future", maybe just spin up a Trusty
container.
afaict, ming is not package in Debian either.
You could try downloading the ming source package and updating it, but
no idea if it will work. This seems like pretty low priority, tbh; it
hasn't been present for the 2 years since 16.04 released and would live
in universe anyways.
** Tags added: needs-packaging
** Also affects: ming (Ubuntu)
Importance: Undecided
Status: New
** Changed in: php7.0 (Ubuntu)
Status: New => Invalid
** Changed in: ming (Ubuntu)
Importance: Undecided => Wishlist
** Changed in: php7.0 (Ubuntu)
Importance: Wishlist => Undecided
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1777192
Title:
php7.0 missing ming package/module
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/ming/+bug/1777192/+subscriptions
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
