Index of /pub/gwdg/ubuntu/22.04/pool/universe/p/php-ds/

../
php-ds-all-dev_1.4.0-4_all.deb                     03-Jan-2022 23:29                1788
php-ds_1.4.0-4_amd64.deb                           03-Jan-2022 23:29                1756
php8.1-ds_1.4.0-4_amd64.deb                        03-Jan-2022 23:29               62142