There is an ongoing outage on the primary CPAN mirror. It is possible to work around the issue by using MetaCPAN as a mirror.

Internal class used to translate an array of opaque objects to a pointer list for Z3