prgnam=CGAL; version=4.5.1; built=1419781600; buildrev=09124205a3e1a86e7b6fdf0556931ef3a541ce40; slackware=14.1;