| 2025-04-25 00:00:14 +0200 | dhil | (~dhil@5.151.29.139) (Ping timeout: 265 seconds) |
| 2025-04-25 00:02:39 +0200 | Leary | (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
| 2025-04-25 00:04:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-25 00:06:34 +0200 | tromp | (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-25 00:10:28 +0200 | Leary | (~Leary@user/Leary/x-0910699) Leary |
| 2025-04-25 00:12:12 +0200 | <ski> | `~x' is allowed |
| 2025-04-25 00:16:15 +0200 | sprotte24 | (~sprotte24@p200300d16f39dc0021da69fc15788ac5.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-04-25 00:24:37 +0200 | <EvanR> | negative 3 is really spelled ~3 in ML? |
| 2025-04-25 00:26:01 +0200 | <mauke> | Plankalkül, anyone? |
| 2025-04-25 00:31:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 00:31:39 +0200 | haritzondo | (~hrtz@user/haritz) (Ping timeout: 245 seconds) |
| 2025-04-25 00:34:15 +0200 | haritz | (~hrtz@152.37.68.178) |
| 2025-04-25 00:36:00 +0200 | haritz | (~hrtz@152.37.68.178) (Changing host) |
| 2025-04-25 00:36:00 +0200 | haritz | (~hrtz@user/haritz) haritz |
| 2025-04-25 00:38:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-25 00:43:08 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-04-25 00:46:52 +0200 | Googulator | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-04-25 00:47:08 +0200 | Googulator | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) |
| 2025-04-25 00:48:32 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-04-25 00:48:52 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-04-25 00:49:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 00:52:44 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-04-25 00:52:44 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-04-25 00:54:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-25 00:55:59 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-04-25 00:56:00 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:2536:b9c0:17b2:7e40) (Quit: Leaving) |
| 2025-04-25 00:56:10 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-04-25 00:56:53 +0200 | xff0x | (~xff0x@2405:6580:b080:900:9b42:d2bd:373e:abf7) (Ping timeout: 248 seconds) |
| 2025-04-25 00:58:57 +0200 | xff0x | (~xff0x@2405:6580:b080:900:9b42:d2bd:373e:abf7) |
| 2025-04-25 01:03:04 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-04-25 01:04:40 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-04-25 01:05:00 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-04-25 01:05:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 01:07:59 +0200 | califax_ | (~califax@user/califx) califx |
| 2025-04-25 01:08:00 +0200 | califax | (~califax@user/califx) (Ping timeout: 264 seconds) |
| 2025-04-25 01:08:26 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-04-25 01:09:14 +0200 | califax_ | califax |
| 2025-04-25 01:10:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-25 01:21:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 01:26:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-25 01:35:37 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.1) |
| 2025-04-25 01:36:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 01:40:22 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-04-25 01:42:02 +0200 | jespada_ | (~jespada@r167-61-222-92.dialup.adsl.anteldata.net.uy) jespada |
| 2025-04-25 01:42:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-25 01:44:24 +0200 | Googulator | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-04-25 01:44:40 +0200 | Googulator | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) |
| 2025-04-25 01:45:09 +0200 | jespada | (~jespada@r190-133-28-49.dialup.adsl.anteldata.net.uy) (Ping timeout: 276 seconds) |
| 2025-04-25 01:45:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 01:49:30 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-04-25 01:49:56 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-04-25 01:50:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-25 01:58:43 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-04-25 01:58:52 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-04-25 02:00:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 02:04:58 +0200 | jespada_ | (~jespada@r167-61-222-92.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 2025-04-25 02:05:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-25 02:06:42 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:2536:b9c0:17b2:7e40) |
| 2025-04-25 02:16:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 02:21:28 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-04-25 02:22:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-25 02:25:38 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) bitmapper |
| 2025-04-25 02:28:12 +0200 | Googulator | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-04-25 02:28:25 +0200 | Googulator | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) |
| 2025-04-25 02:31:39 +0200 | xff0x | (~xff0x@2405:6580:b080:900:9b42:d2bd:373e:abf7) (Ping timeout: 245 seconds) |
| 2025-04-25 02:33:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 02:38:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-25 02:40:29 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-04-25 02:43:50 +0200 | otto_s | (~user@p4ff274cd.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-04-25 02:45:33 +0200 | otto_s | (~user@p4ff2799b.dip0.t-ipconnect.de) |
| 2025-04-25 02:47:59 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:2536:b9c0:17b2:7e40) (Read error: Connection reset by peer) |
| 2025-04-25 02:48:36 +0200 | JamesMowery177 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
| 2025-04-25 02:48:48 +0200 | artynnn5 | (~artynnn@23.95.246.172) |
| 2025-04-25 02:49:01 +0200 | Wstfgl0 | (~me-me@kc.randomserver.name) |
| 2025-04-25 02:49:11 +0200 | smiesner_ | (b0cf5acf8c@2a03:6000:1812:100::13b9) |
| 2025-04-25 02:49:11 +0200 | simendsjo_ | (34b0550437@2a03:6000:1812:100::1441) simendsjo |
| 2025-04-25 02:49:12 +0200 | ymherklotz_ | (cb2c9cfbdd@2a03:6000:1812:100::29a) ymherklotz |
| 2025-04-25 02:49:12 +0200 | arcadewise_ | (52968ed80d@2a03:6000:1812:100::3df) l3gacyb3ta |
| 2025-04-25 02:49:13 +0200 | stureplan_ | (22e45d5caf@user/stureplan) stureplan |
| 2025-04-25 02:49:18 +0200 | dutchie_ | (~dutchie@user/dutchie) dutchie |
| 2025-04-25 02:49:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 02:49:35 +0200 | sp1ff` | (~user@c-67-160-173-55.hsd1.wa.comcast.net) |
| 2025-04-25 02:49:37 +0200 | img_ | (~img@user/img) img |
| 2025-04-25 02:49:52 +0200 | ycp_ | (~znc@user/dragestil) dragestil |
| 2025-04-25 02:50:18 +0200 | stureplan | (22e45d5caf@user/stureplan) (Ping timeout: 276 seconds) |
| 2025-04-25 02:50:18 +0200 | euleritian | (~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de) (Ping timeout: 276 seconds) |
| 2025-04-25 02:50:18 +0200 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) (Ping timeout: 276 seconds) |
| 2025-04-25 02:50:18 +0200 | dutchie | (~dutchie@user/dutchie) (Ping timeout: 276 seconds) |
| 2025-04-25 02:50:18 +0200 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) (Ping timeout: 276 seconds) |
| 2025-04-25 02:50:18 +0200 | ycp | (~znc@user/dragestil) (Ping timeout: 276 seconds) |
| 2025-04-25 02:50:18 +0200 | stureplan_ | stureplan |
| 2025-04-25 02:50:18 +0200 | arcadewise_ | arcadewise |
| 2025-04-25 02:50:21 +0200 | dutchie_ | dutchie |
| 2025-04-25 02:50:30 +0200 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
| 2025-04-25 02:50:30 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection) |
| 2025-04-25 02:50:44 +0200 | img | (~img@user/img) (Ping timeout: 276 seconds) |
| 2025-04-25 02:50:44 +0200 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) (Ping timeout: 276 seconds) |
| 2025-04-25 02:50:44 +0200 | JamesMowery17 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Ping timeout: 276 seconds) |
| 2025-04-25 02:50:45 +0200 | Eoco | (~ian@128.101.131.218) (Ping timeout: 276 seconds) |
| 2025-04-25 02:50:45 +0200 | ymherklotz_ | ymherklotz |
| 2025-04-25 02:50:46 +0200 | JamesMowery177 | JamesMowery17 |
| 2025-04-25 02:50:50 +0200 | simendsjo | (34b0550437@2a03:6000:1812:100::1441) (Read error: Connection reset by peer) |
| 2025-04-25 02:50:50 +0200 | smiesner | (b0cf5acf8c@user/smiesner) (Read error: Connection reset by peer) |
| 2025-04-25 02:50:50 +0200 | smiesner_ | smiesner |
| 2025-04-25 02:50:50 +0200 | simendsjo_ | simendsjo |
| 2025-04-25 02:51:07 +0200 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) |
| 2025-04-25 02:51:23 +0200 | Me-me | (~me-me@kc.randomserver.name) (Ping timeout: 276 seconds) |
| 2025-04-25 02:51:23 +0200 | hammond | (proscan@user/hammond2) (Ping timeout: 276 seconds) |
| 2025-04-25 02:51:23 +0200 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 276 seconds) |
| 2025-04-25 02:51:23 +0200 | artynnn | (~artynnn@23.95.246.172) (Ping timeout: 276 seconds) |
| 2025-04-25 02:51:29 +0200 | Wstfgl0 | Me-me |
| 2025-04-25 02:51:33 +0200 | hammond | (proscan@gateway04.insomnia247.nl) |
| 2025-04-25 02:51:55 +0200 | ycp_ | ycp |
| 2025-04-25 02:52:01 +0200 | Flow | (~none@gentoo/developer/flow) flow |
| 2025-04-25 02:52:20 +0200 | Eoco | (~ian@128.101.131.218) Eoco |
| 2025-04-25 02:53:19 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f805da7edc33ed0f570.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-04-25 02:54:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-25 02:54:30 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) lambdabot |
| 2025-04-25 02:54:31 +0200 | ChanServ | +v lambdabot |
| 2025-04-25 02:54:58 +0200 | euleritian | (~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de) |
| 2025-04-25 02:55:09 +0200 | euleritian | (~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de) (Remote host closed the connection) |
| 2025-04-25 02:55:22 +0200 | Catty | catties |
| 2025-04-25 02:55:27 +0200 | euleritian | (~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de) |
| 2025-04-25 02:56:15 +0200 | euleritian | (~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de) (Remote host closed the connection) |
| 2025-04-25 02:57:29 +0200 | euleritian | (~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de) |
| 2025-04-25 03:00:05 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 248 seconds) |
| 2025-04-25 03:00:39 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-04-25 03:02:15 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-04-25 03:02:15 +0200 | haritz | (~hrtz@152.37.68.178) |
| 2025-04-25 03:02:16 +0200 | haritz | (~hrtz@152.37.68.178) (Changing host) |
| 2025-04-25 03:02:16 +0200 | haritz | (~hrtz@user/haritz) haritz |
| 2025-04-25 03:05:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 03:07:08 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-25 03:10:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-25 03:11:00 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-04-25 03:15:27 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-04-25 03:21:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 03:24:37 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-04-25 03:26:00 +0200 | califax | (~califax@user/califx) (Ping timeout: 264 seconds) |
| 2025-04-25 03:26:16 +0200 | califax | (~califax@user/califx) califx |
| 2025-04-25 03:27:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-04-25 03:33:13 +0200 | comonad | (~comonad@p200300d027303e00f556181ab74e36af.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-04-25 03:33:24 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-04-25 03:35:15 +0200 | comonad | (~comonad@p200300d0270a4d00bd2fa57947ace417.dip0.t-ipconnect.de) |
| 2025-04-25 03:39:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 03:41:30 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.1) |
| 2025-04-25 03:44:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-25 03:54:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 03:55:32 +0200 | <ski> | yes, EvanR (SML) |
| 2025-04-25 04:00:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-25 04:10:31 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-04-25 04:10:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 04:12:34 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2025-04-25 04:15:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-25 04:23:39 +0200 | td_ | (~td@83.135.9.7) (Ping timeout: 265 seconds) |
| 2025-04-25 04:25:02 +0200 | td_ | (~td@i5387092B.versanet.de) td_ |
| 2025-04-25 04:26:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 04:31:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-25 04:36:15 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-04-25 04:42:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 04:42:50 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-04-25 04:43:58 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-04-25 04:47:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-25 04:58:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 04:59:53 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-04-25 05:00:40 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2025-04-25 05:02:40 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-25 05:05:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-25 05:09:25 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-25 05:12:40 +0200 | Me-me | (~me-me@kc.randomserver.name) (I never did learn haskell, did I?) |
| 2025-04-25 05:16:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 05:20:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-25 05:21:55 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-04-25 05:28:21 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc4:a200:cdb7:b741:f6b2:ab55) (Ping timeout: 248 seconds) |
| 2025-04-25 05:28:46 +0200 | aforemny | (~aforemny@2001:9e8:6ce4:fd00:2b9b:42c6:1d6:b68) aforemny |
| 2025-04-25 05:31:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 05:36:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-25 05:37:05 +0200 | lol_ | (~lol@2603:3016:1e01:b960:c8e6:63b3:6b9f:3e52) |
| 2025-04-25 05:37:12 +0200 | jcarpenter2 | (~lol@96.78.87.197) (Read error: Connection reset by peer) |
| 2025-04-25 05:44:50 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2025-04-25 05:44:55 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-04-25 05:45:32 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
| 2025-04-25 05:45:33 +0200 | ChanServ | +v haskellbridge |
| 2025-04-25 05:47:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 05:50:23 +0200 | michalz | (~michalz@185.246.207.217) |
| 2025-04-25 05:52:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-25 05:54:02 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
| 2025-04-25 06:03:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 06:08:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-25 06:09:02 +0200 | xstill_ | (xstill@fimu/xstill) (Ping timeout: 244 seconds) |
| 2025-04-25 06:09:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 06:11:49 +0200 | xstill_ | (xstill@fimu/xstill) xstill |
| 2025-04-25 06:14:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-25 06:23:36 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds) |
| 2025-04-25 06:24:03 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-04-25 06:24:25 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-04-25 06:25:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 06:30:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-25 06:41:02 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-25 06:41:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 06:44:36 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds) |
| 2025-04-25 06:45:32 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-04-25 06:48:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-25 06:57:20 +0200 | euleritian | (~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-04-25 06:58:00 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-04-25 06:59:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 07:00:46 +0200 | takuan | (~takuan@d8d86b601.access.telenet.be) |
| 2025-04-25 07:04:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-25 07:15:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 07:20:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-25 07:30:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 07:31:04 +0200 | fp | (~Thunderbi@wireless-86-50-140-117.open.aalto.fi) fp |
| 2025-04-25 07:32:10 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-04-25 07:36:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-25 07:46:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 07:51:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-25 08:01:34 +0200 | typedfern_ | (~Typedfern@242.red-83-37-36.dynamicip.rima-tde.net) typedfern |
| 2025-04-25 08:02:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 08:04:01 +0200 | Typedfern | (~Typedfern@242.red-83-37-36.dynamicip.rima-tde.net) (Ping timeout: 248 seconds) |
| 2025-04-25 08:04:09 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-04-25 08:04:40 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-04-25 08:07:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-25 08:10:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 08:13:38 +0200 | Googulator | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-04-25 08:13:55 +0200 | Googulator | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) |
| 2025-04-25 08:14:23 +0200 | tabemann_ | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 2025-04-25 08:15:40 +0200 | tabemann | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2025-04-25 08:15:51 +0200 | ft | (~ft@p4fc2a6e6.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-04-25 08:16:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-25 08:18:25 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-25 08:26:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 08:30:38 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-04-25 08:33:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-04-25 08:43:40 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2025-04-25 08:44:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 08:45:39 +0200 | euleritian | (~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de) |
| 2025-04-25 08:49:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-25 08:50:26 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2025-04-25 08:50:53 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-25 08:53:42 +0200 | Googulator | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Ping timeout: 240 seconds) |
| 2025-04-25 08:55:04 +0200 | tromp | (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) |
| 2025-04-25 09:00:00 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-04-25 09:00:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 09:01:03 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2025-04-25 09:01:57 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f84d9d34579eebef444.dip0.t-ipconnect.de) |
| 2025-04-25 09:05:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-25 09:07:16 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2025-04-25 09:11:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 09:11:57 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-04-25 09:13:56 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-25 09:14:49 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-04-25 09:15:16 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-25 09:16:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-25 09:17:49 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-04-25 09:18:53 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-25 09:21:06 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-04-25 09:21:45 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2025-04-25 09:22:51 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-25 09:24:06 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-04-25 09:26:36 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-04-25 09:27:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 09:28:34 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-04-25 09:29:28 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-04-25 09:33:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-25 09:37:55 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2025-04-25 09:43:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 09:48:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-25 09:48:21 +0200 | euleritian | (~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-04-25 09:48:29 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-04-25 09:48:39 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-04-25 09:49:19 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-04-25 09:50:18 +0200 | chele | (~chele@user/chele) chele |
| 2025-04-25 09:52:09 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2025-04-25 09:58:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 10:00:32 +0200 | sixfourtwelve | (~ethanmorg@82.18.82.103) (Ping timeout: 265 seconds) |
| 2025-04-25 10:02:31 +0200 | sixfourtwelve | (~ethanmorg@82.18.82.103) |
| 2025-04-25 10:03:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-25 10:05:35 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2025-04-25 10:05:36 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-04-25 10:09:09 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-04-25 10:09:42 +0200 | Googulator | (~Googulato@81.183.235.203) |
| 2025-04-25 10:09:48 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 264 seconds) |
| 2025-04-25 10:12:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 10:23:14 +0200 | vpan | (~vpan@212.117.1.172) |
| 2025-04-25 10:23:34 +0200 | vpan | Guest5108 |
| 2025-04-25 10:23:49 +0200 | Guest5108 | vpan |
| 2025-04-25 10:27:15 +0200 | sixfourtwelve | (~ethanmorg@82.18.82.103) (Read error: Connection reset by peer) |
| 2025-04-25 10:31:17 +0200 | sixfourtwelve | (~ethanmorg@82.18.82.103) |
| 2025-04-25 10:51:08 +0200 | fp | (~Thunderbi@wireless-86-50-140-117.open.aalto.fi) (Ping timeout: 252 seconds) |
| 2025-04-25 10:54:25 +0200 | sixfourtwelve | (~ethanmorg@82.18.82.103) (Quit: leaving) |
| 2025-04-25 11:16:22 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-04-25 11:18:38 +0200 | Googulator | (~Googulato@81.183.235.203) (Quit: Client closed) |
| 2025-04-25 11:18:54 +0200 | Googulator | (~Googulato@81.183.235.203) |
| 2025-04-25 11:30:32 +0200 | tromp | (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-25 11:30:46 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-04-25 11:34:32 +0200 | TMA | (tma@twin.jikos.cz) (Ping timeout: 244 seconds) |
| 2025-04-25 11:36:08 +0200 | tromp | (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) |
| 2025-04-25 11:41:58 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-04-25 11:42:38 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-04-25 11:43:10 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-04-25 11:46:33 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-25 12:27:57 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 265 seconds) |
| 2025-04-25 12:41:11 +0200 | lol_ | jcarpenter2 |
| 2025-04-25 12:43:17 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-04-25 12:50:16 +0200 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2025-04-25 12:50:36 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 2025-04-25 12:50:45 +0200 | gehmehgeh | gmg |
| 2025-04-25 13:17:21 +0200 | tromp | (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-25 13:32:06 +0200 | tromp | (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) |
| 2025-04-25 13:32:57 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-04-25 13:38:07 +0200 | <ii8> | Is there a way to force cabal to use a freeze file and fixed index-state and fail if it doesn't find one? |
| 2025-04-25 13:41:42 +0200 | <merijn> | ii8: Not really, no |
| 2025-04-25 13:42:36 +0200 | <merijn> | You could write a script that does that and invoke cabal from there |
| 2025-04-25 13:44:56 +0200 | tromp | (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-25 13:47:40 +0200 | <ii8> | It'd be kind of a tricky script I fear. So there's no way to tell cabal I want a build to be reproducible and it shouldn't do any solving or searching? |
| 2025-04-25 13:49:38 +0200 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2025-04-25 13:51:56 +0200 | <merijn> | ii8: I mean, if you have a cabal.project file in the repo you will get that behaviour |
| 2025-04-25 13:52:11 +0200 | <merijn> | ii8: But doing that in a cabal package is antithetical to it's purpose |
| 2025-04-25 13:52:43 +0200 | <merijn> | ii8: Since cabal package are intended to be reusable generally, allowing something like that in a package on Hackage would be a nightmare |
| 2025-04-25 13:53:03 +0200 | <merijn> | Inside a repo you could have a cabal.project file to enforce a specific index-state, though |
| 2025-04-25 13:53:40 +0200 | <merijn> | It should use that projectfile by default, but there's no way to force it to fail if missing |
| 2025-04-25 13:54:25 +0200 | <merijn> | I mean, I guess your script could be simply "cabal <cmd> --project-file=<filename>" and that'd fail on a non-existent file |
| 2025-04-25 13:54:36 +0200 | <merijn> | but at that point, what have you really accomplished? |
| 2025-04-25 13:55:38 +0200 | sixfourtwelve | (~ethanmorg@82.18.82.103) sixfourtwelve |
| 2025-04-25 13:55:38 +0200 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
| 2025-04-25 13:57:22 +0200 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 265 seconds) |
| 2025-04-25 14:11:12 +0200 | <jackdk> | ii8: If that's your goal, I would use Nix |
| 2025-04-25 14:12:36 +0200 | tv | (~tv@user/tv) tv |
| 2025-04-25 14:23:08 +0200 | jespada | (~jespada@179.26.245.3) jespada |
| 2025-04-25 14:23:26 +0200 | tremon | (~tremon@83.80.159.219) tremon |
| 2025-04-25 14:24:35 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-04-25 14:36:08 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-04-25 14:40:10 +0200 | <haskellbridge> | <Liamzee> is there a reason to use postgresql simple instead of hasql? |
| 2025-04-25 14:40:57 +0200 | <haskellbridge> | <Liamzee> also, about PGRef: |
| 2025-04-25 14:40:59 +0200 | <haskellbridge> | <Liamzee> https://hackage.haskell.org/package/hasql-transaction |
| 2025-04-25 14:41:01 +0200 | <haskellbridge> | <Liamzee> done already |
| 2025-04-25 14:41:08 +0200 | <haskellbridge> | <Liamzee> postgresql simple, i guess, opaleye |
| 2025-04-25 14:47:03 +0200 | <ii8> | merijn: I'm coming from the perspective of packaging haskell programs for linux distros, so I won't be pushing anything to hackage |
| 2025-04-25 14:47:49 +0200 | <ii8> | I just need a way to make sure that cabal always pulls the exact same sources for any given project |
| 2025-04-25 14:48:46 +0200 | ethantwardy | (~user@user/ethantwardy) (Quit: WeeChat 4.4.2) |
| 2025-04-25 14:50:04 +0200 | <ii8> | Are you sure that just a project file existing guarantees that all dependencies are fixed? |
| 2025-04-25 14:52:36 +0200 | <ii8> | I guess assuming it contains an index-state setting. Is that enough or is the freeze file needed too to fix the build? |
| 2025-04-25 14:53:21 +0200 | <ii8> | jackdk: not an option for me I think |
| 2025-04-25 14:54:41 +0200 | <merijn> | ii8: Right, but if you run the build in a dir with a cabal.project file you can force a specific index-state just fine |
| 2025-04-25 14:54:56 +0200 | <merijn> | ii8: The solver is deterministic, so index-state should be sufficient |
| 2025-04-25 14:54:56 +0200 | <haskellbridge> | <ozkutuk> ii8: freeze file provides stronger guarantees wrt determinism compared to index-state |
| 2025-04-25 14:55:10 +0200 | <haskellbridge> | <ozkutuk> for example, it also records the set package flags for the dependencies |
| 2025-04-25 14:57:52 +0200 | <ii8> | Why might the flags change? |
| 2025-04-25 14:58:18 +0200 | <merijn> | ii8: Because they're auto toggle |
| 2025-04-25 14:58:52 +0200 | <ii8> | I'm not sure what that means |
| 2025-04-25 14:59:25 +0200 | <ii8> | If the index-state is fixed and I'm building from the same source tarball, can the flags still end up different? |
| 2025-04-25 14:59:53 +0200 | <merijn> | ii8: Could be a flag that detects whether C library X is on the system and use that if it is |
| 2025-04-25 14:59:55 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000::2) |
| 2025-04-25 14:59:55 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000::2) (Changing host) |
| 2025-04-25 14:59:55 +0200 | haritz | (~hrtz@user/haritz) haritz |
| 2025-04-25 15:01:01 +0200 | <haskellbridge> | <ozkutuk> or a package could depend on, say, "unix" package if the OS is linux and "Win32" if its windows |
| 2025-04-25 15:01:19 +0200 | <ii8> | merijn: In that case it would be fine, I'm assuming a consistend build environment |
| 2025-04-25 15:01:24 +0200 | tromp | (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) |
| 2025-04-25 15:01:45 +0200 | <ii8> | s/considend/consistent |
| 2025-04-25 15:01:57 +0200 | <haskellbridge> | <ozkutuk> I guess pinning index-state would be enough then |
| 2025-04-25 15:04:30 +0200 | <ii8> | Alright, I'll try that then, thanks |
| 2025-04-25 15:05:42 +0200 | TMA | (tma@twin.jikos.cz) TMA |
| 2025-04-25 15:08:51 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 268 seconds) |
| 2025-04-25 15:11:33 +0200 | Square | (~Square@user/square) Square |
| 2025-04-25 15:25:25 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2025-04-25 15:25:43 +0200 | euleritian | (~euleritia@dynamic-176-006-135-143.176.6.pool.telefonica.de) |
| 2025-04-25 15:28:20 +0200 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |
| 2025-04-25 15:32:10 +0200 | dhil | (~dhil@openvpn-125-1069.inf.ed.ac.uk) dhil |
| 2025-04-25 15:35:33 +0200 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2025-04-25 15:36:53 +0200 | Digit | (~user@245.144.208.46.dyn.plus.net) |
| 2025-04-25 15:38:16 +0200 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
| 2025-04-25 15:41:03 +0200 | euleritian | (~euleritia@dynamic-176-006-135-143.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-04-25 15:41:20 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-04-25 15:45:34 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-04-25 15:46:07 +0200 | euleritian | (~euleritia@dynamic-176-006-135-143.176.6.pool.telefonica.de) |
| 2025-04-25 15:49:55 +0200 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2025-04-25 15:50:27 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2025-04-25 15:51:27 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds) |
| 2025-04-25 15:53:56 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-04-25 16:01:55 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-04-25 16:03:43 +0200 | ft | (~ft@p4fc2a6e6.dip0.t-ipconnect.de) ft |
| 2025-04-25 16:06:19 +0200 | Digit | (~user@245.144.208.46.dyn.plus.net) (Ping timeout: 276 seconds) |
| 2025-04-25 16:14:01 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-04-25 16:17:00 +0200 | Googulator47 | (~Googulato@81.183.235.203) |
| 2025-04-25 16:17:28 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 252 seconds) |
| 2025-04-25 16:17:44 +0200 | Digit | (~user@245.144.208.46.dyn.plus.net) |
| 2025-04-25 16:18:29 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2025-04-25 16:19:57 +0200 | Teacup | (~teacup@user/teacup) () |
| 2025-04-25 16:20:19 +0200 | Teacup | (~teacup@user/teacup) Teacup |