Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Merge pull request #4085 from wkennington/master.boost | Peter Simons | 2014-09-22 |
|\ | |||
| * | 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 |
* | 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 | Vincent Laporte | 2014-09-13 |
* | | ats2: bump | Shea Levy | 2014-09-20 |
* | | rustc: fixed build after 7068828389390dca066fb1062bd27148d49339d4 | Georges Dubus | 2014-09-16 |
* | | Merge pull request #4047 from waywardmonkeys/remove-gwdyion-dylan | Aristid Breitkreuz | 2014-09-14 |
|\ \ | |||
| * | | dylan: Remove old gwydion-dylan package. | Bruce Mitchener | 2014-09-12 |
| |/ | |||
* | | 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 |