Merlin Göttlinger 5781856630 clprover: init at 1.0.3 (#56403) ... * clprover: init at 1.0.3		2019-02-26 12:36:04 +00:00
..
aliases.nix
all-packages.nix	clprover: init at 1.0.3 (#56403)	2019-02-26 12:36:04 +00:00
beam-packages.nix
coq-packages.nix
darwin-packages.nix
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
make-tarball.nix
metrics.nix
ocaml-packages.nix
perl-packages.nix	Merge pull request #55488 from winpat/add_dirvish	2019-02-24 12:02:11 +01:00
php-packages.nix	phpPackages.sqlsrv & phpPackages.pdo_sqlsrv: init at 5.6.0	2019-02-25 14:16:05 -05:00
pure-packages.nix
python-packages.nix	Merge pull request #53472 from borisbabic/feature/init-virtscreen	2019-02-24 07:12:56 -08:00
release-cross.nix
release-lib.nix
release-python.nix
release-small.nix
release.nix
splice.nix
stage.nix
static.nix
unix-tools.nix
wine-packages.nix