#archlinux32 | Logs for 2021-09-09
Back
[00:05:42] -!- jonathon has quit [Ping timeout: 276 seconds]
[00:05:43] -!- nohtanoj has joined #archlinux32
[00:55:41] -!- eschwartz has quit [Ping timeout: 252 seconds]
[01:10:07] -!- eschwartz has joined #archlinux32
[02:03:29] -!- bill-auger has joined #archlinux32
[07:08:30] -!- girls- has quit [Quit: ZNC 1.8.2 - https://znc.in]
[07:08:48] -!- girls has joined #archlinux32
[07:10:15] -!- girls has quit [Client Quit]
[07:11:02] -!- girls has joined #archlinux32
[08:38:14] -!- peterhil has quit [Ping timeout: 252 seconds]
[09:10:23] -!- peterhil has joined #archlinux32
[09:15:05] -!- peterhil has quit [Ping timeout: 265 seconds]
[10:34:53] -!- T`aZ has quit [Remote host closed the connection]
[10:45:42] -!- peterhil has joined #archlinux32
[10:50:18] -!- peterhil has quit [Ping timeout: 265 seconds]
[11:12:01] -!- T`aZ has joined #archlinux32
[12:24:58] -!- peterhil has joined #archlinux32
[12:31:59] -!- peterhil has quit [Ping timeout: 252 seconds]
[13:21:05] -!- peterhil has joined #archlinux32
[13:29:34] -!- peterhil has quit [Ping timeout: 260 seconds]
[15:28:30] -!- Hackerpcs has quit [Quit: Hackerpcs]
[15:29:48] -!- Hackerpcs has joined #archlinux32
[16:00:23] nohtanoj is now known as jonathon
[17:01:38] -!- peterhil has joined #archlinux32
[20:51:27] -!- abaumann has joined #archlinux32
[20:51:28] <buildmaster> Hi abaumann!
[20:51:28] <buildmaster> !rq abaumann
[20:51:29] <phrik> buildmaster: <abaumann> cvc4: "An automatic theorem prover".. currently trying really hard to prove it can bring down eurobuild6..
[21:00:12] -!- drathir_tor has quit [Ping timeout: 276 seconds]
[21:02:01] -!- drathir_tor has joined #archlinux32
[21:29:58] <abaumann> there is a new firefox building.. :-)
[21:30:00] -!- abaumann has quit [Quit: leaving]
[21:44:24] -!- Alina-malina has quit [Quit: !be back soon]
[21:46:45] -!- Alina-malina has joined #archlinux32
[21:54:01] -!- phrik has quit [Read error: Connection reset by peer]
[21:54:39] -!- phrik has joined #archlinux32
[21:54:50] -!- City-busz has quit [Quit: http://quassel-irc.org - Csevegjen kényelmesen. Bárhol.]
[21:54:51] -!- elibrokeit has quit [Quit: A random quit message]
[21:56:47] -!- City-busz has joined #archlinux32
[21:56:47] -!- elibrokeit has joined #archlinux32