public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
nixpkgs/pkgs/development/compilers
History
Peter Simons 13b246b221 ghc-head: update snapshot to 7.9.20140430 (and download the tarball from Debian) 
https://github.com/NixOS/nixpkgs/pull/2480
2014-05-03 20:03:30 +02:00
..
abc
…
adobe-flex-sdk
…
agda
Agda: move compiler and standard library into a common directory
2014-05-03 12:37:17 +02:00
aldor
aldor: update to 1.2.0 version in development.
2014-03-31 21:41:20 +02:00
aspectj
…
ats
ats/ats2: clean-up, adopt, add Hydra packages
2014-04-27 11:26:16 -05:00
ats2
ats/ats2: clean-up, adopt, add Hydra packages
2014-04-27 11:26:16 -05:00
avra
…
bigloo
…
ccl
…
chicken
…
clean
…
closure
…
cmucl
…
compcert
compcert: Fix Hydra platforms
2014-05-02 14:07:36 -05:00
cryptol
cryptol: Replace URLs with something meaningful
2014-04-29 17:54:37 -05:00
cudatoolkit
cuda: install the SDK using multiple-outputs support
2014-01-29 15:48:55 +01:00
dev86
Apply makeOverridable to stdenv
2014-02-05 19:18:33 +01:00
dmd
…
ecl
…
edk2
edk2/OVMF: Update
2014-02-03 18:32:21 -05:00
elm
haskell-Elm: update to version 0.12.1.3
2014-05-01 21:57:03 +02:00
epic
…
eql
…
flapjax
…
fpc
…
fsharp
fsharp: 3.1 -> 3.1.0
2014-04-08 10:54:25 -05:00
gambit
…
gcc
Add gcc-4.9.0
2014-04-23 10:45:00 -04:00
gcc-arm-embedded
gcc-arm-embedded: add meta attributes
2014-03-29 18:28:41 +01:00
gcl
Update GCL source to latest release
2014-02-02 21:36:22 +04:00
ghc
ghc-head: update snapshot to 7.9.20140430 (and download the tarball from Debian)
2014-05-03 20:03:30 +02:00
ghdl
Adding ghdl 0.31 mcode flavour
2014-04-16 10:35:45 +02:00
gnatboot
…
go
Merge branch glibc-2.19, see #1840
2014-04-02 19:03:49 +02:00
gprolog
…
gwt
…
gwydion-dylan
…
haxe
…
hugs
…
iasl
…
icedtea
icedtea7: Update from 2.4.6 -> 2.4.7
2014-04-23 01:39:07 +02:00
icedtea-web
icedtea7_web: Fix configure phase not finding bash
2014-04-10 00:15:53 +02:00
idris
idris: upgrade to 0.9.12
2014-04-06 11:47:46 +02:00
ikarus
…
jdk
Fix whitespace
2014-04-26 21:15:06 +02:00
jhc
…
jikes
…
julia
add julia 0.2.1 release
2014-03-28 18:39:26 +08:00
lessc
…
llvm
llvm(Packages) on darwin: attempts to fix
2014-04-10 21:19:40 +02:00
mcpp
mcpp: Add package
2014-01-30 21:56:17 -06:00
mentor
…
meta-environment/meta-build-env
…
mit-scheme
…
mlton
Fix build of MLton on Linux i686
2014-04-19 14:30:39 +01:00
mono
mono: add LLVM support (3.4svn build)
2014-03-08 14:57:49 -06:00
mozart
…
nasm
nasm: update from 2.10 to 2.11.01
2014-02-24 22:04:40 +01:00
neko
…
nvidia-cg-toolkit
…
ocaml
…
opa
…
opencxx
…
openjdk
…
openjdk-darwin
openjdk-darwin: Behave the same as openjdk-linux
2014-01-28 12:10:27 +01:00
orc
Merge pull request #2320 from iyzsong/unmaintain
2014-04-19 19:55:24 +01:00
pakcs
pakcs: update hash for latest version.
2014-04-23 10:54:58 +02:00
path64
…
polyml
…
qcmm
…
qi
…
rdmd
…
roadsend
…
rust
…
sbcl
Update SBCL
2014-03-08 21:13:00 +04:00
scala
…
sdcc
sdcc: bump 3.3.0 -> 3.4.0
2014-04-13 19:46:00 +02:00
smlnj
…
stalin
…
strategoxt
…
swi-prolog
swiProlog: update from 6.6.2 to 6.6.3
2014-04-09 12:41:11 +02:00
tinycc
…
uhc
…
urweb
…
vala
drop my maintainship of orc and vala
2014-04-19 23:21:51 +08:00
visual-c++
…
vs90wrapper
…
webdsl
…
yap
yap: revert update from 6.2.2 to 6.3.3
2014-03-07 23:16:33 +01:00
yasm
…