core 1.6.9 gui 1.3.3 xen 4.1.0-5
The actual version of core, gui, and xen packages to use are given in version_{core,gui,xen} files