Header

Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/

Upstream-Name: PHP_Timer

Upstream-Contact: Sebastian Bergmann <sb@sebastian-bergmann.de>

Source: https://github.com/sebastianbergmann/php-timer/