summary refs log tree commit diff
path: root/pkgs/development/compilers
Commit message (Expand)AuthorAge
* yasm: update from 1.2.0 to 1.3.0Vincent Laporte2014-10-10
* Merge pull request #4401 from jagajaga/update_rustRicardo M. Correia2014-10-10
|\
| * update rustcArseniy Seroka2014-10-10
* | Updating go from 1.3.2 to 1.3.3.Lluís Batlle i Rossell2014-10-10
|/
* go: update from 1.3.2 to 1.3.3Aristid Breitkreuz2014-10-07
* icedtea7_web: update from 1.5 to 1.5.1, potentially fixes CVE-2010-3860Aristid Breitkreuz2014-10-07
* Update F#Michael Raskin2014-10-07
* CompCert: update to 2.4Vincent Laporte2014-10-05
* rustcMaster: Update to more recent commit and remove patchRicardo M. Correia2014-10-05
* isabelle: Version 2014 building on Linux and DarwinJohn Wiegley2014-09-30
* rustcMaster: Fix test_override_env and enable testsRicardo M. Correia2014-10-01
* rustcMaster: Fix versionRicardo M. Correia2014-09-29
* rustcMaster: Update to a more recent commitRicardo M. Correia2014-09-29
* Fixed idris wrapper to make idris work with different backends.Maksymilian Owsianny2014-09-29
* package update: go-1.3.1 -> go-1.3.2Siarhei Zirukin2014-09-28
* go 1.1 and 1.2: fix builds by removing one testMatej Cotman2014-09-26
* lessc: update form 1.4.0. to 1.4.2 and adopt itPascal Wittmann2014-09-25
* go: fix go 1.3.1 buildMatej Cotman2014-09-24
* Fixed idris.Maksymilian Owsianny2014-09-24
* gcl: update from 2.6.10 to 2.6.11Michael Raskin2014-09-24
* Added OCaml release 4.02.0.Vincent Bernardoff2014-09-22
* Add gforth to development/compilersPaul Koerbitz2014-09-22
* Merge pull request #4085 from wkennington/master.boostPeter Simons2014-09-22
|\
| * boost: Update depdendent packagesWilliam A. Kennington III2014-09-21
* | orc: disable testsDomen Kožar2014-09-22
|/
* orc: update from 0.4.21 to 0.4.22Mateusz Kowalczyk2014-09-21
* update nvidia cg toolkit to v3.1Cray Elliott2014-09-21
* go: Include all 3 GOROOT toolsPhilip Horger2014-09-21
* Merge pull request #4061 from vbgl/mezzoMateusz Kowalczyk2014-09-20
|\
| * Adds mezzoVincent Laporte2014-09-13
* | ats2: bumpShea Levy2014-09-20
* | rustc: fixed build after 7068828389390dca066fb1062bd27148d49339d4Georges Dubus2014-09-16
* | Merge pull request #4047 from waywardmonkeys/remove-gwdyion-dylanAristid Breitkreuz2014-09-14
|\ \
| * | dylan: Remove old gwydion-dylan package.Bruce Mitchener2014-09-12
| |/
* | rustcMaster: Update to a more recent commitRicardo M. Correia2014-09-14
* | idris: broken by recent Haskell updatesPeter Simons2014-09-14
* | idris: remove unnecessary jailbreakPeter Simons2014-09-14
|/
* agda: fix licenseMateusz Kowalczyk2014-09-11
* agda-stdlib: make expression nicer, fix licenseMateusz Kowalczyk2014-09-11
* scala: update from 2.11.0 to 2.11.1Rob Vermaas2014-09-11
* Merge remote-tracking branch 'origin/staging'Eelco Dolstra2014-09-08
|\
| * Merge recent master into stagingVladimír Čunát2014-09-06
| |\
| * \ Merge branch 'origin/master' into staging.Peter Simons2014-09-02
| |\ \
| * \ \ Merge recent master into stagingVladimír Čunát2014-08-30
| |\ \ \
| * | | | GCC >= 4.8 doesn't depend on pplGergely Risko2014-08-29
| * | | | orc: disable tests on i686Vladimír Čunát2014-08-23
| * | | | orc: bugfix updatesVladimír Čunát2014-08-21
| * | | | Merge recent master into stagingVladimír Čunát2014-08-21
| |\ \ \ \
| * | | | | gcc: Revive the no-sys-dirs patchEelco Dolstra2014-08-18
| * | | | | Merge branch 'master' into stagingLuca Bruno2014-08-14
| |\ \ \ \ \