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/devel/packages | |
| 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/devel/packages')
| -rw-r--r-- | profiles/devel/packages | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/profiles/devel/packages b/profiles/devel/packages index aa2bc0b..a95d43e 100644 --- a/profiles/devel/packages +++ b/profiles/devel/packages @@ -8,4 +8,4 @@ sys-devel/clang dev-lang/lua # GHDL -sci-electronics/ghdl +#sci-electronics/ghdl |