[Agda] debian package for Agda

[IKEGAMI Daisuke]

Dear agda-developers and users,

Prof. Nakahara Hayao, who is a debian-jp maintainer, is going to 
make a debian Linux package for Agda with the Hedberg standard library.
He think some Agda sources at coverproject.org can be distributed
even if they maybe unstable yet;
  http://www.coverproject.org/Agda/

He has following questions about packaging:
  - Can we distribute the package?
  - What is the licence of Agda Hedberg library?
      does the library follow to the Agda license, or
      another license?

We want to destribute the package after the licenses are provided.

Best wishes,
Ike