1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-24 14:41:17 +00:00
nixpkgs/pkgs/development/compilers
Peter Simons 0c331a4a42 haskell-idris: revert update to version 0.9.9
This reverts commit 61c880d558. The new
Idris version depends on a version of LLVM that we don't have in master
yet: it's only in x-updates.
2013-08-03 12:10:39 +02:00
..
abc
adobe-flex-sdk
Agda-executable Remove myself from the meta.maintainer field of most Haskell packages. 2013-05-11 00:36:59 +02:00
aldor aldor: fix the build 2013-07-25 10:11:19 +02:00
aspectj
bigloo fix eval 2013-06-07 11:18:33 +02:00
ccl
chicken Add chicken-4.8.1 2013-03-26 22:52:54 +08:00
clean
closure New package: Google Closure compiler version 20130603. 2013-07-01 14:52:57 +02:00
cmucl
cudatoolkit
dev86
ecl ECL update 2013-06-04 11:30:32 +04:00
edk2 edk2: Update 2013-03-19 13:59:40 -04:00
elm haskell-elm-server: re-generate expression with cabal2nix 2013-07-29 11:27:01 +02:00
epic Remove myself from the meta.maintainer field of most Haskell packages. 2013-05-11 00:36:59 +02:00
eql
flapjax
fpc gktspell: version bump to 2.0.16 because the old one has disappeared 2013-07-14 03:09:34 +03:00
fsharp
gambit
gcc gcc47: minor update to 4.7.3 2013-04-12 03:07:31 +02:00
gcl
ghc nixos.org/tarballs -> tarballs.nixos.org 2013-06-25 14:12:16 +02:00
gnatboot
go Updating go to 1.1.1 2013-07-22 22:18:51 +02:00
gprolog
gwt gwt: Remove obsolete version 2013-01-28 18:31:17 +01:00
gwydion-dylan
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
idris haskell-idris: revert update to version 0.9.9 2013-08-03 12:10:39 +02:00
ikarus
jdk oracle jdk/jre: use requireFile instead of fetchurl (merge #537) 2013-05-16 10:58:08 +02:00
jhc jhc: enable Hydra build on Linux 2013-03-11 10:47:21 +01:00
jikes
julia Update Julia to today's revision 2013-06-11 15:44:56 +04:00
lessc New package: lessc, version 1.4.0 2013-07-01 15:39:39 +02:00
llvm llvm: fix meta.license attribute 2013-07-04 17:53:57 +02:00
mentor sourcery-codebench: fix installation of manpages 2013-05-29 21:58:29 +02:00
meta-environment/meta-build-env
mit-scheme Merge remote-tracking branch 'origin/master' into stdenv-updates 2013-01-22 23:23:53 +01:00
mlton
mono Added keepass password manager. Updated mono DLLMap to allow mono to run WinForms applications (keepass). 2013-06-09 23:17:09 +02:00
mozart
nasm
neko neko: Update to new upstream version 2.0.0. 2013-03-27 00:26:55 +01:00
nvidia-cg-toolkit
ocaml nixos.org/tarballs -> tarballs.nixos.org 2013-06-25 14:12:16 +02: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 nixos.org/tarballs -> tarballs.nixos.org 2013-06-25 14:12:16 +02:00
openjdk-darwin
pakcs pakcs: update to version 1.11.2 2013-05-10 14:41:29 +02:00
path64
polyml
qcmm nixos.org/tarballs -> tarballs.nixos.org 2013-06-25 14:12:16 +02:00
qi
roadsend
sbcl SBCL update 2013-06-04 11:30:26 +04:00
scala scala: Remove scalacheck.jar from scala's classpath 2013-05-14 11:28:24 +02:00
sdcc Fix maintainers attribute 2013-05-21 09:20:00 +02:00
stalin
strategoxt strategoxt.java-front: fix version to match tarball 2013-07-14 02:08:54 +03:00
swi-prolog swiProlog: major update to 6.2.6 2013-04-18 10:29:29 +02:00
tinycc tinycc: updating it to 0.9.26 2013-04-01 12:50:45 +02:00
uhc
urweb
vala vala, libusb1, deps of libjpeg: attempt to fix on non-Linux 2013-06-18 17:52:09 +02:00
visual-c++
vs90wrapper
webdsl
yap Even more mirror:// fixes 2013-07-14 04:17:07 +03:00
yasm yasm: upgrade to 1.2.0 2013-05-12 22:46:41 +02:00