  Type IIA flux compactifications with O6-planes have been argued from a four
dimensional effective theory point of view to admit stable, moduli free
solutions. We discuss in detail the ten dimensional description of such vacua
and present exact supersymmetric solutions in the case when the O6-charge is
smoothly distributed: the geometry is Calabi-Yau and the dilaton is constant.
In the localized case, the solution is a half-flat, non-Calabi-Yau metric but
still with constant dilaton. Finally, using the ten dimensional description we
show how all moduli are stabilized and reproduce precisely the results of de
Wolfe et al. Based on arXiv:hep-th/0607223.
