diff options
Diffstat (limited to 'install list')
-rw-r--r-- | install list | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/install list b/install list deleted file mode 100644 index d28f23f..0000000 --- a/install list +++ /dev/null @@ -1,10 +0,0 @@ -libssl-dev - apt -llvm - apt -libxaw7-dev - apt -libreadline6-dev - apt -clang - apt -zlib1g-dev - apt -xterm - apt -gnat-5 - apt -ghdl -./install-linux.sh --install --> esim
\ No newline at end of file |