Hi Hilko, in this package at least core_kernel-113.00.00/src/core_gc.mli core_kernel-113.00.00/src/core_set.ml core_kernel-113.00.00/src/core_random.mli core_kernel-113.00.00/src/union_find.ml want to be mentioned in your debian/copyright.
Thanks! Thorsten === 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.
