| 21 Mar 2026 |
sterni (he/him) | gonna clean that up, patch doesn't seem too terrible to maintain, may even be upstreamable in some shape or form | 16:31:27 |
Teo (he/him) | I'm not sure if there's an existing issue. Creating one sounds great! https://gitlab.haskell.org/ghc/ghc/-/merge_requests/15231 might cover this but I'm not sure.
Even if it's just nix specific it would be good to have it upstream since then we'd be less likely to break downstream all the time.
| 16:53:41 |
| 20 May 2021 |
| @grahamc:nixos.org set the history visibility to "world_readable". | 22:10:58 |
| @grahamc:nixos.org changed the room name to "" from "". | 22:10:58 |
| @grahamc:nixos.org invited maralorn. | 22:11:05 |
| maralorn joined the room. | 22:11:13 |
| andi- joined the room. | 22:30:49 |
| @grahamc:nixos.orgchanged room power levels. | 22:36:42 |
| Room Avatar Renderer. | 22:46:20 |
| maralorn changed the join rule to "public" from "public". | 22:54:26 |
| maralorn changed the room topic to "For discussions and questions about Haskell with Nix, cabal2nix and haskellPackages in nixpkgs | Current Docs: https://haskell4nix.readthedocs.io/" from "For discussions about Haskell with Nix, cabal2nix and haskellPackages in nixpkgs | Current Docs: https://haskell4nix.readthedocs.io/". | 22:56:19 |
| Server Stats Discoverer (traveler bot) joined the room. | 23:05:49 |
| pennae joined the room. | 23:06:26 |
| justinrestivo joined the room. | 23:07:39 |
| srid joined the room. | 23:07:41 |
| bqv joined the room. | 23:08:26 |
| bqv changed their display name from qy to bqv. | 23:08:27 |
| bqv changed their display name from bqv to qy. | 23:08:28 |
| bqv changed their display name from qy to bqv. | 23:08:29 |
| ryantm joined the room. | 23:18:05 |
| Matrix Traveler (bot) joined the room. | 23:18:11 |
| sterni (he/him) joined the room. | 23:18:19 |
| John Ericson joined the room. | 23:20:08 |
| pie_ joined the room. | 23:20:26 |
| utdemir joined the room. | 23:23:07 |
| baum joined the room. | 23:24:21 |
| shibayashi joined the room. | 23:35:42 |
| 21 May 2021 |
| joe (he/him) joined the room. | 00:41:12 |
| o1lo0lol1o joined the room. | 00:44:27 |
| cdepillabout joined the room. | 00:45:33 |