nixpkgs

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

aliceml

Alice ML 1.4 programming language

2014-05-29 13:18:31 +12: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: Bump to 4.9.0.

2014-06-02 18:15:44 +02:00

clean

…

closure

…

cmucl

…

compcert

compcert: fix build by adding menhir dependency

2014-06-09 01:25:27 -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

…

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

gcc-4.8: build Objective-C/C++ support on darwin

2014-05-31 19:39:09 +00: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 to version 7.9.20140608

2014-06-10 20:27:20 +02:00

ghdl

Adding ghdl 0.31 mcode flavour

2014-04-16 10:35:45 +02:00

gnatboot

…

go

go: bump

2014-06-03 13:51:37 -04: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

haskell-idris: update to version 0.9.13

2014-06-09 10:26:57 +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

…

qcmm

…

qi

Remove illegal meta.src attributes

2014-06-05 13:04:18 +02:00

rdmd

…

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