7 Commits

Author	SHA1	Message	Date
Felix Buehler	3df56ed3e4	idris-modules: rename name to pname	2022-02-23 11:28:15 +01:00
Michael Reilly	84cf00f980	treewide: Per RFC45, remove all unquoted URLs	2020-04-10 17:54:53 +01: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
Matthew Pickering	947e7d80b4	Refactor Idris packaging infrastructure ... The main two changes are 1. Completely rewrite how with-packages works to remove use of envHooks 2. The package description is now an idris specific set rather than being a subset of the arguments to mkDerivation. This mirrors the way Haskell packages are treated.	2018-02-07 19:25:50 +00:00
xd1le	98c7361d3b	idrisPackages.lightyear: 2016-08-01 -> 2017-09-10	2017-10-19 02:03:36 +11:00
Langston Barrett	0b532b7d2a	lightyear: init at 9420f9e	2016-09-27 18:01:15 +00:00