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

Files: *
Copyright: Benedikt Ahrens
           Daniel Grayson
           Vladimir Voevodsky
License: UniMath-License

Files: debian/*
Copyright: 2022 Julien Puydt
License: UniMath-License

License: UniMath-License
 UniMath copyright and license
 =============================
 .
 UniMath consists of the files in the UniMath github repository at
 https://github.com/UniMath/UniMath .
 .
 UniMath is copyright 2015 by the UniMath Development Team, whose members are
 listed at https://github.com/UniMath/UniMath in the file README.md .
 .
 Permission is hereby granted, free of charge, to any person obtaining a copy of
 UniMath, to deal in UniMath without restriction, including without limitation
 the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or
 sell copies of UniMath, and to permit persons to whom UniMath is furnished to
 do so, subject to the following conditions:
 .
  * This copyright and license shall be included in all copies or substantial
 portions of the Software.