| Commit message (Expand) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | | rustcMaster: Update to a more recent commit | Ricardo M. Correia | 2014-09-14 | |
| * | | idris: broken by recent Haskell updates | Peter Simons | 2014-09-14 | |
| * | | idris: remove unnecessary jailbreak | Peter Simons | 2014-09-14 | |
| |/ | ||||
| * | agda: fix license | Mateusz Kowalczyk | 2014-09-11 | |
| * | agda-stdlib: make expression nicer, fix license | Mateusz Kowalczyk | 2014-09-11 | |
| * | scala: update from 2.11.0 to 2.11.1 | Rob Vermaas | 2014-09-11 | |
| * | Merge remote-tracking branch 'origin/staging' | Eelco Dolstra | 2014-09-08 | |
| |\ | ||||
| | * | Merge recent master into staging | Vladimír Čunát | 2014-09-06 | |
| | |\ | ||||
| | * \ | Merge branch 'origin/master' into staging. | Peter Simons | 2014-09-02 | |
| | |\ \ | ||||
| | * \ \ | Merge recent master into staging | Vladimír Čunát | 2014-08-30 | |
| | |\ \ \ | ||||
| | * | | | | GCC >= 4.8 doesn't depend on ppl | Gergely Risko | 2014-08-29 | |
| | * | | | | orc: disable tests on i686 | Vladimír Čunát | 2014-08-23 | |
| | * | | | | orc: bugfix updates | Vladimír Čunát | 2014-08-21 | |
| | * | | | | Merge recent master into staging | Vladimír Čunát | 2014-08-21 | |
| | |\ \ \ \ | ||||
| | * | | | | | gcc: Revive the no-sys-dirs patch | Eelco Dolstra | 2014-08-18 | |
| | * | | | | | Merge branch 'master' into staging | Luca Bruno | 2014-08-14 | |
| | |\ \ \ \ \ | ||||
| | * | | | | | | Enable parallel building for GCC. | Gergely Risko | 2014-08-13 | |
| * | | | | | | | Ur/Web compiler: new release, 20140531 -> 20140830 | Robert M. Mather | 2014-09-06 | |
| * | | | | | | | fix eval | Domen Kožar | 2014-09-05 | |
| * | | | | | | | Merge pull request #3955 from paulkoerbitz/master | Michael Raskin | 2014-09-04 | |
| |\ \ \ \ \ \ \ | ||||
| | * | | | | | | | Update oraclejdk-7 patch version from 65 to 67 | Paul Koerbitz | 2014-09-03 | |
| | | |_|_|_|_|/ | |/| | | | | | ||||
| * | | | | | | | haskell-idris: update to version 0.9.14.3 | Peter Simons | 2014-09-04 | |
| * | | | | | | | Fix ACL2 | Michael Raskin | 2014-09-04 | |
| * | | | | | | | Merge pull request #3915 from Fuuzetsu/agda-builder | Peter Simons | 2014-09-04 | |
| |\ \ \ \ \ \ \ | |/ / / / / / |/| | | | | | | ||||
| | * | | | | | | Use agda builder for stdlib. mv to all-packages | Mateusz Kowalczyk | 2014-09-01 | |
| * | | | | | | | gcc/gcj: Update antlr dep to 4.4 | Ricardo M. Correia | 2014-09-03 | |
| | |_|_|_|_|/ |/| | | | | | ||||
| * | | | | | | Remove fpc 2.4.0: lazarus doesn't need it and it doesn't like .2.6.0 as boots... | Michael Raskin | 2014-09-01 | |
| |/ / / / / | ||||
| * | | | | | Update FPC to 2.6.4 | Michael Raskin | 2014-08-31 | |
| * | | | | | Update FPC binary expression | Michael Raskin | 2014-08-31 | |
| * | | | | | agda-stdlib: update to 0.8.1 | Mateusz Kowalczyk | 2014-08-31 | |
| * | | | | | haskell-Agda: update to version 2.4.2 | Peter Simons | 2014-08-31 | |
| * | | | | | haskell-idris: update to version 0.9.14.2 | Peter Simons | 2014-08-31 | |
| * | | | | | Update SBCL | Michael Raskin | 2014-08-31 | |
| * | | | | | ats2: Bump | Shea Levy | 2014-08-29 | |
| | |_|_|/ |/| | | | ||||
| * | | | | List NCSA license properly | Michael Raskin | 2014-08-29 | |
| * | | | | Merge pull request #3255 from bosu/emscripten2 | Michael Raskin | 2014-08-29 | |
| |\ \ \ \ | ||||
| | * | | | | Add emscripten: LLVM to JavaScript compiler | Boris Sukholitko | 2014-07-12 | |
| * | | | | | ats2: bump | Shea Levy | 2014-08-27 | |
| * | | | | | Fix many package descriptions | Bjørn Forsman | 2014-08-24 | |
| * | | | | | Fix tarball build | Eelco Dolstra | 2014-08-24 | |
| * | | | | | tarball fixes | Domen Kožar | 2014-08-24 | |
| * | | | | | Fix Julia 0.3.0 build (for most purposes). Not making default yet because it ... | Michael Raskin | 2014-08-24 | |
| * | | | | | Merge pull request #3649 from daogames/tb/update-golang | Michael Raskin | 2014-08-23 | |
| |\ \ \ \ \ | ||||
| | * | | | | | golang: bump to 1.3.1 | Tino Breddin | 2014-08-17 | |
| | | |_|/ / | |/| | | | ||||
| * | | | | | Merge pull request #3069 from danielzinn/add_cuda_6 | Michael Raskin | 2014-08-23 | |
| |\ \ \ \ \ | ||||
| | * | | | | | If cuda headers are presented to nix in $out/include they are added to future... | Daniel Zinn | 2014-06-23 | |
| * | | | | | | Fix various evaluation problems | Eelco Dolstra | 2014-08-22 | |
| * | | | | | | Adding Julia 0.3.0: some progress, but doesn't work yet | Michael Raskin | 2014-08-21 | |
| * | | | | | | mit-scheme: update from 9.1.1 to 9.2 and remove broken tag | Pascal Wittmann | 2014-08-21 | |
| | |_|_|_|/ |/| | | | | ||||
| * | | | | | Disable Hydra builds for broken Haskell packages. | Peter Simons | 2014-08-20 | |