2010-12-04  Paolo Bonzini  <bonzini@gnu.org>

	* package.xml: Remove now superfluous <file> tags.

2009-03-30  Derek Zhou  <agonyzhou@comcast.net>
            Paolo Bonzini  <bonzini@gnu.org>

	* Profiler.st: New.
