2013-08-01 Michael Hope complibs/isl: add HTTP mirror
2013-08-01 Michael Hope libc/newlib: add HTTP mirror
2013-07-29 "Yann E. MORIN" cc/gcc: add 4.8.1
2013-07-24 "Yann E. MORIN" kernel/linux: bump versions
2013-07-24 "Yann E. MORIN" complibs/ppl: fix build when local system has libgmp already installed
2013-07-17 Thomas De Schampheleire docs/help: rename defconfig/olddefconfig into
2013-07-17 Thomas De Schampheleire docs: fix typos in manpage