nixpkgs/pkgs/development/compilers
Peter Simons 6ea21ad737 haskell-Agda: update to version 2.4.2
I had to disable the Haddock phase because of lots of errors:

  http://hydra.cryp.to/build/181564/nixlog/1/raw
2014-08-31 18:17:01 +02:00
..
abc * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless 2012-01-18 20:16:00 +00:00
adobe-flex-sdk Turn some license strings into lib.licenses values 2014-07-28 11:31:14 +02:00
agda haskell-Agda: update to version 2.4.2 2014-08-31 18:17:01 +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 * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless 2012-01-18 20:16:00 +00:00
ats ats/ats2: clean-up, adopt, add Hydra packages 2014-04-27 11:26:16 -05:00
ats2 ats2: Bump 2014-08-29 16:13:48 -04:00
avra Fix some issues in my packages reported by nixpkgs-lint. 2013-09-26 20:03:57 +00:00
bigloo Fix many package descriptions 2014-08-24 22:31:37 +02:00
ccl Update Clozure Common Lisp to version 1.8 2012-10-17 11:09:44 +04:00
chicken Make platforms.allBut accept a list rather than a single platform 2014-08-09 12:31:33 +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 Fix various evaluation problems 2014-08-22 11:57:40 +02:00
cudatoolkit If cuda headers are presented to nix in $out/include they are added to future gcc calls via a -isystem flag. However, cuda does not allow kernel calls from template function if these are located in system-headers. We thus move headers from $out/include to $out/usr_include and add a custom hook to add these headers via -I. 2014-06-23 06:11:34 -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
emscripten List NCSA license properly 2014-08-29 01:14:10 +04:00
emscripten-fastcomp Add emscripten: LLVM to JavaScript compiler 2014-07-12 18:17:50 +03:00
epic haskell-epic: mark as broken 2014-08-11 13:58:40 +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.0 -> 3.1.1.25 2014-08-20 02:03:18 -05:00
gambit Fix many package descriptions 2014-08-24 22:31:37 +02:00
gcc gcc33: no longer broken, apparently 2014-08-10 18:25:34 +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 Bump ghc-head to latest. 2014-08-19 23:47:58 +02:00
ghdl Merge remote-tracking branch 'origin/master' into staging. 2014-08-04 16:51:47 +02:00
gnatboot Turn some license strings into lib.licenses values 2014-07-28 11:31:14 +02:00
go Fix tarball build 2014-08-24 18:52:50 +02:00
gprolog gprolog: patch hard-coded path to the temporary file /tmp/make.log 2014-01-21 20:07:26 +01:00
gwt Another attempt to eradicate ensureDir 2014-06-30 14:56:10 +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 Fix many package descriptions 2014-08-24 22:31:37 +02: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 haskell-idris: update to version 0.9.14.2 2014-08-31 18:17:00 +02:00
ikarus Fix many package descriptions 2014-08-24 22:31:37 +02:00
jhc jhc: 0.8.1 -> 0.8.2 2014-08-20 01:43:31 -05:00
jikes
julia tarball fixes 2014-08-24 16:02:57 +02: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
manticore manticore: Remove name from description 2014-08-19 10:27:20 -04: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 Fix many package descriptions 2014-08-24 22:31:37 +02:00
meta-environment/meta-build-env removed metaBuildEnvTrunk, not necessary any more 2009-04-07 13:57:26 +00:00
mit-scheme mit-scheme: update from 9.1.1 to 9.2 and remove broken tag 2014-08-21 19:40:53 +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 Added mozart system (compiles, but untested). 2009-12-29 14:57:01 +00:00
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 svn merge ^/nixpkgs/trunk 2012-02-25 19:57:34 +00:00
ocaml Fix many package descriptions 2014-08-24 22:31:37 +02:00
opa Update OpaLang; it still doesn't build for a mysterious reason: apparently the missing fields are actually defined… 2014-08-12 16:22:25 +04: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 Merge remote-tracking branch 'origin/master' into staging 2014-07-22 11:00:00 +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 Don't build broken Haskell packages on Hydra. 2014-08-12 12:37:44 +02:00
path64 * Get rid of the ugly `useFromStdenv' hack in all-packages.nix. 2010-08-06 10:34:34 +00:00
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 Fix many package descriptions 2014-08-24 22:31:37 +02:00
rdmd Fix many package descriptions 2014-08-24 22:31:37 +02:00
roadsend * Fix some more "args: with args". 2010-07-30 14:47:23 +00:00
rustc Fix tarball build 2014-08-24 18:52:50 +02:00
sbcl Update SBCL 2014-08-31 18:20:07 +04:00
scala Fix many package descriptions 2014-08-24 22:31:37 +02:00
sdcc sdcc: bump 3.3.0 -> 3.4.0 2014-04-13 19:46:00 +02:00
smlnj Don't use ensureDir 2014-07-22 11:01:32 +02:00
stalin Set more realistic platform set for Stalin Scheme compiler 2014-08-12 04:35:34 +04:00
strategoxt Mark a bunch of packages as broken or not supported on Darwin 2014-08-08 17:59:02 +02:00
swi-prolog swiProlog: update from 6.6.3 to 6.6.5 2014-05-22 12:55:03 +02:00
tinycc Fix many package descriptions 2014-08-24 22:31:37 +02:00
uhc Disable Hydra builds for broken Haskell packages. 2014-08-20 20:26:57 +02: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++ * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless 2012-01-18 20:16:00 +00:00
vs90wrapper * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless 2012-01-18 20:16:00 +00:00
webdsl Change which corrected a failing build of webdsl on a 64 bit Linux. 2011-04-08 06:20:34 +00:00
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