2025/04/25

Newest at the top

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: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:49:38 +0200mceresa(~mceresa@user/mceresa) mceresa
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:44:56 +0200tromp(~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) (Quit: My iMac has gone to sleep. ZZZzzz…)
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:41:42 +0200 <merijn> ii8: Not really, no
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:32:57 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-04-25 13:32:06 +0200tromp(~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f)
2025-04-25 13:17:21 +0200tromp(~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-04-25 12:50:45 +0200gehmehgehgmg
2025-04-25 12:50:36 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 264 seconds)
2025-04-25 12:50:16 +0200gehmehgeh(~user@user/gehmehgeh) gehmehgeh
2025-04-25 12:43:17 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-04-25 12:41:11 +0200lol_jcarpenter2
2025-04-25 12:27:57 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 265 seconds)
2025-04-25 11:46:33 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-25 11:43:10 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 260 seconds)
2025-04-25 11:42:38 +0200chiselfuse(~chiselfus@user/chiselfuse) chiselfuse
2025-04-25 11:41:58 +0200chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2025-04-25 11:36:08 +0200tromp(~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f)
2025-04-25 11:34:32 +0200TMA(tma@twin.jikos.cz) (Ping timeout: 244 seconds)
2025-04-25 11:30:46 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2025-04-25 11:30:32 +0200tromp(~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-04-25 11:18:54 +0200Googulator(~Googulato@81.183.235.203)
2025-04-25 11:18:38 +0200Googulator(~Googulato@81.183.235.203) (Quit: Client closed)
2025-04-25 11:16:22 +0200fp(~Thunderbi@2001:708:20:1406::1370) fp
2025-04-25 10:54:25 +0200sixfourtwelve(~ethanmorg@82.18.82.103) (Quit: leaving)
2025-04-25 10:51:08 +0200fp(~Thunderbi@wireless-86-50-140-117.open.aalto.fi) (Ping timeout: 252 seconds)
2025-04-25 10:31:17 +0200sixfourtwelve(~ethanmorg@82.18.82.103)
2025-04-25 10:27:15 +0200sixfourtwelve(~ethanmorg@82.18.82.103) (Read error: Connection reset by peer)
2025-04-25 10:23:49 +0200Guest5108vpan
2025-04-25 10:23:34 +0200vpanGuest5108
2025-04-25 10:23:14 +0200vpan(~vpan@212.117.1.172)
2025-04-25 10:12:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 10:09:48 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 264 seconds)
2025-04-25 10:09:42 +0200Googulator(~Googulato@81.183.235.203)
2025-04-25 10:09:09 +0200__monty__(~toonn@user/toonn) toonn
2025-04-25 10:05:36 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-04-25 10:05:35 +0200tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
2025-04-25 10:03:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-25 10:02:31 +0200sixfourtwelve(~ethanmorg@82.18.82.103)
2025-04-25 10:00:32 +0200sixfourtwelve(~ethanmorg@82.18.82.103) (Ping timeout: 265 seconds)
2025-04-25 09:58:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 09:52:09 +0200tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving)
2025-04-25 09:50:18 +0200chele(~chele@user/chele) chele
2025-04-25 09:49:19 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 276 seconds)
2025-04-25 09:48:39 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-04-25 09:48:29 +0200j1n37-(~j1n37@user/j1n37) j1n37