Hi Jose, I had a look at libcdk5 at mentors uploaded there on 2012-09-30 12:50. The file debian/copyright is not yet complete, see for example manlinks.sed. Regards, Bart Martens