John Wiegley 6ff50dc164 Merge pull request #27918 from Zimmi48/coq-update ...

Coq update

2017-08-04 15:29:18 -07:00

..

aliases.nix

aliases: add 'skype' -> 'skypeforlinux' for backwards compat

2017-07-27 14:57:46 -05:00

all-packages.nix

Merge pull request #27918 from Zimmi48/coq-update

2017-08-04 15:29:18 -07:00

beam-packages.nix

elixir: 1.5.0-rc.2 -> 1.5.0

2017-07-25 09:44:49 -04:00

default.nix

Fix typo in comment

2017-04-19 20:30:44 +02:00

dotnet-packages.nix

fsharp: 4.0.1.1 -> 4.1.7

2017-04-17 10:39:38 +02:00

emacs-packages.nix

melpa-packages: init w3m at 20170203.647

2017-02-10 13:11:45 -06:00

emscripten-packages.nix

…

haskell-packages.nix

haskell infra: Misc cleanups

2017-08-03 13:12:01 +02:00

haxe-packages.nix

haxe: fix hxcpp, introduce haxePackage with hxjava and hxcs

2017-07-03 20:06:23 +00:00

impure.nix

impure.nix: add crossSystem as arg

2017-04-29 15:22:33 -05:00

java-packages.nix

…

lua-packages.nix

lrexlib: 2.7.2 (broken) -> 2.8.0

2017-07-08 23:09:32 +01:00

make-tarball.nix

lib: Consolidate tests into one meta job

2017-05-17 11:14:59 -04:00

metrics.nix

…

node-packages-generated.nix

…

node-packages.json

…

node-packages.nix

…

ocaml-packages.nix

ocamlPackages.wasm: init at 0.13

2017-08-04 05:36:58 +00:00

perl-packages.nix

perlPackages.Mouse: 2.4.5 -> 2.4.10, fix 32bit

2017-08-01 10:35:01 +02:00

php-packages.nix

phpPackages.composer: 1.4.1 -> 1.4.2

2017-08-01 00:22:12 +02:00

pure-packages.nix

purePackages.octave: Use octaveHg

2017-04-09 21:54:39 +10:00

python-packages.nix

python2-pythondialog: fix --replace on substituteInPlace

2017-08-04 03:31:33 +02:00

release-cross.nix

lib: Consolidate platform configurations (used for crossSystem)

2017-05-29 18:56:03 -04:00

release-lib.nix

Merge pull request #24610 from Ericson2314/platform-normalization

2017-04-17 17:28:01 -04:00

release-python.nix

top-level: Less indirection for lib in release*.nix

2017-04-17 17:13:01 -04:00

release-small.nix

top-level: Less indirection for lib in release*.nix

2017-04-17 17:13:01 -04:00

release.nix

darwin-tested channel: Fix eval

2017-08-03 18:46:40 -04:00

rust-packages.nix

rustRegistry: 2017-06-27 -> 2017-07-23

2017-07-23 23:12:37 +02:00

splice.nix

top-level: Introduce targetPackages and a "double link fold"

2017-04-23 14:01:12 -04:00

stage.nix

top-level: {build,host,target}Platform are defined in the stdenv instead

2017-07-07 12:55:02 -04:00