JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
ca35c44408
nixpkgs/pkgs/development/compilers
History
Austin Seipp 27a0d56514 compcert: Fix Hydra platforms 
Copy-pasta error, and compcert doesn't really make sense on Darwin or
64bit linux (it's callPackage_i686 anyway).

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-02 14:07:36 -05:00
..
abc * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless 2012-01-18 20:16:00 +00:00
adobe-flex-sdk * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless 2012-01-18 20:16:00 +00:00
Agda-executable Remove myself from the meta.maintainer field of most Haskell packages. 2013-05-11 00:36:59 +02:00
aldor aldor: update to 1.2.0 version in development. 2014-03-31 21:41:20 +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 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 fix eval 2013-06-07 11:18:33 +02:00
ccl Update Clozure Common Lisp to version 1.8 2012-10-17 11:09:44 +04:00
chicken Chicken: Fix build on OS X. 2013-11-29 11:47:00 +01: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: Fix Hydra platforms 2014-05-02 14:07:36 -05:00
cryptol cryptol: Replace URLs with something meaningful 2014-04-29 17:54:37 -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 ECL update 2013-06-04 11:30:32 +04:00
edk2 edk2/OVMF: Update 2014-02-03 18:32:21 -05:00
elm haskell-Elm: update to version 0.12.1.3 2014-05-01 21:57:03 +02:00
epic Remove myself from the meta.maintainer field of most Haskell packages. 2013-05-11 00:36:59 +02:00
eql EQL: update to latest snapshot 2012-12-13 15:53:24 +04:00
flapjax Update flapjax compiler to the latest release, version 2.1 2011-03-11 16:49:56 +00: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 Update Gambit 2011-04-13 06:31:45 +00:00
gcc Add gcc-4.9.0 2014-04-23 10:45:00 -04: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 version 7.8.1 has been deprecated because of a serious bug. 2014-04-11 22:33:11 +02:00
ghdl Adding ghdl 0.31 mcode flavour 2014-04-16 10:35:45 +02:00
gnatboot Remove unnecessary parentheses around if conditions 2012-12-28 19:54:15 +01:00
go Merge branch glibc-2.19, see #1840 2014-04-02 19:03:49 +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 * Reverted r6713, r6711, r4623, r3660, r2237. There rewrote fetchurl 2007-08-24 12:32:36 +00:00
haxe Revert "haxe: Use ignoreExternals and fix build." 2013-05-25 19:01:45 +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: 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 idris: upgrade to 0.9.12 2014-04-06 11:47:46 +02:00
ikarus Fix ikarus download url (ikarus-scheme.org is down) 2012-06-25 15:34:05 +03:00
jdk Update ffmpeg dependency in oraclejdk7 2014-04-02 23:36:47 +02:00
jhc jhc: enable Hydra build on Linux 2013-03-11 10:47:21 +01:00
jikes * Rewrite all the SourceForge URLs to mirror://sourceforge/. 2007-08-27 13:01:33 +00:00
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 llvm(Packages) on darwin: attempts to fix 2014-04-10 21:19:40 +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
meta-environment/meta-build-env removed metaBuildEnvTrunk, not necessary any more 2009-04-07 13:57:26 +00:00
mit-scheme Merge remote-tracking branch 'origin/master' into stdenv-updates 2013-01-22 23:23:53 +01:00
mlton Fix build of MLton on Linux i686 2014-04-19 14:30:39 +01:00
mono mono: add LLVM support (3.4svn build) 2014-03-08 14:57:49 -06:00
mozart Added mozart system (compiles, but untested). 2009-12-29 14:57:01 +00:00
nasm nasm: update from 2.10 to 2.11.01 2014-02-24 22:04:40 +01: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 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
opencxx gwt: Remove obsolete version 2013-01-28 18:31:17 +01: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 * 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 * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless 2012-01-18 20:16:00 +00:00
rdmd rdmd: Add (D language compiler helper). 2014-01-11 19:08:40 +01:00
roadsend * Fix some more "args: with args". 2010-07-30 14:47:23 +00:00
rust rust: fixed i686 build 2014-01-22 19:29:20 +01:00
sbcl Update SBCL 2014-03-08 21:13:00 +04:00
scala scala: add expression for scala 2.10.x branch. 2013-11-11 12:11:00 +01: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.2 to 6.6.3 2014-04-09 12:41:11 +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 More description fixes 2013-10-06 12:01:38 +02: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 xbmc: 12.2 -> 12.3 2013-12-29 17:53:40 +01:00