5 commits

Author	SHA1	Message	Date
Michael Reilly	84cf00f980	treewide: Per RFC45, remove all unquoted URLs	2020-04-10 17:54:53 +01:00
Silvan Mosberger	41b55b3508	idrisPackages.{categories,derive}: Use upstream instead of forks ... These forks were introduced in https://github.com/NixOS/nixpkgs/pull/42861 to make the builds succeed. The changes have since been incorporated upstream.	2018-10-26 11:15:10 +02:00
Silvan Mosberger	c6c726bdfd	idrisPackages.categories: 2017-03-01 -> 2018-07-02, fix build	2018-07-02 06:43:15 +02:00
Silvan Mosberger	b73f540beb	idrisPackages: Clean up packages	2018-07-02 06:13:01 +02:00
Márton Boros	23ee7c9d8d	idrisPackages: add packages	2018-03-20 07:16:21 +01:00