..
abc
adobe-flex-sdk
agda
Build AgdaStdlib before installing it
2014-05-05 19:51:05 -05: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
chicken(-dev): Update to 4.8.0.5 / 4.9.0rc1
2014-05-14 12:22:52 +02:00
clean
closure
Replace lib/java -> share/java
2014-01-09 13:01:38 +01:00
cmucl
compcert
compcert: Fix Hydra platforms
2014-05-02 14:07:36 -05:00
cryptol
cryptol: add a convenient clang/lss wrapper
2014-05-17 14:09:09 -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
dmd: Add (D language compiler).
2014-01-11 19:08:40 +01:00
ecl
edk2
edk2/OVMF: Update
2014-02-03 18:32:21 -05:00
elm
Elm: fix build by ignoring the build instructions provided by upstream
2014-05-28 12:48:29 +02:00
epic
eql
fpc
fsharp
fsharp: 3.1 -> 3.1.0
2014-04-08 10:54:25 -05:00
gambit
gcc
Fixing the cross gcc building.
2014-05-19 10:26:54 +02: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-7.0.1: fix download URL
2014-05-07 20:33:32 +02:00
ghdl
Adding ghdl 0.31 mcode flavour
2014-04-16 10:35:45 +02:00
gnatboot
go
Revert "go: updating to 1.2.2"
2014-05-14 10:16:35 +02:00
gprolog
gprolog: patch hard-coded path to the temporary file /tmp/make.log
2014-01-21 20:07:26 +01:00
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
jhc: Fix license
2014-05-18 10:15:06 -05:00
jikes
julia
add julia 0.2.1 release
2014-03-28 18:39:26 +08:00
lessc
llvm
llvmPackages.lld: fix build after 3.4.1 update
2014-05-16 18:29:12 +02:00
mcpp
mcpp: Add package
2014-01-30 21:56:17 -06:00
mentor
mercury
Add the Mercury compiler to nixpkgs.
2014-05-14 22:44:38 +02:00
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: fix libgdiplus finding
2014-05-27 20:08:50 +02:00
mozart
nasm
mpd: fix build on darwin
2014-05-21 15:50:15 +10:00
neko
nvidia-cg-toolkit
ocaml
Fix some "meta.licenses" attributes
2014-01-25 03:04:46 +01:00
opa
opencxx
opendylan
Definitions for Open Dylan 2013.2 (Dylan Language Implementation)
2014-05-27 20:27:47 +12:00
openjdk
openjdk: Hackery to ensure that tools.jar is found
2014-01-25 03:04:46 +01:00
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
PolyML expression: Factorize version number in a separate variable
2014-01-15 15:58:27 +01:00
qcmm
qi
rdmd
rdmd: Add (D language compiler helper).
2014-01-11 19:08:40 +01:00
roadsend
rust
rust: update to 0.10 release
2014-05-12 13:37:38 -04:00
sbcl
Updating SBCL to 1.2.0
2014-05-28 01:33:28 +04:00
scala
scala: Bump to 2.11.0, bump 2.10 to 2.10.4
2014-05-05 02:14:57 -04:00
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.3 to 6.6.5
2014-05-22 12:55:03 +02:00
tinycc
uhc
urweb
Ur/Web compiler: new release, 20130421 -> 20140426
2014-05-10 20:42:35 -07:00
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
mpd: fix build on darwin
2014-05-21 15:50:15 +10:00