wok-undigest log rt-source-patch/receipt

age author description
2013-03-08 Pascal Bellard rt-source-patch: update WGET_URL
2011-05-30 Christophe Lincoln Add packages moved from wok