| 2026-04-16 00:01:39 +0000 | skum | (~skum@user/skum) skum |
| 2026-04-16 00:02:14 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-16 00:03:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-16 00:05:07 +0000 | tusko | (~uwu@user/tusko) (Ping timeout: 265 seconds) |
| 2026-04-16 00:08:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-16 00:09:20 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 245 seconds) |
| 2026-04-16 00:12:57 +0000 | czan | (~czan@user/mange) czan |
| 2026-04-16 00:16:00 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e569d2a193f783d69153.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2026-04-16 00:16:49 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-04-16 00:18:00 +0000 | FANTOM | (~fantom@90.244.168.62) (Ping timeout: 265 seconds) |
| 2026-04-16 00:18:37 +0000 | FANTOM | (~fantom@90.244.62.113) |
| 2026-04-16 00:19:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-16 00:24:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-16 00:24:45 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-16 00:29:32 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 252 seconds) |
| 2026-04-16 00:34:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-16 00:39:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-16 00:46:10 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-16 00:48:46 +0000 | xff0x | (~xff0x@2405:6580:b080:900:9457:2e7e:16ea:35a) (Ping timeout: 244 seconds) |
| 2026-04-16 00:51:22 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 276 seconds) |
| 2026-04-16 00:51:54 +0000 | rainbyte | (~rainbyte@181.47.219.3) (Read error: Connection reset by peer) |
| 2026-04-16 00:51:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-16 00:54:16 +0000 | rainbyte | (~rainbyte@181.47.219.3) rainbyte |
| 2026-04-16 00:56:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-04-16 00:56:53 +0000 | drbean | (~drbean@softbank126022010209.bbtec.net) owuser |
| 2026-04-16 00:58:01 +0000 | <drbean> | I can't find a URL to download the 'cabal update' list of packages. |
| 2026-04-16 00:58:55 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Read error: Connection reset by peer) |
| 2026-04-16 00:58:59 +0000 | <drbean> | Presumably https://hackage.haskell.org/something |
| 2026-04-16 00:59:01 +0000 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-04-16 01:00:22 +0000 | <drbean> | I know! I'll go to https://hackage.haskell.org/cabal-install |
| 2026-04-16 01:02:32 +0000 | <drbean> | Something is broken in the ghcup toolchain. |
| 2026-04-16 01:02:51 +0000 | <drbean> | On Windows 10. |
| 2026-04-16 01:03:43 +0000 | <drbean> | Rarely with ghcup and now cabal, connecting to download ghc, etc works. |
| 2026-04-16 01:05:06 +0000 | <drbean> | But ghcup reports the URL it's failing to download from, and I use curl to download it and then 'ghcup --cache install hls', etc. |
| 2026-04-16 01:05:07 +0000 | <sclv> | you can run cabal update with a verbosity flag to debug |
| 2026-04-16 01:06:11 +0000 | <EvanR> | if ghcup is relying on github at some point that's been getting mixed reviews today |
| 2026-04-16 01:06:24 +0000 | <drbean> | OK. Good to know. Unlike 'ghcup', 'cabal' doesn't report the URL. I will try the verbosity flat |
| 2026-04-16 01:07:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-16 01:11:59 +0000 | spew | (~spew@user/spew) spew |
| 2026-04-16 01:14:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-16 01:14:47 +0000 | <drbean> | The verbose output from 'curl -v update' doesn't appear to have a URL of a file with list of updates I can download. |
| 2026-04-16 01:15:06 +0000 | <drbean> | Sorry 'cabal -v update' |
| 2026-04-16 01:16:27 +0000 | <drbean> | 'ghcup' does, so as workaround, I download the hls, cabal, stack tarballs to ghcup's cache dir. |
| 2026-04-16 01:17:15 +0000 | <drbean> | And then install from the cache with 'ghcup --cache install hls' etc. |
| 2026-04-16 01:18:28 +0000 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2026-04-16 01:18:32 +0000 | <drbean> | This 'cabal update' is not particularly pressing. |
| 2026-04-16 01:19:12 +0000 | <geekosaur> | that's not what cabal update does anyway. (also -v3 might have it) |
| 2026-04-16 01:19:44 +0000 | <drbean> | But the broken installation process with ghcup and cabal is something I want to fix |
| 2026-04-16 01:20:37 +0000 | <geekosaur> | it downloads an 01-index.tar.gz which as a complete index of hackage's contents' cabal files |
| 2026-04-16 01:21:51 +0000 | <geekosaur> | and then indexes that; actual updates happen later when packages are (re)built, but the index's contents inform the solver for picking versions of packages/dependencies |
| 2026-04-16 01:22:22 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-16 01:22:37 +0000 | yaroot | (~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c) (Remote host closed the connection) |
| 2026-04-16 01:23:48 +0000 | <drbean> | Can cabal build the index from a cached file, like ghcup can for installing hls, etc? |
| 2026-04-16 01:23:48 +0000 | synchrom1 | (~john@115.69.186.131) (Quit: WeeChat 4.1.1) |
| 2026-04-16 01:24:59 +0000 | <geekosaur> | I'm not sure what you think is going on there. the cached file already has its associated indiexes. what it doesn't have is any new uploads to Hackage |
| 2026-04-16 01:25:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-16 01:25:57 +0000 | <geekosaur> | ghcup, on the other hand, only deals with a handful of tools and gets information about those from a yaml file which it tries to update periodically |
| 2026-04-16 01:26:34 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 245 seconds) |
| 2026-04-16 01:27:00 +0000 | <drbean> | If it can, I will use curl to download https://hackage.haskell.org/.../01-index.tar.gz. Where doesit put the 01-index tarball? |
| 2026-04-16 01:27:03 +0000 | <geekosaur> | if it fails, obviously you won't see new versions of things, but you can still instaall and switch between versions it kn ows about via the cached file. cabal also continues to work if `cabal update` (after the very first one) fails, it just won't know about newer packages |
| 2026-04-16 01:27:45 +0000 | <drbean> | OK. 'cabal update' isn't a pressing issue. |
| 2026-04-16 01:28:03 +0000 | <drbean> | Good to know. |
| 2026-04-16 01:29:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-16 01:31:35 +0000 | <geekosaur> | I have $HOME/.cache/cabal/packages/hackage.haskell.org/01-index.tar.gz but I use XDG mode. it'll be under $HOME/.cabal in old mode. don't know where Windows puts it |
| 2026-04-16 01:31:57 +0000 | <geekosaur> | (I think the packages dir is directly in ~/.cabal in old style?) |
| 2026-04-16 01:33:10 +0000 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2026-04-16 01:35:06 +0000 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 246 seconds) |
| 2026-04-16 01:35:06 +0000 | polykernel_ | polykernel |
| 2026-04-16 01:38:26 +0000 | <drbean> | Thanks. Mrs Bean says I have to eat. |
| 2026-04-16 01:38:34 +0000 | <drbean> | Bye |
| 2026-04-16 01:38:41 +0000 | drbean | (~drbean@softbank126022010209.bbtec.net) (WeeChat 4.9.0) |
| 2026-04-16 01:39:01 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-04-16 01:40:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-16 01:40:50 +0000 | Googulator | (~Googulato@94-21-172-213.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-16 01:41:20 +0000 | Googulator | (~Googulato@94-21-172-213.pool.digikabel.hu) |
| 2026-04-16 01:42:22 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-16 01:45:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-16 01:47:07 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 264 seconds) |
| 2026-04-16 01:50:43 +0000 | sapphire-arches | (~sapphire-@user/sapphire-arches) sapphire-arches |
| 2026-04-16 01:55:10 +0000 | xal | (~xal@mx1.xal.systems) (Ping timeout: 245 seconds) |
| 2026-04-16 01:56:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-16 01:57:08 +0000 | xal | (~xal@2607:9000:3000:11::fb8d:a8a3) xal |
| 2026-04-16 02:01:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-16 02:05:28 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-16 02:09:45 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 248 seconds) |
| 2026-04-16 02:12:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-16 02:17:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-04-16 02:28:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-16 02:33:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-16 02:34:47 +0000 | FANTOM | (~fantom@90.244.62.113) (Ping timeout: 265 seconds) |
| 2026-04-16 02:35:36 +0000 | FANTOM | (~fantom@90.244.177.43) |
| 2026-04-16 02:41:46 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-16 02:43:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-16 02:44:43 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 264 seconds) |
| 2026-04-16 02:46:22 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 268 seconds) |
| 2026-04-16 02:50:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-16 02:51:19 +0000 | Square3 | (~Square4@user/square) (Ping timeout: 244 seconds) |
| 2026-04-16 02:54:50 +0000 | Googulator | (~Googulato@94-21-172-213.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-16 02:55:15 +0000 | Googulator | (~Googulato@94-21-172-213.pool.digikabel.hu) |
| 2026-04-16 03:02:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-16 03:04:39 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-16 03:06:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-16 03:12:21 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 272 seconds) |
| 2026-04-16 03:14:15 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-04-16 03:16:04 +0000 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2026-04-16 03:17:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-16 03:18:00 +0000 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 246 seconds) |
| 2026-04-16 03:18:00 +0000 | polykernel_ | polykernel |
| 2026-04-16 03:23:05 +0000 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-04-16 03:23:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-16 03:33:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-16 03:33:55 +0000 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2026-04-16 03:38:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-16 03:40:29 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-16 03:43:15 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-04-16 03:45:03 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 244 seconds) |
| 2026-04-16 03:49:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-16 03:53:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-16 03:59:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-16 03:59:48 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-16 04:00:00 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2026-04-16 04:04:02 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 248 seconds) |
| 2026-04-16 04:04:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-16 04:08:48 +0000 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-04-16 04:09:00 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-04-16 04:09:04 +0000 | xal | (~xal@2607:9000:3000:11::fb8d:a8a3) (Ping timeout: 245 seconds) |
| 2026-04-16 04:09:04 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-16 04:10:30 +0000 | xal | (~xal@mx1.xal.systems) xal |
| 2026-04-16 04:13:18 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 246 seconds) |
| 2026-04-16 04:15:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-16 04:15:46 +0000 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-04-16 04:20:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-16 04:23:11 +0000 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb2build5 - https://znc.in) |
| 2026-04-16 04:23:42 +0000 | califax | (~califax@user/califx) (Ping timeout: 265 seconds) |
| 2026-04-16 04:25:09 +0000 | tusko | (~uwu@user/tusko) (Ping timeout: 265 seconds) |
| 2026-04-16 04:26:38 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-04-16 04:29:02 +0000 | monochrom | (trebla@216.138.220.146) monochrom |
| 2026-04-16 04:30:35 +0000 | califax | (~califax@user/califx) califx |
| 2026-04-16 04:31:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-16 04:33:21 +0000 | haritzondo | (~hrtz@140.228.70.141) |
| 2026-04-16 04:33:45 +0000 | haritz | (~hrtz@user/haritz) (Ping timeout: 248 seconds) |
| 2026-04-16 04:38:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-16 04:40:31 +0000 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb2build5 - https://znc.in) |
| 2026-04-16 04:45:09 +0000 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-04-16 04:46:16 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-16 04:46:32 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds) |
| 2026-04-16 04:49:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-16 04:49:31 +0000 | xff0x_ | xff0x |
| 2026-04-16 04:53:24 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 255 seconds) |
| 2026-04-16 04:53:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-16 04:55:00 +0000 | monochrom | (trebla@216.138.220.146) monochrom |
| 2026-04-16 05:04:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-16 05:05:01 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-04-16 05:09:16 +0000 | Guest36 | (~Guest36@2601:41:4301:bff1:a886:9743:2b36:55a6) |
| 2026-04-16 05:09:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-16 05:09:54 +0000 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2026-04-16 05:14:36 +0000 | michalz | (~michalz@185.246.207.221) |
| 2026-04-16 05:19:37 +0000 | raincomplex | (~rain@user/raincomplex) (Ping timeout: 248 seconds) |
| 2026-04-16 05:20:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-16 05:21:29 +0000 | Guest36 | (~Guest36@2601:41:4301:bff1:a886:9743:2b36:55a6) (Quit: Client closed) |
| 2026-04-16 05:24:09 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-16 05:25:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-16 05:29:46 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-04-16 05:31:21 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 248 seconds) |
| 2026-04-16 05:39:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-16 05:44:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-04-16 05:45:27 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-04-16 05:46:00 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-16 05:54:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-16 05:59:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-16 06:00:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-16 06:02:43 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 272 seconds) |
| 2026-04-16 06:05:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-16 06:10:07 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-16 06:12:45 +0000 | noxp | (~noxp@2600:1700:2050:1040::49) noxp |
| 2026-04-16 06:15:02 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 268 seconds) |
| 2026-04-16 06:16:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-16 06:21:22 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 256 seconds) |
| 2026-04-16 06:22:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-16 06:29:57 +0000 | raincomplex | (~rain@pool-173-54-178-82.nwrknj.fios.verizon.net) |
| 2026-04-16 06:29:57 +0000 | raincomplex | (~rain@pool-173-54-178-82.nwrknj.fios.verizon.net) (Changing host) |
| 2026-04-16 06:29:57 +0000 | raincomplex | (~rain@user/raincomplex) raincomplex |
| 2026-04-16 06:30:15 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-04-16 06:33:09 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-04-16 06:33:22 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2026-04-16 06:34:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-16 06:37:04 +0000 | Enrico63 | (~Enrico63@host-79-42-237-9.retail.telecomitalia.it) Enrico63 |
| 2026-04-16 06:39:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-16 06:41:48 +0000 | czan | (~czan@user/mange) (Quit: Quittin' time!) |
| 2026-04-16 06:41:59 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-16 06:46:24 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 244 seconds) |
| 2026-04-16 06:50:02 +0000 | ft | (~ft@p508db287.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-04-16 06:50:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-16 06:55:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-16 06:57:19 +0000 | noxp | (~noxp@2600:1700:2050:1040::49) (Ping timeout: 276 seconds) |
| 2026-04-16 07:01:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-16 07:01:38 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-16 07:03:32 +0000 | <gentauro> | 23:42 <@janus> https://github.com/solomon-b/lambda-calculus-hs/ janus that seems like a nice project |
| 2026-04-16 07:06:09 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 255 seconds) |
| 2026-04-16 07:06:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-04-16 07:09:35 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-04-16 07:10:49 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) CiaoSen |
| 2026-04-16 07:22:06 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:94bc:c513:e806:9a8f) |
| 2026-04-16 07:22:06 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:94bc:c513:e806:9a8f) (Changing host) |
| 2026-04-16 07:22:06 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-16 07:28:28 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-16 07:30:02 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-04-16 07:30:51 +0000 | drbean | (~drbean@softbank126022010209.bbtec.net) owuser |
| 2026-04-16 07:32:29 +0000 | jreicher | (~joelr@user/jreicher) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2026-04-16 07:32:49 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 245 seconds) |
| 2026-04-16 07:34:28 +0000 | <drbean> | 6 hrs ago, here, I posted about ghcup, cabal downloading problems running them in a MSYS2 shell. |
| 2026-04-16 07:37:33 +0000 | <drbean> | I was able to workaround the ghcup downloading problem using curl downloading from the URL ghcup reported to ghcup's cache, and installing from the cache. |
| 2026-04-16 07:38:46 +0000 | <drbean> | I wasn't able to do that downloading the cabal package index. It wasn't reporting a URL. |
| 2026-04-16 07:40:22 +0000 | <drbean> | I am now able to solve that problem by running ghcup install .., cabal update in a windows 'cmd' shell. |
| 2026-04-16 07:43:46 +0000 | foul_owl | (~kerry@94.156.149.97) (Read error: Connection reset by peer) |
| 2026-04-16 07:44:03 +0000 | tromp | (~textual@2001:1c00:340e:2700:68be:1bd6:d97b:c11e) |
| 2026-04-16 07:44:22 +0000 | Googulator | (~Googulato@94-21-172-213.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-16 07:44:52 +0000 | Googulator | (~Googulato@94-21-172-213.pool.digikabel.hu) |
| 2026-04-16 07:47:32 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-04-16 07:47:32 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-16 07:52:17 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 272 seconds) |
| 2026-04-16 07:56:30 +0000 | sapphire-arches | (~sapphire-@user/sapphire-arches) (Quit: sapphire-arches) |
| 2026-04-16 07:59:22 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-04-16 07:59:44 +0000 | alter2000 | (~alter2000@user/alter2000) alter2000 |
| 2026-04-16 08:01:34 +0000 | foul_owl | (~kerry@94.156.149.94) foul_owl |
| 2026-04-16 08:02:29 +0000 | rainbyte | (~rainbyte@181.47.219.3) (Read error: Connection reset by peer) |
| 2026-04-16 08:03:45 +0000 | rainbyte | (~rainbyte@181.47.219.3) rainbyte |
| 2026-04-16 08:06:20 +0000 | xal | (~xal@mx1.xal.systems) (Quit: No Ping reply in 180 seconds.) |
| 2026-04-16 08:06:38 +0000 | xal | (~xal@mx1.xal.systems) xal |
| 2026-04-16 08:11:04 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-16 08:11:40 +0000 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-04-16 08:13:49 +0000 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Ping timeout: 268 seconds) |
| 2026-04-16 08:15:46 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 248 seconds) |
| 2026-04-16 08:19:41 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-16 08:20:55 +0000 | Enrico63 | (~Enrico63@host-79-42-237-9.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-04-16 08:30:07 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-16 08:34:48 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 255 seconds) |
| 2026-04-16 08:40:12 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-04-16 08:45:20 +0000 | <drbean> | Perhaps that failure,curl: (6) getaddrinfo() thread failed to start |
| 2026-04-16 08:45:22 +0000 | <drbean> | [\\ Error ] [GHCup-05841] Download failed: Process "curl" with arguments ["-fL", "-o", |
| 2026-04-16 08:46:12 +0000 | <drbean> | [ ... ] "C:\\ghcup\\tmp\\ghcup-b8584d5329d547aa etc, etc |
| 2026-04-16 08:48:23 +0000 | <drbean> | is due to different curls, MYS2's and the cmd shell Windows' one. |
| 2026-04-16 08:55:36 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2026-04-16 08:56:57 +0000 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur |
| 2026-04-16 08:57:18 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 2026-04-16 08:58:08 +0000 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2026-04-16 09:02:58 +0000 | tromp | (~textual@2001:1c00:340e:2700:68be:1bd6:d97b:c11e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-16 09:04:44 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e56950ba08f7defcf20e.dip0.t-ipconnect.de) |
| 2026-04-16 09:06:32 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-16 09:11:10 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 268 seconds) |
| 2026-04-16 09:13:02 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-16 09:17:29 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 248 seconds) |
| 2026-04-16 09:23:53 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 244 seconds) |
| 2026-04-16 09:26:05 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-16 09:26:58 +0000 | noxp | (~noxp@2600:1700:2050:1040::49) noxp |
| 2026-04-16 09:29:29 +0000 | somemathguy | (~somemathg@user/somemathguy) (Ping timeout: 245 seconds) |
| 2026-04-16 09:29:38 +0000 | <[exa]> | drbean: yes I think that is a common occurrence |
| 2026-04-16 09:31:13 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-16 09:35:46 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 248 seconds) |
| 2026-04-16 09:40:54 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2026-04-16 09:49:33 +0000 | sajith | (~sajith@user/sajith) (Quit: Gone) |
| 2026-04-16 09:49:51 +0000 | sajith | (~sajith@user/sajith) sajith |
| 2026-04-16 09:49:52 +0000 | <drbean> | Dinner time. |
| 2026-04-16 09:49:55 +0000 | drbean | (~drbean@softbank126022010209.bbtec.net) (WeeChat 4.9.0) |
| 2026-04-16 09:51:26 +0000 | Googulator4 | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-16 09:54:22 +0000 | Googulator | (~Googulato@94-21-172-213.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 2026-04-16 09:54:54 +0000 | Digit | (~user@user/digit) (Ping timeout: 246 seconds) |
| 2026-04-16 09:56:16 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e5299056f7cd06d68fc4.dip0.t-ipconnect.de) acidjnk |
| 2026-04-16 09:57:59 +0000 | noxp | (~noxp@2600:1700:2050:1040::49) (Ping timeout: 244 seconds) |
| 2026-04-16 09:59:04 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e56950ba08f7defcf20e.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2026-04-16 10:05:40 +0000 | _________ | (~nobody@user/noodly) (Ping timeout: 268 seconds) |
| 2026-04-16 10:07:44 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-16 10:08:03 +0000 | divya | (divya@140.238.251.170) divya |
| 2026-04-16 10:08:17 +0000 | danza | (~danza@user/danza) danza |
| 2026-04-16 10:11:56 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 244 seconds) |
| 2026-04-16 10:13:32 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-16 10:15:10 +0000 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2026-04-16 10:18:00 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 246 seconds) |
| 2026-04-16 10:28:56 +0000 | Googulator4 | (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-16 10:29:26 +0000 | Googulator4 | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-16 10:31:05 +0000 | mauke | (~mauke@user/mauke) (Read error: Connection reset by peer) |
| 2026-04-16 10:31:23 +0000 | mauke | (~mauke@user/mauke) mauke |
| 2026-04-16 10:32:53 +0000 | preflex_ | (~preflex@user/mauke/bot/preflex) preflex |
| 2026-04-16 10:33:19 +0000 | preflex | (~preflex@user/mauke/bot/preflex) (Ping timeout: 264 seconds) |
| 2026-04-16 10:33:27 +0000 | preflex_ | preflex |
| 2026-04-16 10:35:04 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds) |
| 2026-04-16 10:38:19 +0000 | myme | (~myme@2a01:799:d5e:5f00:374a:96c4:fb0d:7007) (Ping timeout: 276 seconds) |
| 2026-04-16 10:38:31 +0000 | myme | (~myme@2a01:799:d5e:5f00:170f:167e:539:9415) myme |
| 2026-04-16 10:48:38 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) CiaoSen |
| 2026-04-16 10:50:10 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-16 10:54:46 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 268 seconds) |
| 2026-04-16 11:00:50 +0000 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2026-04-16 11:01:53 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:6921:fb09:4b65:8d9) arandombit |
| 2026-04-16 11:01:53 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:6921:fb09:4b65:8d9) (Changing host) |
| 2026-04-16 11:01:53 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-16 11:03:56 +0000 | _________ | (~nobody@user/noodly) _________ |
| 2026-04-16 11:07:40 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-04-16 11:09:09 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-04-16 11:09:34 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-04-16 11:12:29 +0000 | Digit | (~user@user/digit) Digit |
| 2026-04-16 11:13:19 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-16 11:17:42 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 255 seconds) |
| 2026-04-16 11:31:08 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-04-16 11:31:35 +0000 | xff0x | (~xff0x@2405:6580:b080:900:12:bb15:9a2f:cd8a) |
| 2026-04-16 11:32:28 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-16 11:36:50 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 245 seconds) |
| 2026-04-16 11:51:28 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-16 11:52:05 +0000 | comerijn | (~merijn@77.242.116.146) merijn |
| 2026-04-16 11:54:58 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2026-04-16 11:56:16 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 256 seconds) |