Package: headache / 1.08-2

Header

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

Upstream-Name: headache

Upstream-Contact: Vincent Simonet <Vincent.Simonet@vtst.fr>

Source: https://github.com/Frama-C/headache

Licenses