Pascal Wittmann d099c1b96d Merge pull request #22507 from layus/dafny-update ... Add dafny; fixup Boogie		2017-02-07 10:21:35 +01:00
..
aliases.nix	keepassx-community: init at 2.1.0	2017-02-01 21:21:34 -05:00
all-packages.nix	Merge pull request #22507 from layus/dafny-update	2017-02-07 10:21:35 +01:00
default.nix	top-level: Document the {local,cross}System, contrasting with *Platform`	2017-01-24 11:37:56 -05:00
dotnet-packages.nix	dafny: init at v1.9.8	2017-02-07 10:13:42 +01:00
emacs-packages.nix
emscripten-packages.nix
haskell-packages.nix	Recurse from haskell.compiler into haskell.compiler.integer-simple on Hydra.	2017-02-02 10:57:00 +01:00
impure.nix	Remove unnecessary "sort" call	2017-02-01 20:29:34 +01:00
lua-packages.nix	luaPackages.luazlib: 0.4 -> 1.1	2017-02-01 08:44:52 +01:00
make-tarball.nix
metrics.nix
node-packages-generated.nix
node-packages.json
node-packages.nix
ocaml-packages.nix	virt-top: init at 1.0.8 (#21536)	2017-02-04 16:07:45 +01:00
perl-packages.nix	perl-HTML-Tiny: add meta section	2017-01-28 19:26:33 +01:00
php-packages.nix
platforms.nix	platforms.nix: Add some aarch64-specific kernel config	2017-01-25 02:14:46 +02:00
pure-packages.nix
python-packages.nix	pythonPackages.sphinx: 1.5.1 -> 1.5.2	2017-02-07 09:12:30 +01:00
release-cross.nix	top-level: no more need to expose splicedPackages	2017-01-25 09:24:55 -05:00
release-lib.nix	top-level: no more need to expose splicedPackages	2017-01-25 09:24:55 -05:00
release-python.nix
release-small.nix	portmap: remove	2017-02-01 02:44:56 +03:00
release.nix	release.nix: Only build Only build bootstrap tools when their system is supported	2017-01-23 00:08:21 +01:00
rust-packages.nix	rustRegistry: 2017-01-08 -> 2017-01-27	2017-01-27 22:07:34 +01:00
splice.nix	top-level: no more need to expose splicedPackages	2017-01-25 09:24:55 -05:00
stage.nix	top-level: Only splice as needed for performance	2017-01-24 11:37:56 -05:00