Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: CoVeriTeam
Source: https://gitlab.com/sosy-lab/software/coveriteam

Files: 
  examples/test-data/properties/*.prp
  coveriteam/artifactlibrary/specifications/*.prp
Copyright: 2013-2020 Dirk Beyer <https://www.sosy-lab.org>
License: Apache-2.0

Files: contrib/verifier-algo-selection/*
Copyright: 2021 Dirk Beyer <https://www.sosy-lab.org>
License: Apache-2.0

