Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | update oracle jdk 7 | Aristid Breitkreuz | 2014-10-22 |
| | |||
* | scala: Bump up version from 2.11.1 to 2.11.2 | Balaji Sivaraman | 2014-10-22 |
| | |||
* | scala: Revert "update from 2.11.1 to 2.11.3". | Peter Simons | 2014-10-22 |
| | | | | | | | This reverts commit 4507aeb20015979d85e4df2610c8d00969173e2c. Scala 2.11.3 is broken: https://groups.google.com/forum/#!msg/scala-internals/SSD9BNJaFbU/rACBkHrs2JEJ. | ||
* | Merge pull request #4612 from balajisivaraman/scala-2.11.3 | Peter Simons | 2014-10-22 |
|\ | | | | | scala: Bump up version from 2.11.1 to 2.11.3 | ||
| * | scala: update from 2.11.1 to 2.11.3 | Balaji Sivaraman | 2014-10-22 |
| | | |||
* | | Disable all Haskell builds for Darwin on Hydra. | Peter Simons | 2014-10-21 |
| | | | | | | | | | | | | | | Hydra generates a GHC closure for Darwin that for no apparent reason contains an ancient, broken Haddock binary -- probably because of an impurity in the build system. That bug makes those GHC binaries unusable: <https://github.com/NixOS/nixpkgs/issues/2689>. | ||
* | | lessc: update from 1.4.2 to 1.7.5 | Pascal Wittmann | 2014-10-21 |
| | | |||
* | | idris: re-generate expression with cabal2nix | Peter Simons | 2014-10-19 |
| | | |||
* | | Julia 0.3.1 | Michael Raskin | 2014-10-18 |
|/ | |||
* | rust: Upgrade rust stable to 0.12 | Paul Colomiets | 2014-10-16 |
| | |||
* | Upgrade idris compiler to 0.9.14.3 | Aycan iRiCAN | 2014-10-15 |
| | |||
* | agda: add fuuzetsu to maintainers | Mateusz Kowalczyk | 2014-10-15 |
| | |||
* | haskell-Elm: update to version 0.13 | Peter Simons | 2014-10-14 |
| | |||
* | rust: updated head | Georges Dubus | 2014-10-13 |
| | | | | This version include the new "const" syntax. | ||
* | haskell-epic: update to version 0.9.3.2 | Peter Simons | 2014-10-13 |
| | |||
* | oraclejdk: bump to 8u20 | taku0 | 2014-10-12 |
| | | | | Closes #4492 | ||
* | yasm: update from 1.2.0 to 1.3.0 | Vincent Laporte | 2014-10-10 |
| | |||
* | Merge pull request #4401 from jagajaga/update_rust | Ricardo M. Correia | 2014-10-10 |
|\ | | | | | update rust | ||
| * | update rustc | Arseniy Seroka | 2014-10-10 |
| | | |||
* | | Updating go from 1.3.2 to 1.3.3. | Lluís Batlle i Rossell | 2014-10-10 |
|/ | |||
* | go: update from 1.3.2 to 1.3.3 | Aristid Breitkreuz | 2014-10-07 |
| | |||
* | icedtea7_web: update from 1.5 to 1.5.1, potentially fixes CVE-2010-3860 | Aristid Breitkreuz | 2014-10-07 |
| | |||
* | Update F# | Michael Raskin | 2014-10-07 |
| | |||
* | CompCert: update to 2.4 | Vincent Laporte | 2014-10-05 |
| | |||
* | rustcMaster: Update to more recent commit and remove patch | Ricardo M. Correia | 2014-10-05 |
| | | | | | | The patch to the tests is now included upstream. Also in this version, an issue was fixed upstream where LTO would fail with permission denied in NixOS. | ||
* | isabelle: Version 2014 building on Linux and Darwin | John Wiegley | 2014-09-30 |
| | |||
* | rustcMaster: Fix test_override_env and enable tests | Ricardo M. Correia | 2014-10-01 |
| | | | | | | We also need to disable parallel building due to rust-lang/rust#16305. Closes #4339 | ||
* | rustcMaster: Fix version | Ricardo M. Correia | 2014-09-29 |
| | |||
* | rustcMaster: Update to a more recent commit | Ricardo M. Correia | 2014-09-29 |
| | |||
* | Fixed idris wrapper to make idris work with different backends. | Maksymilian Owsianny | 2014-09-29 |
| | | | | Closes #4314 | ||
* | package update: go-1.3.1 -> go-1.3.2 | Siarhei Zirukin | 2014-09-28 |
| | | | | Closes #4279 | ||
* | go 1.1 and 1.2: fix builds by removing one test | Matej Cotman | 2014-09-26 |
| | |||
* | lessc: update form 1.4.0. to 1.4.2 and adopt it | Pascal Wittmann | 2014-09-25 |
| | |||
* | go: fix go 1.3.1 build | Matej Cotman | 2014-09-24 |
| | | | | Closes #4243 | ||
* | Fixed idris. | Maksymilian Owsianny | 2014-09-24 |
| | |||
* | gcl: update from 2.6.10 to 2.6.11 | Michael Raskin | 2014-09-24 |
| | |||
* | Added OCaml release 4.02.0. | Vincent Bernardoff | 2014-09-22 |
| | | | | Closes #4197 | ||
* | Add gforth to development/compilers | Paul Koerbitz | 2014-09-22 |
| | |||
* | Merge pull request #4085 from wkennington/master.boost | Peter Simons | 2014-09-22 |
|\ | | | | | Boost Updates | ||
| * | boost: Update depdendent packages | William A. Kennington III | 2014-09-21 |
| | | |||
* | | orc: disable tests | Domen Kožar | 2014-09-22 |
|/ | |||
* | orc: update from 0.4.21 to 0.4.22 | Mateusz Kowalczyk | 2014-09-21 |
| | |||
* | update nvidia cg toolkit to v3.1 | Cray Elliott | 2014-09-21 |
| | | | | | | TODO: investigate man page issues Closes #4024 | ||
* | go: Include all 3 GOROOT tools | Philip Horger | 2014-09-21 |
| | |||
* | Merge pull request #4061 from vbgl/mezzo | Mateusz Kowalczyk | 2014-09-20 |
|\ | | | | | Adds mezzo and its dependencies | ||
| * | Adds mezzo | Vincent Laporte | 2014-09-13 |
| | | | | | | | | | | | | | | Mezzo is a programming language in the ML tradition, which places strong emphasis on the control of aliasing and access to mutable memory. Homepage: http://protz.github.io/mezzo/ | ||
* | | ats2: bump | Shea Levy | 2014-09-20 |
| | | |||
* | | rustc: fixed build after 7068828389390dca066fb1062bd27148d49339d4 | Georges Dubus | 2014-09-16 |
| | | | | | | | | | | That commit changed the patch to work for the new HEAD, but that new patch breaks 0.11. I made two patch for the two versions. | ||
* | | Merge pull request #4047 from waywardmonkeys/remove-gwdyion-dylan | Aristid Breitkreuz | 2014-09-14 |
|\ \ | | | | | | | dylan: Remove old gwydion-dylan package. | ||
| * | | dylan: Remove old gwydion-dylan package. | Bruce Mitchener | 2014-09-12 |
| |/ | | | | | | | | | | | | | The Gywdion Dylan compiler that was packaged here is old and this package no longer builds. The Gwydion Dylan compiler is no longer maintained, and has been replaced by the Open Dylan compiler which is already packaged in Nix (opendylan). |