| .. |
|
abc
|
|
|
|
adobe-flex-sdk
|
|
|
|
agda
|
agda-stdlib: no need to jailbreak anymore
|
2014-06-19 13:38:54 +02:00 |
|
aldor
|
aldor: update to 1.2.0 version in development.
|
2014-03-31 21:41:20 +02:00 |
|
aliceml
|
aliceml: description improvements
|
2014-06-23 12:33:10 +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
|
Fix some issues in my packages reported by nixpkgs-lint.
|
2013-09-26 20:03:57 +00:00 |
|
bigloo
|
|
|
|
ccl
|
|
|
|
chicken
|
chicken: Update to 4.9.0.1.
|
2014-06-19 12:04:20 +02:00 |
|
clean
|
Some description fixes
|
2013-10-05 19:36:23 +02:00 |
|
closure
|
Replace lib/java -> share/java
|
2014-01-09 13:01:38 +01:00 |
|
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
|
Added cuda6 compiler as package cudatoolkit6.
|
2014-06-19 04:24:21 -07: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
|
gccApple: Patches for building on Mavericks
|
2014-06-21 11:32:37 -07: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
|
Merge recent master
|
2014-06-12 09:15:11 +02:00 |
|
ghdl
|
Adding ghdl 0.31 mcode flavour
|
2014-04-16 10:35:45 +02:00 |
|
gnatboot
|
|
|
|
go
|
Merge pull request #3060 from cstrahan/packer
|
2014-06-24 15:19:42 -07:00 |
|
gprolog
|
gprolog: patch hard-coded path to the temporary file /tmp/make.log
|
2014-01-21 20:07:26 +01:00 |
|
gwt
|
More description fixes
|
2013-10-06 12:01:38 +02:00 |
|
gwydion-dylan
|
|
|
|
haxe
|
Add HaXe 3.1.3
|
2014-06-01 15:15:15 +02:00 |
|
hhvm
|
Add HHVM packages, replacing old hiphop-php expr
|
2014-06-10 13:28:35 -05:00 |
|
hugs
|
|
|
|
iasl
|
|
|
|
icedtea
|
icedtea7: Add support for grsecurity
|
2014-05-15 13:25:50 +02:00 |
|
icedtea-web
|
icedtea7_web: Fix configure phase not finding bash
|
2014-04-10 00:15:53 +02:00 |
|
idris
|
idris: provide boehmgc to compile with llvm backend
|
2014-06-16 22:43:51 +02:00 |
|
ikarus
|
|
|
|
jdk
|
oraclejdk7: Add support for grsecurity
|
2014-05-15 13:25:48 +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
|
dragonegg: fix build, probably after gcc minor update
|
2014-05-30 11:03:54 +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: Add support for grsecurity
|
2014-05-15 13:25:49 +02:00 |
|
openjdk-darwin
|
fix openjdk url for Darwin
|
2014-06-25 15:01:13 -04: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
|
Remove illegal meta.src attributes
|
2014-06-05 13:04:18 +02:00 |
|
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: cosmetic fix for syntax highlighting in Emacs
|
2014-06-15 17:12:14 +02:00 |
|
sdcc
|
sdcc: bump 3.3.0 -> 3.4.0
|
2014-04-13 19:46:00 +02:00 |
|
smlnj
|
Add smlnj-110.76
|
2013-10-21 21:46:55 +03:00 |
|
stalin
|
unmaintain several packages
|
2013-08-16 23:45:01 +02:00 |
|
strategoxt
|
|
|
|
swi-prolog
|
swiProlog: update from 6.6.3 to 6.6.5
|
2014-05-22 12:55:03 +02:00 |
|
tinycc
|
unmaintain several packages
|
2013-08-16 23:45:01 +02:00 |
|
uhc
|
Back-port Haskell-related improvements from stdenv-updates.
|
2013-10-27 10:09:36 +01:00 |
|
urweb
|
Ur/Web compiler: new release, 20140426 -> 20140531
|
2014-06-13 18:22:34 -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 |
