On Tue, 22 Jan 2019, Benny Siegert wrote:
/usr/bin/install -d -o root -g wheel -m 755 /usr/pkgsrc/graphics/php-imagick/work/.destdir/usr/pkg/lib/php/20170718Wait, where does the 20170718 come from? Shouldn't that be a PHP version, such as 7.2?
No, it's like an API version reference. This is 20140828 for 5.6.38 for instance.
-- Stephen