Hey Lennart, I'm hoping to include geniplate in Debian, as it is a dependency of the most recent Agda release. However I fear that there is a small problem in that the license isn't unambiguously specified in the tarball. It's true that the cabal file says "BSD3", which is a fine license, but after consulting with Duncan on IRC it seems that there is no canonical mapping from this to the full text so we in Debian aren't able to be absolutely sure about the license terms of the package. Would you be able to distribute a "COPYING" or similar file with future geniplate releases containing the full text of the 3-clause BSD? Thanks a lot, -- Iain Lane [ iain@orangesquash.org.uk ] Debian Developer [ laney@debian.org ] Ubuntu Developer [ laney@ubuntu.com ]
Attachment:
signature.asc
Description: Digital signature