7 Commits (7801889ef577abcc2c3344b1fd48d5506aea5724)

Author	SHA1	Message	Date
Felix Buehler	3df56ed3e4	idris-modules: rename name to pname	2 years ago
Michael Reilly	84cf00f980	treewide: Per RFC45, remove all unquoted URLs	4 years ago
Silvan Mosberger	b73f540beb	idrisPackages: Clean up packages	6 years ago
Márton Boros	23ee7c9d8d	idrisPackages: add packages	6 years ago
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.	6 years ago
xd1le	98c7361d3b	idrisPackages.lightyear: 2016-08-01 -> 2017-09-10	7 years ago
Langston Barrett	0b532b7d2a	lightyear: init at 9420f9e	8 years ago