Commit Graph

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
cefa098cd8
idrisPackages.derive: 2018-02-15 -> 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