Package: php-timer Priority: optional Section: universe/php Installed-Size: 19 Maintainer: Ubuntu Developers Original-Maintainer: Debian PHP PEAR Maintainers Architecture: all Version: 1.0.7-1ubuntu1 Depends: php-common Filename: pool/universe/p/php-timer/php-timer_1.0.7-1ubuntu1_all.deb Size: 4508 MD5sum: 63c900c31d7ecb59cbf7e49e61712f37 SHA1: c389e33ca03bfc98403cf0a0c591e00acb754d67 SHA256: de89302a1d921da5e1df11fcc14344326418b868a2bb2be2901121d06ef91a81 Description: Utility class for timing Homepage: https://github.com/sebastianbergmann/php-timer Description-md5: 437ed909504fba359c182045a9e99047 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu