54 Commits

Author	SHA1	Message	Date
Tyson Whitehead	99a331d613	meraculous: Convert to new overlay system	2018-01-18 01:00:03 -05:00
Tyson Whitehead	8dda256fad	firedrake: Moved to new overlay system and shared sub-scope ... Firedrake contains a ton of inter-connected dependencies, many of which are either firedrake specific or forked versions of upstream packages. Cleaner to create a firedrake sub-scope for all these.	2018-01-18 00:59:30 -05:00
Tyson Whitehead	d4dd6ff700	cryptominisat: Convert to new overlays system	2018-01-18 00:58:53 -05:00
Tyson Whitehead	24255eab8d	Overlays based framework for extending nixpkgs	2018-01-18 00:58:14 -05:00