Re: Bug#735884: Review of debian/copyright for ocp-indent

[Andreas Cadhalpun <andreas.cadhalpun@googlemail.com>]

Hi Johannes,

On 09.08.2014 08:33, Johannes Schauer wrote:
> I noticed something else: when you added tests/passing/traverse.mli as being
> licensed under AGPL-3, is it not necessary to paste the full text of the AGPL-3
> because the AGPL cannot be found in /usr/share/common-licenses? I added the
> text of the AGPL-3 to debian/copyright to fulfill policy § 12.5.

Of course!
It would be nice if lintian could warn about this problem... :D [1]

> You can find the full diff of the changes in:
> http://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/ocp-indent.git/commit/?id=3316070c3164a14926abd9fcba46b88b8419640c

Thanks for fixing this so fast.

> I uploaded the fixed package to mentors and would probably need somebody to
> upload it for me:
>
> http://mentors.debian.net/debian/pool/main/o/ocp-indent/ocp-indent_1.4.1-2.dsc

Unfortunately I can't help you here, because I'm no DD.

> Thank you for your help!

You're welcome.

Best regards,
Andreas


1: https://bugs.debian.org/757545