[Agda] copyrights

[Jesper Cockx]

Dear Sergei,

I'm not 100% sure about this, but I think you only have to include the
copyright notice if you include (parts of) the Agda code or the Agda
standard library. So in your situation, you wouldn't have to include the
notice.

Best,
Jesper

On Wed, Aug 2, 2017 at 8:37 PM, Sergei Meshveliani <mechvel at botik.ru> wrote:

> Dear Agda team,
>
> I am going to release DoCon-A-2.00, and have a question about
> copyrights.
>
> DoCon-A-2.00 is written in  (1) Agda,
> and uses functions from  (2) Agda Standard library,
> and  (3) Agda Prelude.
>
> But it does not include any files from (1), nor from (2),
> nor from (3).
>
> Does DoCon-A-2.00 need to
> "include the above copyright notice and this permission notice in all
> copies or substantial portions of the Software"
> (as it is required in the condition parts of the licenses of (1), (2),
> (3))
> ?
>
> I am looking into the licenses of (1), (2), (3), at the fragments like
>
> ----------------
> Permission is hereby granted, free of charge, to any person obtaining
> a copy of this software and associated documentation files (the
> "Software"),
> to deal in the Software without restriction, including without
> limitation the rights to use, copy, modify, merge, publish,
> distribute, sublicense, and/or sell copies of the Software, and to
> permit persons to whom the Software is furnished to do so, subject to
> the following conditions:
>
> The above copyright notice and this permission notice shall be
> included in all copies or substantial portions of the Software.
> ----------------
>
> This text is difficult for me to percept.
> It is written there  "granted ... the rights to use ...".
> And DoCon-A-2.00 does use (1), (2), (3).
>
> So, I think, that DoCon-A-2.00 needs to retain the copies of the
> copyrights of (1), (2), (3).
>
> Please, correct me, if I am wrong.
>
> Thanks,
>
> ------
> Sergei
>
>
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20170803/c7f9bf59/attachment.html>