Mateusz Kowalczyk ce4ae2aa1e Merge pull request #4305 from vbgl/coq-containers ... Working with Coq		2014-09-30 15:04:30 +01:00
..
attrsets.nix	Remove backward-compatible implementations of some primops	2013-11-12 13:50:45 +01:00
composable-derivation.nix	Shea told me composableDerivation is hard to understand.	2014-04-30 20:31:40 +02:00
customisation.nix
debug.nix
default.nix	Add some primops to lib	2013-11-12 13:48:30 +01:00
licenses.nix	Adds license CeCILL-B	2014-09-28 14:03:14 +01:00
lists.nix	init list helper	2014-09-16 18:12:39 +02:00
maintainers.nix	seturgent: new package	2014-09-30 09:53:52 +01:00
meta.nix	Make appendToName do the right thing	2014-03-10 15:01:56 +01:00
misc.nix	Small cleanup	2013-10-24 14:49:59 +02:00
modules.nix	Merge options having the submodule type.	2014-09-07 19:03:20 +02:00
options.nix	Add some primops to lib	2013-11-12 13:48:30 +01:00
platforms.nix	lib/platforms: add "armv6l-linux" to all platforms	2014-09-27 11:23:03 +02:00
sources.nix	Manual: Handle XML files in subdirectories	2014-08-25 14:33:33 +02:00
strings-with-deps.nix
strings.nix	Added concatMapStringsSep and concatImapStringsSep	2014-08-25 10:23:10 +02:00
systems.nix	Use isType instead of typeOf	2013-10-28 22:45:55 +01:00
tests.nix
trivial.nix	Add a global variable ‘inNixShell’	2014-02-19 19:03:16 +01:00
types.nix	Remove types.functionTo.	2014-09-07 19:41:45 +02:00