Yeah, the last unity version in the ppa was built with debug information enabled, so I'm sorry if Unity felt a little bit slower than usual :-(.
Should be fixed now, and as long as there is no 3.8.12-0ubuntu2 version in the ubuntu archive the ppa unity version (3.8.12-0ubuntu2~mh3) should get installed.
Yeah, the last unity version in the ppa was built with debug information enabled, so I'm sorry if Unity felt a little bit slower than usual :-(.
Should be fixed now, and as long as there is no 3.8.12-0ubuntu2 version in the ubuntu archive the ppa unity version (3.8.12- 0ubuntu2~ mh3) should get installed.