I'm just wondering (as it's not all that obvious) - Does dejagnu come with the snapshots? Or is it a seperate package? TIA! - Teunis