wok-6.x log linux-debug/receipt

age author description
2018-08-07 Pascal Bellard Update some web_site to https
2018-03-15 Pascal Bellard Up linux 3.16.55
2018-01-16 Pascal Bellard Add linux-debug (again)
2018-01-16 Pascal Bellard Add linux-dev