| .. |
|
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
|
Fix some issues in my packages reported by nixpkgs-lint.
|
2013-09-26 20:03:57 +00:00 |
|
bigloo
|
|
|
|
ccl
|
|
|
|
chicken
|
chicken: Bump to 4.9.0.
|
2014-06-02 18:15:44 +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
|
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
|
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
|
gktspell: version bump to 2.0.16 because the old one has disappeared
|
2013-07-14 03:09:34 +03:00 |
|
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-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
|
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
|
More description fixes
|
2013-10-06 12:01:38 +02:00 |
|
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
|
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: 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
|
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
|
strategoxt.java-front: fix version to match tarball
|
2013-07-14 02:08:54 +03:00 |
|
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, 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 |
