descriptionDevelopment environment setup scripts
ownergit repository hosting
last changeTue, 26 Jul 2022 00:53:45 +0000 (01:53 +0100)
shortlog
2022-07-26 Andrey Miroshnikovtasyagle-install: workaround to reload .bashrc works... master
2022-07-25 Andrey Miroshnikovtasyagle-install: Added check with .bashrc, commented...
2022-07-25 Andrey Miroshnikovtasyagle-install: Change file ownership to sudo_user
2022-07-25 Andrey Miroshnikovtasyagle-install: Add jdk package, make docs
2022-07-22 Jacob Lifshayupdate to released version of cvc5 that includes powerp...
2022-07-21 Andrey Miroshnikovtasyagle-install: was overwriting .bashrc...
2022-07-21 Andrey Miroshnikovtasyagle-install: Added login source for avt_env.sh
2022-07-18 Andrey Miroshnikovtasyagle-install: Install to /usr/local
2022-07-17 Luke Kenneth... meson dependency moved to linstaoo-mesa-deps
2022-07-17 Luke Kenneth... installing mesa deps needs meson drm mesa first
2022-07-17 Luke Kenneth... cannot install sysvinit-core
2022-07-17 Luke Kenneth... qemu backports explicit install separate from other...
2022-07-17 Luke Kenneth... add mesa build dependencies
2022-07-17 Luke Kenneth... install meson as build dependency
2022-07-15 Andrey Miroshnikovtasyagle-install: added origin and libresoc repos
2022-07-15 Luke Kenneth... needs -y on apt-get
...
heads
2 weeks ago master