Jörg Thalheim 5dc7a70f65 Merge pull request #38589 from badi/tlatools ... Add TLAPS and TLA+ Toolbox		2018-04-17 14:51:35 +01:00
..
aliases.nix	Merge master into staging	2018-04-09 15:12:32 +02:00
all-packages.nix	Merge pull request #38589 from badi/tlatools	2018-04-17 14:51:35 +01:00
beam-packages.nix
coq-packages.nix
darwin-packages.nix	darling: init	2018-04-09 18:35:35 -05:00
default.nix
dotnet-packages.nix
emacs-packages.nix
emscripten-packages.nix
haskell-packages.nix
haxe-packages.nix
impure.nix
java-packages.nix
lua-packages.nix	luaPackages.mpack: fix hash	2018-04-13 20:54:31 +02:00
make-tarball.nix
metrics.nix
ocaml-packages.nix	ocamlPackages.js_of_ocaml-lwt: init at 3.1.0	2018-04-08 17:38:14 +00:00
perl-packages.nix	perlPackages.Socket6: fix sv_undef compilation error	2018-04-14 18:00:35 +02:00
php-packages.nix
pure-packages.nix
python-packages.nix	Merge #38702: Mark packages as broken (ZHF)	2018-04-17 13:36:20 +02:00
release-cross.nix
release-lib.nix
release-python.nix
release-small.nix
release.nix
splice.nix
stage.nix
unix-tools.nix	unixtools: add col to utillinux	2018-04-15 22:54:19 -05:00