summary refs log tree commit diff
path: root/pkgs/development/compilers
Commit message (Expand)AuthorAge
* Merge pull request #2521 from jwiegley/agdaAustin Seipp2014-05-22
|\
| * Build AgdaStdlib before installing itJohn Wiegley2014-05-05
* | swiProlog: update from 6.6.3 to 6.6.5Rob Vermaas2014-05-22
* | haskell-Elm: update to version 0.12.3Peter Simons2014-05-21
* | haskell-elm-server: update to version 0.11.0.1Peter Simons2014-05-21
* | Fixing the cross gcc building.Lluís Batlle i Rossell2014-05-19
* | jhc: Fix licenseAustin Seipp2014-05-18
* | jhc: 0.8.0 -> 0.8.1Austin Seipp2014-05-18
* | Merge pull request #2398 from cstrahan/rust-updateAustin Seipp2014-05-18
|\ \
| * | rust: update to 0.10 releaseCharles Strahan2014-05-12
* | | cryptol: add a convenient clang/lss wrapperAustin Seipp2014-05-17
* | | llvmPackages.lld: fix build after 3.4.1 updateVladimír Čunát2014-05-16
* | | llvm+clang: maintenance update 3.4 -> 3.4.1Vladimír Čunát2014-05-15
* | | Add the Mercury compiler to nixpkgs.Karn Kallio2014-05-14
* | | Merge pull request #2605 from ro6/masterAustin Seipp2014-05-14
|\ \ \
| * | | Ur/Web compiler: new release, 20130421 -> 20140426Robert M. Mather2014-05-10
* | | | Drop obsolete Haskell packages WebBits, WebBitsHtml, JsContracts, and flapjax.Peter Simons2014-05-14
* | | | chicken(-dev): Update to 4.8.0.5 / 4.9.0rc1Moritz Ulrich2014-05-14
* | | | Revert "go: updating to 1.2.2"Lluís Batlle i Rossell2014-05-14
* | | | go: updating to 1.2.2Lluís Batlle i Rossell2014-05-14
* | | | Merge pull request #2520 from CodeBlock/scalaAustin Seipp2014-05-13
|\ \ \ \
| * | | | scala: Bump to 2.11.0, bump 2.10 to 2.10.4Ricky Elrod2014-05-05
| | |_|/ | |/| |
* / | | ghc-7.0.1: fix download URLPeter Simons2014-05-07
|/ / /
* | | Remove obsolete Agda-executable package; the compiler is not part of 'Agda'.Peter Simons2014-05-04
* | | ghc-head: update snapshot to 7.9.20140430 (and download the tarball from Debian)Peter Simons2014-05-03
* | | Merge pull request #2388 from bennofs/update-jdk7Rob Vermaas2014-05-03
|\ \ \
| * | | Fix whitespaceBenno Fünfstück2014-04-26
| * | | jdk7: update patchversion 51 -> 55.Benno Fünfstück2014-04-25
* | | | Agda: move compiler and standard library into a common directoryPeter Simons2014-05-03
* | | | Merge pull request #2474 from jwiegley/agda-stdlibPeter Simons2014-05-03
|\ \ \ \ | |_|/ / |/| | |
| * | | Add expression for the Agda standard libraryJohn Wiegley2014-05-02
* | | | compcert: Fix Hydra platformsAustin Seipp2014-05-02
* | | | nixpkgs: add CompCertAustin Seipp2014-05-01
* | | | haskell-Elm: update to version 0.12.1.3Peter Simons2014-05-01
|/ / /
* | | cryptol: Replace URLs with something meaningfulAustin Seipp2014-04-29
* | | cryptol: add 1.8.x expressionAustin Seipp2014-04-29
* | | ats/ats2: clean-up, adopt, add Hydra packagesAustin Seipp2014-04-27
| |/ |/|
* | cryptol v2.0.0Austin Seipp2014-04-25
* | Add gcc-4.9.0Shea Levy2014-04-23
* | pakcs: update hash for latest version.Karn Kallio2014-04-23
* | icedtea7: Update from 2.4.6 -> 2.4.7Ricardo M. Correia2014-04-23
|/
* Merge pull request #1928 from 'cross-win-osx'.aszlig2014-04-21
|\
| * gcc-4.8: Use --with-as/ld for MinGW-w64 as well.aszlig2014-03-12
| *-. Merge 'mingw-w64' and 'darwin' into cross-win-osx.aszlig2014-03-12
| |\ \
| | | * gcc-4.8: Add ObjC and ObjC++ support for Darwin.aszlig2014-03-12
| | | * gcc-4.8: Hook in cross-darwin libc and binutils.aszlig2014-03-12
| | * | Use mingw-w64 for 32bit Windows builds as well.aszlig2014-03-03
* | | | Fix gcc bug 58800.Shea Levy2014-04-20
* | | | Revert "Merge branch 'gcc-fix' of git://github.com/ambrop72/nixpkgs"Shea Levy2014-04-20
* | | | Merge branch 'gcc-fix' of git://github.com/ambrop72/nixpkgsShea Levy2014-04-20
|\ \ \ \
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-27 16:36:02 +0000