nixpkgs/pkgs/development/compilers
Peter Simons b6e2a52b72 Merge pull request #3418 from peti/drop-obsolete-agda-version
Agda: drop obsolete version 2.3.2.2
2014-08-06 13:39:30 +02:00
..
abc
adobe-flex-sdk Turn some license strings into lib.licenses values 2014-07-28 11:31:14 +02:00
agda Agda: drop obsolete version 2.3.2.2 2014-07-31 13:58:36 +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 ATS2 version [0.0.7] --> [0.1.0] 2014-07-28 17:00:02 +02:00
avra Fix some issues in my packages reported by nixpkgs-lint. 2013-09-26 20:03:57 +00:00
bigloo Turn some license strings into lib.licenses values 2014-07-28 11:31:14 +02:00
ccl Update Clozure Common Lisp to version 1.8 2012-10-17 11:09:44 +04:00
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 Remove support for the obsolete powerpc-darwin and i686-darwin platforms 2012-11-29 14:10:49 +01:00
compcert compcert: Correct syntax used in default.nix 2014-07-01 17:01:11 -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 ECL update 2013-06-04 11:30:32 +04:00
edk2 edk2/OVMF: Update 2014-02-03 18:32:21 -05:00
elm Add "please don't edit" comment at the top of every auto-generated Haskell file. 2014-07-14 13:21:41 +02:00
epic Add "please don't edit" comment at the top of every auto-generated Haskell file. 2014-07-14 13:21:41 +02:00
eql EQL: update to latest snapshot 2012-12-13 15:53:24 +04:00
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 Turn some license strings into lib.licenses values 2014-07-28 11:31:14 +02: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.2 and 7.0.3 are "broken" because of build errors with recent versions of GCC 2014-07-12 15:13:59 +02:00
ghdl Turn some license strings into lib.licenses values 2014-07-28 11:31:14 +02:00
gnatboot Turn some license strings into lib.licenses values 2014-07-28 11:31:14 +02:00
go go: fix build of 1.0.3 2014-07-02 12:12:57 +02: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 Merge recent master into x-updates 2014-07-21 12:05:57 +02:00
hugs Add package versions to some of the packages or fix existing ones to conform to nixpkgs conventions. 2013-06-07 03:15:45 +03:00
iasl iasl: Fix build 2013-01-28 17:19:01 +01:00
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: re-generate with cabal2nix 2014-07-31 13:57:45 +02:00
ikarus Turn some license strings into lib.licenses values 2014-07-28 11:31:14 +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 New package: lessc, version 1.4.0 2013-07-01 15:39:39 +02:00
llvm Merge recent master into x-updates 2014-08-02 05:08:07 +02:00
mcpp mcpp: Add package 2014-01-30 21:56:17 -06:00
mentor sourcery-codebench: fix installation of manpages 2013-05-29 21:58:29 +02:00
mercury Add the Mercury compiler to nixpkgs. 2014-05-14 22:44:38 +02:00
meta-environment/meta-build-env
mit-scheme Turn some license strings into lib.licenses values 2014-07-28 11:31:14 +02:00
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 nasm: 2.11.01 -> 2.11.05 2014-06-24 16:10:13 -05:00
neko neko: Update to new upstream version 2.0.0. 2013-03-27 00:26:55 +01:00
nvidia-cg-toolkit
ocaml Fix some "meta.licenses" attributes 2014-01-25 03:04:46 +01:00
opa Remove some oversized packages from the channel 2013-01-17 22:34:08 +01:00
opendylan Turn some license strings into lib.licenses values 2014-07-28 11:31:14 +02:00
openjdk Turn some license strings into lib.licenses values 2014-07-28 11:31:14 +02:00
openjdk-darwin Fix setting $JAVA_HOME 2014-07-16 18:34:14 +02:00
oraclejdk Turn some license strings into lib.licenses values 2014-07-28 11:31:14 +02: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 nixos.org/tarballs -> tarballs.nixos.org 2013-06-25 14:12:16 +02:00
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
rustc rustc: rename rust to rustc, but keep rust attr name for backwards compat 2014-08-01 04:39:37 +02:00
sbcl Give up for now: roll back SBCL to 1.2.0, as: 1.2.2 fails on i686; 1.2.1 fails everywhere 2014-08-04 19:57:01 +04:00
scala Scala: update to 2.9.3 and fix URL 2014-06-30 09:37:19 +04:00
sdcc sdcc: bump 3.3.0 -> 3.4.0 2014-04-13 19:46:00 +02:00
smlnj smljnBootstrap: new expression for running smlnj on darwin 2014-06-26 15:54:45 -07:00
stalin Turn some license strings into lib.licenses values 2014-07-28 11:31:14 +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 Turn some license strings into lib.licenses values 2014-07-28 11:31:14 +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