Package: php-timer Architecture: all Version: 1.0.9-1 Priority: optional Section: universe/php Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Debian PHP PEAR Maintainers Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 19 Depends: php-common Filename: pool/universe/p/php-timer/php-timer_1.0.9-1_all.deb Size: 4616 MD5sum: 61e04813e6cda1f18e42d3ad01a5308b SHA1: 038adf38beef858a825b13206f4a7f398aa70535 SHA256: 161a7dc1a0bbfa1d03b644f9d3eaf909750cd4b44ecfaf548ac9fd82ac491088 Homepage: https://github.com/sebastianbergmann/php-timer Description: Utility class for timing Description-md5: 437ed909504fba359c182045a9e99047