diff options
| author | Karel Kočí <cynerd@email.cz> | 2017-05-01 18:56:51 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2017-05-01 18:56:51 +0200 |
| commit | bac8cf0bee4362c56d428560c94adf60e393af6e (patch) | |
| tree | c1204d48e318b301f538632b716cfa7827d76334 /profiles/base/armv7a | |
| parent | a46037960a67d9b715864c747a2d2fb9b990d1a6 (diff) | |
| download | gentoo-personal-overlay-bac8cf0bee4362c56d428560c94adf60e393af6e.tar.gz gentoo-personal-overlay-bac8cf0bee4362c56d428560c94adf60e393af6e.tar.bz2 gentoo-personal-overlay-bac8cf0bee4362c56d428560c94adf60e393af6e.zip | |
Disable ghdl as package gnat-gcc fails to install
https://forums.gentoo.org/viewtopic-t-1053024-start-0.html
Diffstat (limited to 'profiles/base/armv7a')
0 files changed, 0 insertions, 0 deletions