pharo-launcher (2015.08.08-1~ppa1~trusty1) trusty; urgency=medium * Build for trusty -- Markus Fritsche <email address hidden> Mon, 16 Nov 2015 19:26:00 +0100