Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
[patch] 0002-dev-lang-gnat-gpl-migrate-2018-r3-from-GCC_CONFIG_VE.patch
0002-dev-lang-gnat-gpl-migrate-2018-r3-from-GCC_CONFIG_VE.patch (text/plain), 2.92 KB, created by Sergei Trofimovich (RETIRED) on 2020-02-01 19:23:26 UTC
(hide)
 
Creator: Sergei Trofimovich (RETIRED)
Created: 2020-02-01 19:23:26 UTC
Size: 2.92 KB
Actions: View | Diff
Attachments on bug 706588: 610604 | 610606 | 610608 | 610610