# ChangeLog for sci-mathematics/p9m4 # Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2 # $Header: /var/cvsroot/gentoo-x86/sci-mathematics/p9m4/ChangeLog,v 1.3 2012/01/30 05:22:18 gienah Exp $ 30 Jan 2012; Mark Wright metadata.xml: Note I am the maintainer in metadata.xml. 08 Jan 2012; Mark Wright p9m4-05.ebuild: Thanks to xarthisius for reviewing, move S higher in file and fix missing || on cd *p9m4-05 (08 Jan 2012) 08 Jan 2012; Mark Wright +files/p9m4-v05-package.patch, +files/p9m4-v05-python2.6.patch, +p9m4-05.ebuild, +files/p9m4-v05-use-inst-paths.patch, +metadata.xml: New p9m4 prover9 mace4 gui ebuild by me fixes #398021