diff options
| author | Karel Kočí <cynerd@email.cz> | 2017-05-01 17:58:16 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2017-05-01 17:58:16 +0200 |
| commit | 9880fd6042bb970bbbaa2e74ddfa633a96a15d06 (patch) | |
| tree | 24555c459408eacff53c11392b82db581f79310f /profiles/devel/packages | |
| parent | bf72ea79bfe3c8ee209cd81456aa7f8e10dd1520 (diff) | |
| download | gentoo-personal-overlay-9880fd6042bb970bbbaa2e74ddfa633a96a15d06.tar.gz gentoo-personal-overlay-9880fd6042bb970bbbaa2e74ddfa633a96a15d06.tar.bz2 gentoo-personal-overlay-9880fd6042bb970bbbaa2e74ddfa633a96a15d06.zip | |
Create devel profile
Diffstat (limited to 'profiles/devel/packages')
| -rw-r--r-- | profiles/devel/packages | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/profiles/devel/packages b/profiles/devel/packages new file mode 100644 index 0000000..86de596 --- /dev/null +++ b/profiles/devel/packages @@ -0,0 +1,8 @@ +# For cross compiling +sys-devel/crossdev + +# Updater and turris in general +dev-lang/lua + +# GHDL +sci-electronics/ghdl |