6 commits

Author	SHA1	Message	Date
Frederik Rietdijk	d5e6a4494a	Python: use PyPI mirror (#15001) ... * mirrors: add pypi * Python: Use pypi mirror for all PyPI packages	2016-04-26 13:38:03 +01:00
Frederik Rietdijk	4d06bf70f4	buildPythonApplication: use new function for Python applications	2016-02-19 13:16:41 +01:00
Pascal Wittmann	f99d5cf2fc	Fixed some descriptions	2015-04-28 10:55:20 +02:00
Simon Jagoe	456750c1ad	Add sjagoe as maintainer of grin package	2015-03-08 20:46:23 +00:00
Simon Jagoe	aca88a275e	Specify platform compatibility for grin	2015-03-08 20:45:32 +00:00
Simon Jagoe	f4965177b5	Move grin definition to tools/text and call it from all-packages.nix	2015-03-08 20:10:40 +00:00