Package: php-timer
Architecture: all
Version: 1.0.9-1
Priority: optional
Section: universe/php
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian PHP PEAR Maintainers <pkg-php-pear@lists.alioth.debian.org>
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