| 21 Feb 2026 |
 woobilicious | sterni: the maintainer doesn't think the patch is a good idea, doesn't think we'd need to run tests, we'd still need to package mathsat, and any other SAT solvers nixpkgs is missing, it's way too much effort for a package that no one is using. I agree that it would be nice to run but the return on maintenance burden isn't there. | 01:49:34 |
| woobilicious | the other issue is we really shouldn't mark the package broken when say, the cvc5 tests are failing, when A user might have no interest in using cvc5 backend, and only the z3 backend. | 01:55:13 |
| woobilicious | Error in option parsing: Cannot use --nl-cov without configuring with --poly. This is a cvc5 test that fails for example. | 01:56:33 |
|  Void Mona(d) changed their display name from Uraraka ~ Ochaco to Void Mona(d). | 14:31:16 |
| 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 |
