| 28 Jul 2021 |
 sterni | I'll look into building it separately but it seems there is very little accurate documentation on it atm | 16:53:25 |
 John Ericson | Even better if always use the separate derivation including in native case | 16:53:36 |
| John Ericson | Ok losing internet | 16:54:11 |
| sterni | it'd also be great for the ada case since there are special libadas for certain targets etc. | 16:54:26 |
| sterni | so supporting swapping it out would be very useful | 16:54:38 |
| John Ericson | Good luck! | 16:58:04 |
| John Ericson | sterni (he/him) besides our libgcc, check the Exherbo distro | 17:03:08 |
| sterni | 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 | 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 | 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 | checked arbor's sys-libs and sys-devel/gcc | 17:08:59 |
| sterni | 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 | 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 | is that the GMP cross issue? | 17:12:16 |
| John Ericson | link? I didn't make mine yet | 17:13:06 |
| sterni | https://github.com/NixOS/nixpkgs/pull/132188 (which is linked from https://github.com/NixOS/nixpkgs/pull/132199) | 17:14:07 |
| sterni | so not issue technically :) | 17:14:16 |
| John Ericson | sterni (he/him): ah, yes him | 17:15:50 |
| sterni | 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 | 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 |
