Marek Mahut 8f1c621b4e Merge pull request #88881 from mmahut/ergo ...

ergo: init at 3.2.5

2020-05-27 11:34:24 +02:00

..

agda-packages.nix

agdaPackages.cubical: init at 0.2 (#76994)

2020-05-19 13:20:35 -04:00

aliases.nix

Merge pull request #88476 from veprbl/pr/rivet3

2020-05-26 15:52:08 -04:00

all-packages.nix

Merge pull request #88881 from mmahut/ergo

2020-05-27 11:34:24 +02:00

beam-packages.nix

…

config.nix

…

coq-packages.nix

coq: use OCaml 4.09

2020-05-27 10:12:22 +02:00

darwin-packages.nix

…

default.nix

…

dhall-packages.nix

…

dotnet-packages.nix

…

emacs-packages.nix

emacs-packages: Expose manually packaged packages through emacsPackages.manualPackages

2020-04-27 12:08:13 +01:00

emscripten-packages.nix

…

haskell-packages.nix

ghcHEAD: 20200403 -> 20200505

2020-05-08 21:11:46 +02:00

haxe-packages.nix

…

impure.nix

…

java-packages.nix

…

lua-packages.nix

…

make-tarball.nix

…

metrics.nix

…

ocaml-packages.nix

ocaml: default to 4.10

2020-05-27 10:12:22 +02:00

packages-config.nix

…

perl-packages.nix

Merge pull request #87595 from aanderse/perl-packages/config-properties

2020-05-12 19:25:48 -04:00

php-packages.nix

Merge pull request #87941 from etu/composer-update

2020-05-16 22:08:11 +02:00

pure-packages.nix

…

python-packages.nix

Merge pull request #88476 from veprbl/pr/rivet3

2020-05-26 15:52:08 -04:00

release-alternatives.nix

blas,lapack: use isILP64 instead of is64bit

2020-04-20 16:02:43 -05:00

release-cross.nix

…

release-lib.nix

…

release-python.nix

…

release-small.nix

…

release.nix

agda: rework builder

2020-05-14 20:54:11 +01:00

ruby-packages.nix

…

splice.nix

…

stage.nix

…

static.nix

arrow-cpp: 0.16.0 -> 0.17.0

2020-05-11 22:34:24 -04:00

unix-tools.nix

…

wine-packages.nix

…