.. |
abc
|
|
|
adobe-flex-sdk
|
|
|
agda
|
Remove obsolete Agda-executable package; the compiler is not part of 'Agda'.
|
2014-05-04 12:17:35 +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
|
chicken(-dev): Update to 4.8.0.5 / 4.9.0rc1
|
2014-05-14 12:22:52 +02:00 |
clean
|
|
|
closure
|
|
|
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
|
|
|
dev86
|
|
|
dmd
|
|
|
ecl
|
|
|
edk2
|
|
|
elm
|
haskell-Elm: update to version 0.12.3
|
2014-05-21 23:04:30 +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
|
|
|
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
|
|
|
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
|
|
|
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
|
|
|
mozart
|
|
|
nasm
|
|
|
neko
|
|
|
nvidia-cg-toolkit
|
|
|
ocaml
|
|
|
opa
|
|
|
opencxx
|
|
|
openjdk
|
|
|
openjdk-darwin
|
|
|
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
|
rust: update to 0.10 release
|
2014-05-12 13:37:38 -04:00 |
sbcl
|
|
|
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
|
|
|
yasm
|
|
|