View Single Post
Old 28 March 2016, 13:52   #192
Apollo Test Team

TuKo's Avatar
Join Date: May 2014
Location: Switzerland
Posts: 132
We finally got it to launch on Vampire 2.

As it seems RTG version requires FPU, we will need to recompile it without it.

Last edited by TuKo; 28 March 2016 at 17:06.
TuKo is offline  
Page generated in 0.08225 seconds with 9 queries