Commit graph

2116 commits

Author SHA1 Message Date
Aristid Breitkreuz 3e707fe5db update oracle jdk 7 2014-10-22 20:46:44 +02:00
Balaji Sivaraman 93fa6d456b scala: Bump up version from 2.11.1 to 2.11.2 2014-10-22 19:27:54 +05:30
Peter Simons d1fd6c90f4 scala: Revert "update from 2.11.1 to 2.11.3".
This reverts commit 4507aeb200.
Scala 2.11.3 is broken:

  https://groups.google.com/forum/#!msg/scala-internals/SSD9BNJaFbU/rACBkHrs2JEJ.
2014-10-22 14:57:13 +02:00
Peter Simons 807e834742 Merge pull request #4612 from balajisivaraman/scala-2.11.3
scala: Bump up version from 2.11.1 to 2.11.3
2014-10-22 11:39:59 +02:00
Balaji Sivaraman 4507aeb200 scala: update from 2.11.1 to 2.11.3 2014-10-22 14:45:59 +05:30
Peter Simons 7a20d76482 Disable all Haskell builds for Darwin on Hydra.
Hydra generates a GHC closure for Darwin that for no apparent reason
contains an ancient, broken Haddock binary -- probably because of an
impurity in the build system. That bug makes those GHC binaries
unusable: <https://github.com/NixOS/nixpkgs/issues/2689>.
2014-10-21 23:54:51 +02:00
Pascal Wittmann 1a4523ba8d lessc: update from 1.4.2 to 1.7.5 2014-10-21 23:07:06 +02:00
Peter Simons 8d013b7561 idris: re-generate expression with cabal2nix 2014-10-19 11:57:04 +02:00
Michael Raskin 4be0862006 Julia 0.3.1 2014-10-18 19:52:59 +04:00
Paul Colomiets 4035d9f27e rust: Upgrade rust stable to 0.12 2014-10-16 23:25:17 +03:00
Aycan iRiCAN ae84167aa1 Upgrade idris compiler to 0.9.14.3 2014-10-15 10:57:08 +03:00
Mateusz Kowalczyk 0732523c7d agda: add fuuzetsu to maintainers 2014-10-15 01:02:03 +01:00
Peter Simons 471bfb7f7b haskell-Elm: update to version 0.13 2014-10-14 17:39:24 +02:00
Georges Dubus 1f2fe452be rust: updated head
This version include the new "const" syntax.
2014-10-13 15:36:49 +02:00
Peter Simons b2a93071f6 haskell-epic: update to version 0.9.3.2 2014-10-13 09:09:33 +02:00
taku0 7175fdcd71 oraclejdk: bump to 8u20
Closes #4492
2014-10-12 15:43:44 +01:00
Vincent Laporte 3c45c8d53e yasm: update from 1.2.0 to 1.3.0 2014-10-10 22:43:58 +02:00
Ricardo M. Correia 922b658433 Merge pull request #4401 from jagajaga/update_rust
update rust
2014-10-10 18:49:36 +02:00
Lluís Batlle i Rossell eb21ef2bc7 Updating go from 1.3.2 to 1.3.3. 2014-10-10 17:07:16 +02:00
Arseniy Seroka 762480b334 update rustc 2014-10-10 00:04:18 +04:00
Aristid Breitkreuz 361375c3ac go: update from 1.3.2 to 1.3.3 2014-10-07 21:50:40 +02:00
Aristid Breitkreuz b2f1641a2d icedtea7_web: update from 1.5 to 1.5.1, potentially fixes CVE-2010-3860 2014-10-07 20:50:10 +02:00
Michael Raskin ec484c6a1e Update F# 2014-10-07 16:23:28 +04:00
Vincent Laporte 579e74549d CompCert: update to 2.4 2014-10-05 23:38:16 +01:00
Ricardo M. Correia 02c8dbe382 rustcMaster: Update to more recent commit and remove patch
The patch to the tests is now included upstream. Also in this version,
an issue was fixed upstream where LTO would fail with permission denied
in NixOS.
2014-10-05 17:47:36 +02:00
John Wiegley 10e215a3ae isabelle: Version 2014 building on Linux and Darwin 2014-09-30 23:15:31 -05:00
Ricardo M. Correia 272c44f1a5 rustcMaster: Fix test_override_env and enable tests
We also need to disable parallel building due to rust-lang/rust#16305.

Closes #4339
2014-10-01 02:34:25 +01:00
Ricardo M. Correia 3f5dcaa577 rustcMaster: Fix version 2014-09-29 14:57:26 +02:00
Ricardo M. Correia 51b8d716f4 rustcMaster: Update to a more recent commit 2014-09-29 14:45:55 +02:00
Maksymilian Owsianny a7197741ac Fixed idris wrapper to make idris work with different backends.
Closes #4314
2014-09-29 04:14:59 +01:00
Siarhei Zirukin 448f3229f8 package update: go-1.3.1 -> go-1.3.2
Closes #4279
2014-09-28 01:35:49 +01:00
Matej Cotman e541add0c7 go 1.1 and 1.2: fix builds by removing one test 2014-09-26 00:26:29 +02:00
Pascal Wittmann d8bc33637b lessc: update form 1.4.0. to 1.4.2 and adopt it 2014-09-25 18:19:19 +02:00
Matej Cotman 22e21c95d9 go: fix go 1.3.1 build
Closes #4243
2014-09-24 20:32:20 +01:00
Maksymilian Owsianny 4984b30c18 Fixed idris. 2014-09-24 19:50:08 +02:00
Michael Raskin d68f3e9c0f gcl: update from 2.6.10 to 2.6.11 2014-09-24 13:42:17 +04:00
Vincent Bernardoff 259bbdd5e4 Added OCaml release 4.02.0.
Closes #4197
2014-09-22 20:13:32 +01:00
Paul Koerbitz c15b4e1ac1 Add gforth to development/compilers 2014-09-22 19:56:52 +02:00
Peter Simons e81b9f4bd8 Merge pull request #4085 from wkennington/master.boost
Boost Updates
2014-09-22 13:53:34 +02:00
Domen Kožar a22aeba9b3 orc: disable tests 2014-09-22 12:35:07 +02:00
William A. Kennington III 31220480d8 boost: Update depdendent packages 2014-09-21 17:20:59 -07:00
Mateusz Kowalczyk 002d771763 orc: update from 0.4.21 to 0.4.22 2014-09-21 19:06:59 +01:00
Cray Elliott 2db5d9525a update nvidia cg toolkit to v3.1
TODO: investigate man page issues

Closes #4024
2014-09-21 01:37:36 +01:00
Philip Horger 5e80764774 go: Include all 3 GOROOT tools 2014-09-21 01:24:18 +01:00
Mateusz Kowalczyk 1e5452865b Merge pull request #4061 from vbgl/mezzo
Adds mezzo and its dependencies
2014-09-20 23:38:47 +01:00
Shea Levy d9716fb642 ats2: bump 2014-09-20 02:15:42 -04:00
Georges Dubus 58c4bf5f20 rustc: fixed build after 7068828389
That commit changed the patch to work for the new HEAD, but that new
patch breaks 0.11. I made two patch for the two versions.
2014-09-16 13:51:57 +02:00
Aristid Breitkreuz 8059a25ba9 Merge pull request #4047 from waywardmonkeys/remove-gwdyion-dylan
dylan: Remove old gwydion-dylan package.
2014-09-14 22:28:35 +02:00
Ricardo M. Correia 7068828389 rustcMaster: Update to a more recent commit 2014-09-14 04:54:33 +02:00
Peter Simons 686ea115a9 idris: broken by recent Haskell updates
http://hydra.cryp.to/build/190927/nixlog/1/raw
2014-09-14 00:06:43 +02:00