Index of /liveconfig/pool/php/p/php-7.2-opt-igbinary/

../
php-7.2-opt-igbinary_3.1.6-1+deb8u1_amd64.deb      25-Jan-2023 16:24               79580
php-7.2-opt-igbinary_3.2.12-1+deb10u1_amd64.deb    25-Jan-2023 16:24               68972
php-7.2-opt-igbinary_3.2.7-1+deb9u1_amd64.deb      25-Jan-2023 16:24               94470