Paul Colomiets
|
febf46bf5c
|
rust: Update to 0.11
|
2014-07-03 00:52:33 +03:00 |
|
Luca Bruno
|
aa0179744a
|
go: fix build of 1.0.3
|
2014-07-02 12:12:57 +02:00 |
|
John Wiegley
|
f666bf4ddf
|
compcert: Correct syntax used in default.nix
|
2014-07-01 17:01:11 -05:00 |
|
John Wiegley
|
8d5c4e8b4b
|
compcert: build with 64-bit compiler, add darwin support
|
2014-07-01 16:43:27 -05:00 |
|
Michael Raskin
|
5a8a92c01a
|
Merge pull request #3007 from wkennington/master.syslinux
syslinux: Update 4.07 -> 6.02
|
2014-06-30 10:29:28 +04:00 |
|
Michael Raskin
|
a2dacf72d3
|
Scala: update to 2.9.3 and fix URL
Fixes #2613
It is a pull request by taku0 with a long story…
|
2014-06-30 09:37:19 +04:00 |
|
Michael Raskin
|
12e0c22e80
|
Merge pull request #2610 from taku0/oraclejdk8
add oraclejdk8
|
2014-06-30 09:26:58 +04:00 |
|
John Wiegley
|
e36e853817
|
smljnBootstrap: new expression for running smlnj on darwin
|
2014-06-26 15:54:45 -07:00 |
|
John Wiegley
|
b08031ffec
|
sbcl: use bootstrap binary on darwin
|
2014-06-25 22:07:55 -07:00 |
|
John Wiegley
|
8cf92b530a
|
Merge pull request #3060 from cstrahan/packer
Add gox and packer packages
|
2014-06-24 15:19:42 -07:00 |
|
William A. Kennington III
|
e543a74011
|
nasm: 2.11.01 -> 2.11.05
|
2014-06-24 16:10:13 -05:00 |
|
Domen Kožar
|
0e54b7980a
|
go 1.3: doesn't evaluate on freebsd
|
2014-06-23 17:43:43 +02:00 |
|
Bjørn Forsman
|
89e6eb41f2
|
aliceml: description improvements
Move the (long) description to "longDescription" and add a short
description in "description".
|
2014-06-23 12:33:10 +02:00 |
|
Charles Strahan
|
06a07684aa
|
Add gox and packer packages
|
2014-06-23 03:56:31 -04:00 |
|
Charles Strahan
|
984bb6b923
|
go 1.3 and darwin support
|
2014-06-23 01:10:20 -04:00 |
|
taku0
|
21643702e7
|
jdk7: update patchversion 55 -> 60.
|
2014-06-22 21:45:30 +09:00 |
|
taku0
|
4f745ce8b2
|
oraclejdk8: Add support for grsecurity
|
2014-06-22 21:39:37 +09:00 |
|
taku0
|
a056940066
|
add oraclejdk8
|
2014-06-22 21:39:37 +09:00 |
|
John Wiegley
|
b24da6b15d
|
gccApple: Patches for building on Mavericks
|
2014-06-21 11:32:37 -07:00 |
|
Rob Vermaas
|
a975f6d8c5
|
Merge pull request #3016 from danielzinn/add_cuda_6
Added cuda6 compiler as package cudatoolkit6.
|
2014-06-19 14:10:36 +02:00 |
|
Mathijs Kwik
|
9ceeb77bd3
|
agda-stdlib: no need to jailbreak anymore
|
2014-06-19 13:38:54 +02:00 |
|
Daniel Zinn
|
ca0de0f1f7
|
Added cuda6 compiler as package cudatoolkit6.
|
2014-06-19 04:24:21 -07:00 |
|
Moritz Ulrich
|
bc41714d02
|
chicken: Update to 4.9.0.1.
|
2014-06-19 12:04:20 +02:00 |
|
Austin Seipp
|
b9fc9bd760
|
Merge pull request #2992 from bluescreen303/agda
Agda: upgrade stdlib to 0.8, change defaults to latest version
|
2014-06-18 16:22:33 -05:00 |
|
Peter Simons
|
f7c7282964
|
Merge pull request #2979 from bluescreen303/idris
Idris: fix wrapper for llvm, upgrade emacs-idris-mode
|
2014-06-18 10:00:00 +02:00 |
|
Mathijs Kwik
|
3fd519822f
|
agda-stdlib: upgrade to 0.8 (they keep changing the version scheme)
Conflicts:
pkgs/development/compilers/agda/stdlib-0.8.nix
pkgs/top-level/haskell-packages.nix
|
2014-06-17 08:25:44 +02:00 |
|
John Wiegley
|
61e8fe50c2
|
Agda: add 2.4.0.1, 2.3.2.2 is still the default for now
|
2014-06-16 14:03:17 -07:00 |
|
Mathijs Kwik
|
8d708ba35a
|
idris: provide boehmgc to compile with llvm backend
|
2014-06-16 22:43:51 +02:00 |
|
Vladimír Čunát
|
1b78ca58bc
|
Merge #2798: stdenv and a few other big updates
Stdenv-changing things:
- gcc 4.8.2 -> 4.8.3
- long-running grsecurity branch
Others:
- pkgconfig update
- CVE for libtasn1, dbus
Conflicts (simple):
pkgs/development/compilers/ghc/7.6.3.nix
|
2014-06-16 10:23:36 +02:00 |
|
Vladimír Čunát
|
9757785295
|
Merge recent master
|
2014-06-15 17:55:35 +02:00 |
|
Peter Simons
|
132309de52
|
scala: cosmetic fix for syntax highlighting in Emacs
|
2014-06-15 17:12:14 +02:00 |
|
Robert M. Mather
|
2d6d52bb2a
|
Ur/Web compiler: new release, 20140426 -> 20140531
|
2014-06-13 18:22:34 -07:00 |
|
Peter Simons
|
e9bbb1ede9
|
haskell-idris: update to version 0.9.13.1
|
2014-06-13 15:41:22 +02:00 |
|
Austin Seipp
|
3e76f3922f
|
Merge pull request #2801 from orbitz/haxe-3.1.3
Add HaXe 3.1.3
|
2014-06-12 20:41:58 -05:00 |
|
Vladimír Čunát
|
de12094b0e
|
Merge recent master
|
2014-06-12 09:15:11 +02:00 |
|
Vladimír Čunát
|
34091bf265
|
cudatoolkit: fix multiple outputs (close #2466)
|
2014-06-11 21:32:13 +02:00 |
|
Austin Seipp
|
509beb1f68
|
Add HHVM packages, replacing old hiphop-php expr
Signed-off-by: Austin Seipp <aseipp@pobox.com>
|
2014-06-10 13:28:35 -05:00 |
|
Peter Simons
|
abff388c20
|
ghc-head: update to version 7.9.20140608
|
2014-06-10 20:27:20 +02:00 |
|
Vladimír Čunát
|
f2352f7ecf
|
Merge recent master
|
2014-06-10 20:14:08 +02:00 |
|
Vladimír Čunát
|
5a98b9f514
|
Merge recent master into p/stdenv
Merged just before the pypi update, as it seems to cause problems on Hydra.
|
2014-06-09 19:07:31 +02:00 |
|
Vladimír Čunát
|
5e37c09f06
|
ghc on darwin: second attempt to fix build
Tested not to affect hash on linux.
|
2014-06-09 19:01:49 +02:00 |
|
Peter Simons
|
b5e87f63f9
|
haskell-idris: update to version 0.9.13
|
2014-06-09 10:26:57 +02:00 |
|
Austin Seipp
|
8155e5d119
|
compcert: fix build by adding menhir dependency
Signed-off-by: Austin Seipp <aseipp@pobox.com>
|
2014-06-09 01:25:27 -05:00 |
|
Austin Seipp
|
8c0b63162b
|
compcert: 2.2 -> 2.3pl2
Signed-off-by: Austin Seipp <aseipp@pobox.com>
|
2014-06-06 23:09:47 -05:00 |
|
Eelco Dolstra
|
1da6a7d4a9
|
Remove illegal meta.src attributes
|
2014-06-05 13:04:18 +02:00 |
|
Austin Seipp
|
cd6cf75720
|
Merge pull request #2787 from doublec/aliceml
Alice ML 1.4 programming language
|
2014-06-03 20:36:44 -05:00 |
|
Shea Levy
|
2943fe1e76
|
go: bump
|
2014-06-03 13:51:37 -04:00 |
|
Moritz Ulrich
|
088cb87e8c
|
chicken: Bump to 4.9.0.
|
2014-06-02 18:15:44 +02:00 |
|
Malcolm Matalka
|
27e2e4132b
|
Add HaXe 3.1.3
|
2014-06-01 15:15:15 +02:00 |
|
John Wiegley
|
0369769bd9
|
gcc-4.8: build Objective-C/C++ support on darwin
|
2014-05-31 19:39:09 +00:00 |
|