Publishing details
Changelog
php-ds (1.4.0-4+ubuntu22.04.1+deb.sury.org+1) jammy; urgency=medium
* No-change backport to jammy
-- Ondřej Surý <email address hidden> Thu, 21 Apr 2022 17:59:12 +0200
Builds
Built packages
-
php-ds
PHP extension providing efficient data structures for PHP 7
-
php-ds-all-dev
PHP extension providing efficient data structures for PHP 7
-
php8.1-ds
PHP extension providing efficient data structures for PHP 7
Package files