Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Upstream-Name: dependent-sum Upstream-Contact: James Cook Source: https://hackage.haskell.org/package/dependent-sum Files: * Copyright: No copyright asserted, files are in the PublicDomain License: public-domain