2024-11-05 00:07:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-05 00:10:10 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
2024-11-05 00:11:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-05 00:14:48 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-11-05 00:15:54 +0100 | ocra8 | (ocra8@user/ocra8) ocra8 |
2024-11-05 00:15:55 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-11-05 00:16:46 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-11-05 00:17:42 +0100 | acidjnk | (~acidjnk@p200300d6e7283f93159bb6576a1c8c4b.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
2024-11-05 00:19:20 +0100 | emfrom | (~emfrom@37.169.23.60) (Remote host closed the connection) |
2024-11-05 00:20:03 +0100 | emfrom | (~emfrom@37.169.23.60) |
2024-11-05 00:22:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-05 00:27:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-05 00:27:22 +0100 | emfrom | (~emfrom@37.169.23.60) (Remote host closed the connection) |
2024-11-05 00:29:20 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) () |
2024-11-05 00:37:27 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2024-11-05 00:38:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-05 00:40:48 +0100 | roosterphant_ | (~roosterph@185.21.217.76) |
2024-11-05 00:41:13 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
2024-11-05 00:41:14 +0100 | ljdarj1 | ljdarj |
2024-11-05 00:41:22 +0100 | roosterphant | (~roosterph@185.21.217.76) (Ping timeout: 252 seconds) |
2024-11-05 00:41:29 +0100 | Nachtgespenst | (~user@user/siracusa) siracusa |
2024-11-05 00:42:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-05 00:43:24 +0100 | hgolden_ | (~hgolden@23.162.40.69) hgolden |
2024-11-05 00:45:45 +0100 | hgolden__ | (~hgolden@23.162.40.28) (Ping timeout: 252 seconds) |
2024-11-05 00:47:42 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2024-11-05 00:49:10 +0100 | Versality | (~Versality@user/Versality) (Remote host closed the connection) |
2024-11-05 00:51:53 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 265 seconds) |
2024-11-05 00:53:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-05 00:56:42 +0100 | <haskellbridge> | <zwro> monochrom: main = print 1 |
2024-11-05 01:00:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-11-05 01:05:51 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
2024-11-05 01:11:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-05 01:13:26 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-11-05 01:16:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-05 01:17:40 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-11-05 01:23:47 +0100 | xff0x | (~xff0x@2405:6580:b080:900:26bf:a0f9:b4d:93d8) (Ping timeout: 265 seconds) |
2024-11-05 01:24:34 +0100 | rini | (~rini@user/rini) (Ping timeout: 260 seconds) |
2024-11-05 01:25:36 +0100 | rini | (~rini@user/rini) rini |
2024-11-05 01:26:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-05 01:31:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-11-05 01:37:25 +0100 | sprotte24 | (~sprotte24@p200300d16f3c620054c3529ac9abaeb8.dip0.t-ipconnect.de) (Quit: Leaving) |
2024-11-05 01:37:56 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds) |
2024-11-05 01:39:02 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
2024-11-05 01:42:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-05 01:46:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-11-05 01:48:04 +0100 | sroso | (~sroso@user/SrOso) SrOso |
2024-11-05 01:50:24 +0100 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
2024-11-05 01:54:48 +0100 | jess | (meow@libera/staff/cat/jess) (Quit: Lost terminal) |
2024-11-05 01:57:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-05 02:02:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-11-05 02:02:59 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-11-05 02:04:38 +0100 | jess | (meow@libera/staff/cat/jess) jess |
2024-11-05 02:10:52 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2024-11-05 02:12:16 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2024-11-05 02:13:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-05 02:14:00 +0100 | <sclv> | Inst: servant has a special helper just for your use case of exposing a directory https://hackage.haskell.org/package/servant-server-0.20.2/docs/Servant-Server-StaticFiles.html#v:s… |
2024-11-05 02:16:43 +0100 | m5zs7k | (aquares@web10.mydevil.net) (Read error: Connection reset by peer) |
2024-11-05 02:17:08 +0100 | m5zs7k | (aquares@web10.mydevil.net) m5zs7k |
2024-11-05 02:18:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-05 02:20:36 +0100 | Square2 | (~Square4@user/square) Square |
2024-11-05 02:26:56 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds) |
2024-11-05 02:28:13 +0100 | madhavanmiui | (~madhavanm@152.58.212.143) |
2024-11-05 02:28:16 +0100 | madhavanmiui | (~madhavanm@152.58.212.143) (Client Quit) |
2024-11-05 02:29:08 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
2024-11-05 02:29:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-05 02:29:43 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
2024-11-05 02:30:11 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-11-05 02:39:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-11-05 02:48:14 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
2024-11-05 02:48:18 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-11-05 02:48:57 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
2024-11-05 02:50:33 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
2024-11-05 02:50:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-05 02:52:22 +0100 | rvalue- | rvalue |
2024-11-05 02:52:38 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
2024-11-05 02:55:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-11-05 03:06:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-05 03:10:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-05 03:13:33 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2024-11-05 03:15:31 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-11-05 03:18:25 +0100 | troojg | (~troojg@user/troojg) troojg |
2024-11-05 03:21:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-05 03:26:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-11-05 03:31:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-05 03:34:59 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
2024-11-05 03:35:24 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2024-11-05 03:36:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-11-05 03:37:49 +0100 | spew | (~spew@201.141.99.170) (Quit: spew) |
2024-11-05 03:39:51 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2024-11-05 03:40:06 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-11-05 03:43:23 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Quit: Leaving...) |
2024-11-05 03:51:35 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 255 seconds) |
2024-11-05 03:52:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-05 03:53:51 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2024-11-05 03:56:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-11-05 03:59:25 +0100 | hgolden__ | (~hgolden@23.162.40.28) hgolden |
2024-11-05 04:01:51 +0100 | hgolden_ | (~hgolden@23.162.40.69) (Ping timeout: 252 seconds) |
2024-11-05 04:07:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-05 04:14:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-05 04:25:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-05 04:28:15 +0100 | <arahael> | I'm attempting to install haskell on debian trixie. However, ghcup installs the wrong version. |
2024-11-05 04:28:32 +0100 | <arahael> | It's installing the version for bookworm instead. |
2024-11-05 04:30:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-11-05 04:38:57 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Ping timeout: 252 seconds) |
2024-11-05 04:41:06 +0100 | <geekosaur> | afaict there isn't one for trixie |
2024-11-05 04:41:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-05 04:41:26 +0100 | <arahael> | Hmm, so I should stick with the distro-provided ghc and cabal et al. |
2024-11-05 04:41:49 +0100 | <arahael> | Or use distrobox and get myself setup with bookworm I guess. |
2024-11-05 04:42:13 +0100 | <geekosaur> | there are two debian distributions in the ghcup metadata from what I saw, if neither is compatible then you'll have to file a bug about getting a compatible build |
2024-11-05 04:42:19 +0100 | terrorjack4 | (~terrorjac@2a01:4f8:c17:dc9f::) (Quit: The Lounge - https://thelounge.chat) |
2024-11-05 04:42:19 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 260 seconds) |
2024-11-05 04:42:35 +0100 | <arahael> | What are those two debians? |
2024-11-05 04:43:04 +0100 | <arahael> | I suppose it's possible ghcup don't want to support a testing release until it's properly released as stable? |
2024-11-05 04:43:10 +0100 | <geekosaur> | I see "< 10" and ">= 10" |
2024-11-05 04:43:26 +0100 | <arahael> | That's... Interesting. |
2024-11-05 04:43:53 +0100 | <arahael> | By contrast, I saw that ghcup instructed me to install packages that no-longer exist, and tried to install for version 11. |
2024-11-05 04:43:59 +0100 | <arahael> | (And I'm on version 12 - trixie) |
2024-11-05 04:44:00 +0100 | terrorjack4 | (~terrorjac@2a01:4f8:c17:dc9f::) terrorjack |
2024-11-05 04:45:33 +0100 | troojg | (~troojg@user/troojg) (Ping timeout: 252 seconds) |
2024-11-05 04:45:46 +0100 | <geekosaur> | sorry, once I get to a modern version it's three (<10, 10, >=11) |
2024-11-05 04:45:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-11-05 04:46:29 +0100 | <arahael> | Ah, that makes sense again, then. |
2024-11-05 04:46:45 +0100 | <arahael> | I could give it a go, regardless, and try the 'bookworm' version. |
2024-11-05 04:49:20 +0100 | <arahael> | Ah, it seems to be a little inconsistent - some of the packages are for bookworm, and some are for trixie. |
2024-11-05 04:49:53 +0100 | <arahael> | ghci> putStrLn "Hello World!" |
2024-11-05 04:49:55 +0100 | <arahael> | Hello World! |
2024-11-05 04:49:57 +0100 | <arahael> | All good! |
2024-11-05 04:53:33 +0100 | td_ | (~td@i53870904.versanet.de) (Ping timeout: 265 seconds) |