3 Commits

Author	SHA1	Message	Date
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
Vanessa McHale	ab2038d573	specdris: init at 2017-11-11 (#31544)	2017-11-21 22:59:38 +00:00