Package: php-timer
Priority: optional
Section: universe/php
Installed-Size: 36
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: all
Version: 9.0.0-2
Depends: php-common
Filename: pool/universe/p/php-timer/php-timer_9.0.0-2_all.deb
Size: 7830
SHA512: 98f749eba3fc936d8a27d152a3b022643e0e540d4d76557a9d9357998038288a24283745fd4b4f44d9651293197e120250ada788ca01cde255562eceaf600ae2
Homepage: https://github.com/sebastianbergmann/php-timer
Description: Utility class for timing
Description-md5: 437ed909504fba359c182045a9e99047
Original-Maintainer: Debian PHP PEAR Maintainers <pkg-php-pear@lists.alioth.debian.org>
Multi-Arch: foreign
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug