.. |
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: 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-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
|
|
|
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
|
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.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
|
|
|