[Agda] copyrights

[Sergei Meshveliani]

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