summary refs log tree commit diff
path: root/pkgs/development/compilers
Commit message (Expand)AuthorAge
* Add Ocaml 4.01.0.Malcolm Matalka2013-10-19
* haskell-idris: update to version 0.9.9.3Peter Simons2013-10-18
* Update JuliaMichael Raskin2013-10-14
* Update SBCL to 1.1.12Michael Raskin2013-10-13
* Update edk2 and OVMFShea Levy2013-10-09
* Add argument to oraclejdk to allow installation of Java Cryptography Extensio...Rob Vermaas2013-10-08
* Merge pull request #1049 from bjornfor/description-fixesDomen Kožar2013-10-06
|\
| * More description fixesBjørn Forsman2013-10-06
* | Merge pull request #1046 from DriesVanDaele/masterPeter Simons2013-10-06
|\ \ | |/ |/|
| * add tabling to yapDries Van Daele2013-10-05
* | Some description fixesBjørn Forsman2013-10-05
|/
* Fix some issues in my packages reported by nixpkgs-lint.Moritz Ulrich2013-09-26
* haskell-idris: update to version 0.9.9.2Peter Simons2013-09-25
* haskell-idris: update to version 0.9.9.1Peter Simons2013-09-22
* go: adding an option to remove external references in godocLluís Batlle i Rossell2013-09-15
* Darwin support for Go 1.1 (close #952)Zef Hemel2013-09-14
* idris: re-generate with cabal2nixPeter Simons2013-09-11
* yap: add 'zlib' and 'gmp' build inputs to enable additional featuresPeter Simons2013-09-11
* Update YAP to version 6.2.2Dries Van Daele2013-09-11
* Update SWI-Prolog to version 6.4.1Dries Van Daele2013-09-11
* Merge branch 'master' into x-updatesVladimír Čunát2013-09-07
|\
| * go: update to 1.1.2Ricardo M. Correia2013-09-07
| * Merge pull request #926 from grwlf/urweb-2013Evgeny Egorochkin2013-09-06
| |\
| | * Ur/Web: Version bumpSergey Mironov2013-09-07
* | | Merge branch 'master' into x-updatesVladimír Čunát2013-08-28
|\| |
| * | cudatoolkit: fix missing dependenciesBjørn Forsman2013-08-27
| * | Update CUDA Toolkit to 5.5Justin Bedo2013-08-27
| * | gprolog: update to version 1.4.4, clean up installation layout, update licens...Peter Simons2013-08-27
* | | Merge branch 'master' into x-updatesVladimír Čunát2013-08-22
|\| |
| * | ghc-head: update to version 7.7.20130816Peter Simons2013-08-16
| * | unmaintain several packagesLudovic Courtès2013-08-16
| * | avra-1.3.0: Assember for the Atmel AVR microcontroller familyMoritz Ulrich2013-08-14
| * | haskell-Elm: update to version 0.9.0.2Peter Simons2013-08-14
| * | haskell-elm-server: update to version 0.9.0.2Peter Simons2013-08-14
| * | Disable tests in ElmAlexander Foremny2013-08-14
| * | ghc-head: update to version 7.7.20130811Peter Simons2013-08-11
| * | Export ghci config files for ghc-vis and ghc-heap-viewGergely Risko2013-08-11
| * | haskell-Elm: update to version 0.9.0.1Peter Simons2013-08-11
| * | haskell-elm-server: update to version 0.9Peter Simons2013-08-11
| * | typoDomen Kožar2013-08-11
| * | orc: add a comment about the licenseBjørn Forsman2013-08-11
| * | add myself to maintainers list, keep it sortedSong Wenwu2013-08-11
| * | orc: add missing license (bsd3)Song Wenwu2013-08-11
| * | add orc 0.4.17Song Wenwu2013-08-11
| * | haskell-idris: revert update to version 0.9.9Peter Simons2013-08-03
| * | haskell-idris: update to version 0.9.9Peter Simons2013-08-03
* | | llvm: Build the LLVMgold.so plugin for ld.gold &c.Petr Rockai2013-08-18
* | | clean some include flags that weren't really neededVladimír Čunát2013-08-03
* | | Merge branch 'master' into x-updatesVladimír Čunát2013-08-02
|\| |
| * | haskell-elm-server: re-generate expression with cabal2nixPeter Simons2013-07-29
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-19 11:42:32 +0000