wok log linux64-debug/receipt

age author description
2018-03-15 Pascal Bellard Up linux 3.16.55
2018-01-16 Pascal Bellard Add linux-debug (again); up openssh (7.6p1)
2018-01-16 Pascal Bellard Add linux-debug (again)
2018-01-16 Pascal Bellard Add linux-dev