| 13 Feb 2026 |
 alexfmpe | summon John Ericson | 19:49:32 |
 John Ericson | hi | 20:18:57 |
| John Ericson | see sandstone | 20:19:17 |
| John Ericson | git@github.com:obsidiansystems/sandstone.git | 20:19:36 |
 Sigmanificient | the summoning ritual worked :D | 20:19:37 |
| John Ericson | * https://github.com/obsidiansystems/sandstone | 20:19:52 |
|  fpringle joined the room. | 22:22:11 |
|  fnctr changed their profile picture. | 22:58:01 |
| 14 Feb 2026 |
|  @funkyeggdev:matrix.org left the room. | 00:13:12 |
|  ijouw joined the room. | 01:09:28 |
 magic_rb | It would be very cool if we could use dyndrv for haskell builds, hmm | 10:24:16 |
|  amadaluzia joined the room. | 21:02:56 |
| 15 Feb 2026 |
|  amadaluzia[tde] changed their profile picture. | 00:28:57 |
|  indy joined the room. | 06:54:27 |
| amadaluzia[tde] changed their profile picture. | 22:03:28 |
| amadaluzia[tde] changed their profile picture. | 22:04:34 |
| 16 Feb 2026 |
| magic_rb |
romes: The first Stage3 cross-compiler (i.e. a cross-compiled compiler) built by our CI:
https://gitlab.haskell.org/ghc/ghc/-/jobs/2421476/artifacts/browse
I'm testing it now.
They managed to get a riscv ghc crossed from im assuming x86. Could be used for bootstrap on our side 🎉
(Cross post from #GHC:matrix.org)
| 11:29:59 |
 Alex | We already have a working setup for native RISC-V via x86 cross (which I think is in the official Nixpkgs cache now?), but an official RISC-V build could make it less fragile.
But I suspect that the new compiler is only viable for the latest GHC, which would take a while to become the default GHC? | 12:05:05 |
|  pneumatic changed their profile picture. | 15:17:52 |
| 17 Feb 2026 |
|  @jboy:utwente.io joined the room. | 12:45:25 |
| @jboy:utwente.io left the room. | 12:53:18 |
| 18 Feb 2026 |
|  -> @n:rab.lol changed their display name from niko ⚡️ to -> @n:rab.lol. | 23:28:25 |
| 19 Feb 2026 |
 woobilicious | what's the simplest way to bump a package version? sbv package is broken and that version is marked as deprecated upstream. I guess overrideSrc is best here? | 04:26:53 |
 peddie | out of curiosity, isn't sbv usually broken because its golden tests hardcode what they expect to be emitted for the name/path of the SMT solver, but in nixpkgs it emits the full path rather than just the binary name? did he finally fix this upstream? | 04:40:41 |
| woobilicious | Never used it before, so can't comment on it, wouldn't we want to just disable tests instead? | 04:43:53 |
| woobilicious | wait hold up we have a newer verision but its called sbv_12 hmm | 04:50:17 |
| woobilicious | but that is also marked as broken lol | 04:52:16 |
| woobilicious | note the only suppposed working version on hackage is v13.5 | 04:53:04 |
| woobilicious | well, looks like the reason why our version is 11.7 is that that is what stackage lts uses. | 05:22:52 |
| woobilicious | peddie: you might be right there, we don't mark it dontCheck by the looks. checks are also extremely slow. I've disabled now because I'm impatient lol | 05:33:03 |
