| 28 Jul 2021 |
 John Ericson | sterni (he/him) besides our libgcc, check the Exherbo distro | 17:03:08 |
 sterni (he/him) | I will, that's probably a good hint, thanks | 17:03:30 |
| John Ericson | sterni (he/him) about to loose internet, so that's all I got! | 17:03:28 |
| sterni (he/him) | ty :) | 17:03:42 |
| John Ericson | Exherbo did all the gcc/g++ libs, which I am jealous of | 17:04:06 |
| 30 Jul 2021 |
|  philipp changed their profile picture. | 20:21:36 |
| 1 Aug 2021 |
|  Jamie joined the room. | 08:11:32 |
| sterni (he/him) | John Ericson: seems to me that exherbo doesn't have GNAT at all, at least their gcc seems to statically disable ada and I also did not find any libada package | 17:08:32 |
| sterni (he/him) | checked arbor's sys-libs and sys-devel/gcc | 17:08:59 |
| sterni (he/him) | not sure if there is another place I should've looked | 17:09:19 |
| John Ericson | sterni (he/him): we'll just have to do based off other libs | 17:10:58 |
| sterni (he/him) | yeah libgfortran and libgcc are good candidates I'm guessing | 17:11:31 |
| John Ericson | sterni (he/him): i was just talking to to friend and coworker who was hitting libssp issues with mingw | 17:11:51 |
| John Ericson | i was going to make an issue for repackaging gcc | 17:12:11 |
| sterni (he/him) | is that the GMP cross issue? | 17:12:16 |
| John Ericson | link? I didn't make mine yet | 17:13:06 |
| sterni (he/him) | https://github.com/NixOS/nixpkgs/pull/132188 (which is linked from https://github.com/NixOS/nixpkgs/pull/132199) | 17:14:07 |
| sterni (he/him) | so not issue technically :) | 17:14:16 |
| John Ericson | sterni (he/him): ah, yes him | 17:15:50 |
| sterni (he/him) | ah, I see | 17:16:33 |
| John Ericson | sterni (he/him): https://github.com/NixOS/nixpkgs/issues/132340 | 17:25:17 |
|  alexfmpe joined the room. | 17:33:07 |
| John Ericson | sterni (he/him): alexfmpe how best to make a PR we can all push to? | 17:34:56 |
| sterni (he/him) | John Ericson: I think you and me should be able to push to any branch in alex's fork for which a PR exists if the allow maintainers to push box is ticked upon creation | 17:35:59 |
| John Ericson | ok | 17:36:24 |
| alexfmpe | I don't recall ticking but I see Allow edits and access to secrets by maintainers seems checked on the open PRs, so it should just work? | 17:36:57 |
| sterni (he/him) | yeah, it's the default | 17:37:19 |
| John Ericson | alexfmpe: can you make a blank PR or something then? | 17:37:38 |
| John Ericson | I can push a few basic things to it | 17:37:50 |
| alexfmpe | In reply to @Ericson2314:matrix.org
alexfmpe: can you make a blank PR or something then? if you mean because of the allow maintainers thing, it shouldn't be needed? | 17:38:31 |
