11 commits

Author	SHA1	Message	Date
Michael Reilly	84cf00f980	treewide: Per RFC45, remove all unquoted URLs	2020-04-10 17:54:53 +01:00
Simon Jagoe	0218408846	grin: Use fetchFromGitHub instead of fetchgit	2017-06-07 14:22:52 +03:00
Simon Jagoe	314da48f31	grin: Fix build dependencies ... Using old source, grin was unable to build due to missing argparse pypi package.	2017-06-06 15:14:17 +03:00
Aneesh Agrawal	ded7953478	treewide: meta.platform -> meta.platforms	2017-05-02 19:32:02 -04:00
Frederik Rietdijk	f7b983aeaf	grin: use python2	2016-10-18 23:14:33 +02:00
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