| 01:47.59 | *** join/#debianppc WoC (woc@unaffiliated/woc) |
| 03:16.30 | *** join/#debianppc donofrio (~donofrio@c-68-40-123-74.hsd1.mi.comcast.net) |
| 05:17.27 | *** join/#debianppc WoC (woc@unaffiliated/woc) |
| 09:12.34 | *** join/#debianppc warai_otoko (~warai_oto@185.212.170.51) |
| 15:28.43 | *** join/#debianppc WoC (woc@unaffiliated/woc) |
| 16:51.04 | *** join/#debianppc WoC (woc@unaffiliated/woc) |
| 17:06.28 | *** join/#debianppc WoC (woc@unaffiliated/woc) |
| 17:24.21 | *** join/#debianppc WoC (woc@unaffiliated/woc) |
| 18:06.09 | *** join/#debianppc eki (~eki@dsl-hkibng41-54f858-46.dhcp.inet.fi) |
| 18:38.30 | *** join/#debianppc WoC (woc@unaffiliated/woc) |
| 18:39.12 | WoC | Is the ppc64 port dead ? |
| 18:39.41 | WoC | Seems to be a nightmare to find an iso every time |
| 18:40.27 | WoC | and only ppc32 & ppc64le is on http://www.debian.org/ports/powerpc |