Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Agda: add 2.4.0.1, 2.3.2.2 is still the default for now | John Wiegley | 2014-06-16 |
* | Merge #2798: stdenv and a few other big updates | Vladimír Čunát | 2014-06-16 |
|\ | |||
| * | Merge recent master | Vladimír Čunát | 2014-06-15 |
| |\ | |||
| * \ | Merge recent master | Vladimír Čunát | 2014-06-12 |
| |\ \ | |||
| * \ \ | Merge recent master | Vladimír Čunát | 2014-06-10 |
| |\ \ \ | |||
| * \ \ \ | Merge recent master into p/stdenv | Vladimír Čunát | 2014-06-09 |
| |\ \ \ \ | |||
| * | | | | | ghc on darwin: second attempt to fix build | Vladimír Čunát | 2014-06-09 |
| * | | | | | ghc on darwin: attempt to fix build | Vladimír Čunát | 2014-05-30 |
| * | | | | | older GHCs: fix build after gcc-4.8.3 bump | Vladimír Čunát | 2014-05-30 |
| * | | | | | dragonegg: fix build, probably after gcc minor update | Vladimír Čunát | 2014-05-30 |
| * | | | | | Merge #1187 into p/stdenv | Vladimír Čunát | 2014-05-29 |
| |\ \ \ \ \ | |||
| | * | | | | | icedtea7: Add support for grsecurity | Ricardo M. Correia | 2014-05-15 |
| | * | | | | | openjdk: Add support for grsecurity | Ricardo M. Correia | 2014-05-15 |
| | * | | | | | openjdkBootstrap: Add support for grsecurity | Ricardo M. Correia | 2014-05-15 |
| | * | | | | | ghc: Add support for grsecurity | Ricardo M. Correia | 2014-05-15 |
| | * | | | | | oraclejdk7: Add support for grsecurity | Ricardo M. Correia | 2014-05-15 |
| | * | | | | | gcc: Add support for grsecurity | Ricardo M. Correia | 2014-05-15 |
| | * | | | | | llvm: Add support for grsecurity | Ricardo M. Correia | 2014-05-15 |
| * | | | | | | Merge branch 'master' into p/stdenv | Vladimír Čunát | 2014-05-26 |
| |\ \ \ \ \ \ | |||
| * | | | | | | | gcc: bugfix update 4.8.2 -> .3 | Vladimír Čunát | 2014-05-23 |
* | | | | | | | | scala: cosmetic fix for syntax highlighting in Emacs | Peter Simons | 2014-06-15 |
| |_|_|_|_|_|/ |/| | | | | | | |||
* | | | | | | | Ur/Web compiler: new release, 20140426 -> 20140531 | Robert M. Mather | 2014-06-13 |
* | | | | | | | haskell-idris: update to version 0.9.13.1 | Peter Simons | 2014-06-13 |
* | | | | | | | Merge pull request #2801 from orbitz/haxe-3.1.3 | Austin Seipp | 2014-06-12 |
|\ \ \ \ \ \ \ | |_|_|_|_|_|/ |/| | | | | | | |||
| * | | | | | | Add HaXe 3.1.3 | Malcolm Matalka | 2014-06-01 |
* | | | | | | | cudatoolkit: fix multiple outputs (close #2466) | Vladimír Čunát | 2014-06-11 |
* | | | | | | | Add HHVM packages, replacing old hiphop-php expr | Austin Seipp | 2014-06-10 |
* | | | | | | | ghc-head: update to version 7.9.20140608 | Peter Simons | 2014-06-10 |
| |_|_|_|_|/ |/| | | | | | |||
* | | | | | | haskell-idris: update to version 0.9.13 | Peter Simons | 2014-06-09 |
* | | | | | | compcert: fix build by adding menhir dependency | Austin Seipp | 2014-06-09 |
| |_|_|_|/ |/| | | | | |||
* | | | | | compcert: 2.2 -> 2.3pl2 | Austin Seipp | 2014-06-06 |
* | | | | | Remove illegal meta.src attributes | Eelco Dolstra | 2014-06-05 |
* | | | | | Merge pull request #2787 from doublec/aliceml | Austin Seipp | 2014-06-03 |
|\ \ \ \ \ | |||
| * | | | | | Alice ML 1.4 programming language | Chris Double | 2014-05-29 |
* | | | | | | go: bump | Shea Levy | 2014-06-03 |
* | | | | | | chicken: Bump to 4.9.0. | Moritz Ulrich | 2014-06-02 |
| |/ / / / |/| | | | | |||
* | | | | | gcc-4.8: build Objective-C/C++ support on darwin | John Wiegley | 2014-05-31 |
|/ / / / | |||
* | | | | Elm: fix build by ignoring the build instructions provided by upstream | Peter Simons | 2014-05-28 |
* | | | | Updating SBCL to 1.2.0 | Michael Raskin | 2014-05-28 |
* | | | | mono: fix libgdiplus finding | 宋文武 | 2014-05-27 |
* | | | | Definitions for Open Dylan 2013.2 (Dylan Language Implementation) | Chris Double | 2014-05-27 |
| |/ / |/| | | |||
* | | | Merge pull request #2710 from lovek323/mpd | Domen Kožar | 2014-05-25 |
|\ \ \ | |/ / |/| | | |||
| * | | mpd: fix build on darwin | Jason "Don" O'Conal | 2014-05-21 |
* | | | Merge pull request #2521 from jwiegley/agda | Austin Seipp | 2014-05-22 |
|\ \ \ | |||
| * | | | Build AgdaStdlib before installing it | John Wiegley | 2014-05-05 |
* | | | | swiProlog: update from 6.6.3 to 6.6.5 | Rob Vermaas | 2014-05-22 |
* | | | | haskell-Elm: update to version 0.12.3 | Peter Simons | 2014-05-21 |
* | | | | haskell-elm-server: update to version 0.11.0.1 | Peter Simons | 2014-05-21 |
| |/ / |/| | | |||
* | | | Fixing the cross gcc building. | Lluís Batlle i Rossell | 2014-05-19 |
* | | | jhc: Fix license | Austin Seipp | 2014-05-18 |