| .. |
|
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
|
|
|
|
dev86
|
|
|
|
dmd
|
|
|
|
ecl
|
|
|
|
edk2
|
|
|
|
elm
|
haskell-Elm: update to version 0.12.1.3
|
2014-05-01 21:57:03 +02:00 |
|
epic
|
|
|
|
eql
|
|
|
|
fpc
|
|
|
|
fsharp
|
fsharp: 3.1 -> 3.1.0
|
2014-04-08 10:54:25 -05:00 |
|
gambit
|
|
|
|
gcc
|
gcc: Add support for grsecurity
|
2014-05-15 13:25:47 +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
|
oraclejdk7: Add support for grsecurity
|
2014-05-15 13:25:48 +02:00 |
|
jhc
|
|
|
|
jikes
|
|
|
|
julia
|
add julia 0.2.1 release
|
2014-03-28 18:39:26 +08:00 |
|
lessc
|
|
|
|
llvm
|
llvm: Add support for grsecurity
|
2014-05-15 13:25:47 +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
|
|
|
|
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.2 to 6.6.3
|
2014-04-09 12:41:11 +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
|
|
|
