| 3 Jun 2021 |
 Roos | cdepillabout: How would you go about finding a nixpkgs version that contains a given compiler? | 06:10:02 |
 cdepillabout | * ahdyt: You generally have two options:
- Specify an older channel that contains ghc802 as Roos suggests (
stack --nix-path nixpkgs=https://github.com/NixOS/nixpkgs/archive/8c2447fdee1af9310367b1ad7b63aed6217d3445.tar.gz build)
- Write a
stack-shell.nix file: https://docs.haskellstack.org/en/stable/nix_integration/#using-a-custom-shellnix-file
| 06:10:04 |
| Roos | git grep is heavy :D | 06:10:21 |
| cdepillabout | Roos: That's a lot trickier. Generally I just try old channels until I find something that works: https://status.nixos.org/ | 06:11:05 |
| cdepillabout | Although 8.0 is pretty old at this point, I imagine nixos-19.09 might not have it. I guess you could try the release-19.03, release-18.09, etc branches on github. | 06:12:10 |
| cdepillabout | You could in theory also search Hydra, but in practice that doesn't work for me. | 06:14:31 |
| cdepillabout | This times out for me: https://hydra.nixos.org/search?query=ghc802 | 06:15:01 |
|  bqv changed their display name from bqv to qy. | 06:15:26 |
| bqv changed their display name from qy to bqv. | 06:15:28 |
| Roos | Offtopic: what kind of db backs hydra? | 06:15:50 |
| bqv left the room. | 06:15:59 |
| bqv joined the room. | 06:15:59 |
| bqv changed their display name from qy to bqv. | 06:16:00 |
| bqv left the room. | 06:16:12 |
| bqv joined the room. | 06:16:13 |
| bqv changed their display name from qy to bqv. | 06:16:14 |
| cdepillabout | My guess is that they have hired a guy who physically writes things down with paper and pencil. | 06:17:31 |
| bqv changed their display name from bqv to qy. | 07:15:39 |
| bqv changed their display name from qy to bqv. | 07:15:41 |
| bqv left the room. | 07:18:04 |
| bqv joined the room. | 07:18:04 |
| bqv changed their display name from qy to bqv. | 07:18:07 |
| bqv changed their display name from bqv to qy. | 07:18:54 |
| bqv changed their display name from qy to bqv. | 07:18:55 |
| bqv left the room. | 07:19:03 |
| bqv joined the room. | 07:19:04 |
| bqv changed their display name from qy to bqv. | 07:19:05 |
| bqv left the room. | 07:19:16 |
| bqv joined the room. | 07:19:17 |
| bqv changed their display name from qy to bqv. | 07:19:18 |
