REJECT: fix debian/copyright
Several problems with the debian/copyright file were found, many of
which are listed below:
These files contain copyright holders not mentioned in debian/copyright
These files are GPL2+, which isn't mentioned in debian/copyright.
These files are GPL2, which isn't mentioned in debian/copyright.
This is BSD-3, but the copyright holders are not mentioned in debian/copyright
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
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