| 31 Oct 2025 |
 Pedro QB | que isso cara | 02:31:57 |
 Hugo Ribeiro | https://github.com/nvmd/nixos-raspberrypi | 03:44:25 |
| Pedro QB | Popos? | 04:23:44 |
| Hugo Ribeiro | In reply to Pedro QB
Popos? Pop OS | 05:13:13 |
|  Ratoncio <Rei da Desvantagem> changed their display name from Ratoncio Blogs to Ratoncio Business. | 15:40:30 |
 Greg | https://www.reddit.com/r/NixOS/s/h9tbLCLheD | 18:54:21 |
| Greg | 😂 | 18:54:25 |
 PedroHLC | Como assim? Tinha no nixpkgs antes de ter todos os outros lugares | 18:59:03 |
| PedroHLC | O flake deles foi feito com base nesse PR | 19:01:52 |
| PedroHLC | Nem tinha tags oficiais, e já tinha um PR pro Nixpkgs | 19:01:34 |
| 1 Nov 2025 |
|  enzu.ru set a profile picture. | 04:43:49 |
| enzu.ru changed their display name from enzuru to enzu.ru. | 04:43:57 |
|  brantes joined the room. | 13:57:06 |
