| 29 Jun 2025 |
|  szlend joined the room. | 18:02:44 |
|  jonhermansen joined the room. | 23:56:48 |
| 1 Jul 2025 |
|  djacu joined the room. | 03:29:30 |
| djacu | Hey Stdenv Team
In case you haven't seen the recent post on discourse, the Marketing Team is preparing this year's community survey. I am reaching out to teams to see if there are any questions they would like to add to the survey to better serve the work you all do. More details in the post linked below.
https://discourse.nixos.org/t/community-feedback-requested-2025-nix-community-survey-planning/66155 | 03:29:38 |
|  Pratham Patel changed their display name from Pratham Patel (you can mention me) to Pratham Patel. | 05:10:17 |
| 2 Jul 2025 |
|  Markus Theil joined the room. | 13:32:59 |
| 4 Jul 2025 |
|  bmgsh joined the room. | 01:43:20 |
|  9lore joined the room. | 08:53:06 |
| 9lore | Hi, not sure if this the right place to ask, but aree there plans to bump pkgs.gnat default version soon? | 08:56:15 |
| 9lore | * Hi, not sure if this the right place to ask, but are there plans to bump pkgs.gnat default version soon? | 08:56:21 |
 Alyssa Ross | sterni ^ since you did it last time | 09:01:24 |
 sterni | I usually just check that everything in gnatPackages builds with the version we pick as default | 15:02:48 |
| sterni | i think gnatprove was blocking gnat14, but I think it has been fixed or there’s a PR for it | 15:03:16 |
| 5 Jul 2025 |
| 9lore | In reply to @sternenseemann:systemli.org
i think gnatprove was blocking gnat14, but I think it has been fixed or there’s a PR for it merged in may: https://github.com/NixOS/nixpkgs/pull/407720 | 18:04:01 |
 alexfmpe | huh what's the difference between, say, *.hostPlatform and *.stdenv.hostPlatform | 22:06:32 |
 Tristan Ross | In reply to @alexfmpe:matrix.org
huh what's the difference between, say, *.hostPlatform and *.stdenv.hostPlatform It's an alias pretty much so it's literally the same thing | 22:10:43 |
| Tristan Ross | It's always recommended to use the one in stdenv | 22:11:13 |
| 7 Jul 2025 |
|  nbp changed their display name from nbp — PTO to nbp. | 13:11:49 |
| 9 Jul 2025 |
|  atagen joined the room. | 07:51:18 |
| 13 Jul 2025 |
|  timschumi joined the room. | 18:29:15 |
| 17 Jul 2025 |
 Grimmauld (any/all) | https://github.com/NixOS/nixpkgs/pull/425246
What di i need to do to make sure this doesn't break stdenv due to fetchpatch2 usage? | 09:04:24 |
| Grimmauld (any/all) | * https://github.com/NixOS/nixpkgs/pull/425246
What do i need to do to make sure this doesn't break stdenv due to fetchpatch2 usage? | 09:04:28 |
 K900 | Build stdenv? | 09:07:26 |
