Hi maintainer, REJECT: fix debian/copyright
Several problems with the debian/copyright file were found, many of which are listed below: cil/src/frontc/*: These files contain copyright holders not mentioned in debian/copyright tests/idct/* These files are GPL2+, which isn't mentioned in debian/copyright. tests/jessie/* tests/spec/purse.c These files are GPL2, which isn't mentioned in debian/copyright. tests/minix/* This is BSD-3, but the copyright holders are not mentioned in debian/copyright tests/test/* What is the copyright/distribution license? --- Please also note the lintian error below and verify that this is what you are intending: E: frama-c: unstripped-binary-or-object ./usr/lib/frama-c/plugins/Journal_loader.cmxs -- bye, stew === Please feel free to respond to this email if you don't understand why your files were rejected, or if you upload new files which address our concerns. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
