eprover (1.8-0ubuntu1) precise; urgency=low * latest version Gopaldhara -- Christian Maeder <email address hidden> Mon, 28 Oct 2013 14:07:16 +0100