python-pygments vs. python-Pygments

Jacek Konieczny jajcus at
Tue Jun 21 13:42:46 CEST 2011

On Tue, Jun 21, 2011 at 11:28:24AM +0200, Michal Lisowski wrote:
> Which of these should we use?

What is the python module name ('import pygments' or 'import Pygments')?
What is the name of source tar?


More information about the pld-devel-en mailing list