summary refs log tree commit diff
path: root/pkgs/development/compilers
Commit message (Expand)AuthorAge
* treewide: Add man & info outputs where necessary (instead of doc)Tuomas Tynkkynen2017-08-11
* Merge pull request #27998 from davidak/macOSDomen Kožar2017-08-11
|\
| * replace "Mac OS X" and "OS X" with "macOS"davidak2017-08-07
* | Merge pull request #28044 from mpickering/ghc-headDomen Kožar2017-08-10
|\ \
| * | Bump ghc HEAD version ghc-8.3.20170808Matthew Pickering2017-08-08
| * | Make version a parameter in GHC HEAD derivationMatthew Pickering2017-08-08
* | | Revert "gcc: fix clang build"Daiderd Jordan2017-08-09
* | | gcc: fix clang buildDaiderd Jordan2017-08-08
* | | orackejdk: untie from gnome2volth2017-08-08
* | | Merge pull request #28003 from kamilchm/ponycWout Mertens2017-08-07
|\ \ \
| * | | ponyc: 0.16.1 -> 0.17.0Kamil Chmielewski2017-08-07
| |/ /
* / / isabelle: use polyml 5.6Gabriel Ebner2017-08-07
|/ /
* | Merge pull request #27899 from matthewbauer/emscripten-updateGabriel Ebner2017-08-07
|\ \
| * | emscripten: 1.37.13 -> 1.37.16Matthew Bauer2017-08-03
* | | jsonnet: 0.8.9 -> 0.9.4 (#27989)Benjamin Staffin2017-08-06
| |/ |/|
* | Merge pull request #27812 from tohl/masterMichael Raskin2017-08-07
|\ \
| * | sbcl: 1.3.19 -> 1.3.20Tomas Hlavaty2017-07-31
* | | rustc: remove gdb dependency for darwinDaiderd Jordan2017-08-06
* | | Merge pull request #27973 from edanaher/update-urwebJörg Thalheim2017-08-06
|\ \ \ | |_|/ |/| |
| * | urweb: 20170105 -> 20170720Evan Danaher2017-08-05
* | | pkgs: refactor needless quoting of homepage meta attribute (#27809)Silvan Mosberger2017-08-01
* | | Merge pull request #27849 from mimadrid/update/swi-prolog-7.4.2Frederik Rietdijk2017-08-01
|\ \ \ | |_|/ |/| |
| * | swi-prolog: 7.2.3 -> 7.4.2mimadrid2017-08-01
* | | Merge commit 'ba68231273bea4cba01413fd2a0e56d68db9234c' into HEADFrederik Rietdijk2017-07-31
|\ \ \
| * | | Merge remote-tracking branch 'upstream/master' into HEADFrederik Rietdijk2017-07-30
| |\| |
| * | | ispc: build with current flexFranz Pletz2017-07-29
| * | | Merge remote-tracking branch 'upstream/master' into HEADFrederik Rietdijk2017-07-28
| |\ \ \
| * \ \ \ Merge branch 'master' into stagingFranz Pletz2017-07-28
| |\ \ \ \
| * \ \ \ \ Merge remote-tracking branch 'upstream/master' into staging-baseJohn Ericson2017-07-26
| |\ \ \ \ \ | | | |_|_|/ | | |/| | |
| * | | | | stdenv-setup and misc pkgs: Revert to space-deliminated propagated-* filesJohn Ericson2017-07-26
* | | | | | ponyc: 0.15.0 -> 0.16.1Kamil Chmielewski2017-07-30
| |_|_|_|/ |/| | | |
* | | | | java: fix dtrace detectionYann Hodique2017-07-28
| |_|_|/ |/| | |
* | | | scala: 2.12.2 -> 2.12.3Tim Steinbach2017-07-28
| |_|/ |/| |
* | | oraclejdk: updated arm checksumsKamil Chmielewski2017-07-27
* | | oraclejdk: 8u141 -> 8u144taku02017-07-27
| |/ |/|
* | ghc: apply a patch to fix common gold linker problemDomen Kožar2017-07-26
* | julia: 0.5.1 -> 0.5.2Vincent Laporte2017-07-25
* | Revert "stdenv: Store one package per line in nix-support/propagated-*"John Ericson2017-07-24
* | ghc821: 8.2.1-rc3 -> 8.2.1Domen Kožar2017-07-23
* | nim: 0.16.0 -> 0.17.0Jon Banafato2017-07-23
|/
* openjdk: 8u131-b11 -> 8u141-b15Tim Steinbach2017-07-21
* Merge pull request #27542 from taku0/oraclejdk-8u141Daiderd Jordan2017-07-21
|\
| * oraclejdk: 8u131 -> 8u141taku02017-07-19
* | owl-lisp: init at 0.1.14Peter Hoeg2017-07-21
|/
* Merge pull request #26429 from aherrmann/pr_llvm_4_fix_debugDaiderd Jordan2017-07-17
|\
| * llvm_4: Fix debugVersionAndreas Herrmann2017-06-06
* | coqPackages.compcert: Recent compcert supports 64-bit architecturesJohn Wiegley2017-07-17
* | oraclejdk8: armv7l supportEric Litak2017-07-16
* | Merge commit 'a889454869e4f7d5ba6067ebcc0ba7fcd26e4417'Domen Kožar2017-07-14
|\ \
| * \ Merge pull request #27284 from obsidiansystems/prop-linesJohn Ericson2017-07-11
| |\ \