Ryan Trinkle
92f8d68b99
Merge branch 'master' of https://github.com/NixOS/nixpkgs
...
Conflicts:
pkgs/development/libraries/haskell/ghcjs-dom/default.nix
pkgs/top-level/haskell-packages.nix
2014-10-06 13:12:58 -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
Peter Simons
3f2c6833ac
idris: remove unnecessary jailbreak
2014-09-14 00:06:42 +02:00
Vincent Laporte
829c49a686
Adds mezzo
...
Mezzo is a programming language in the ML tradition, which places strong
emphasis on the control of aliasing and access to mutable memory.
Homepage: http://protz.github.io/mezzo/
2014-09-13 12:26:07 +02:00
Bruce Mitchener
5e367ec9d7
dylan: Remove old gwydion-dylan package.
...
The Gywdion Dylan compiler that was packaged here is old and this
package no longer builds. The Gwydion Dylan compiler is no longer
maintained, and has been replaced by the Open Dylan compiler which
is already packaged in Nix (opendylan).
2014-09-12 12:27:58 +07:00
Mateusz Kowalczyk
d50c0e75b8
agda: fix license
2014-09-11 20:35:56 +01:00
Mateusz Kowalczyk
ee31679bad
agda-stdlib: make expression nicer, fix license
2014-09-11 20:35:56 +01:00
Rob Vermaas
a904585789
scala: update from 2.11.0 to 2.11.1
2014-09-11 13:32:33 +02:00
Eelco Dolstra
585983bc95
Merge remote-tracking branch 'origin/staging'
...
Conflicts:
pkgs/applications/version-management/subversion/default.nix
2014-09-08 11:42:09 +02:00
Vladimír Čunát
06fea81c6e
Merge recent master into staging
...
Hydra: ?compare=1150594
2014-09-06 16:52:45 +02:00
Robert M. Mather
98a4675581
Ur/Web compiler: new release, 20140531 -> 20140830
2014-09-06 11:05:10 +02:00
Domen Kožar
f9ba413b55
fix eval
2014-09-05 00:06:11 +02:00
Michael Raskin
014f7ad100
Merge pull request #3955 from paulkoerbitz/master
...
Update oraclejdk-7 patch version from 65 to 67
2014-09-04 20:20:01 +04:00
Peter Simons
0a6ad14395
haskell-idris: update to version 0.9.14.3
2014-09-04 14:41:09 +02:00
Michael Raskin
a517dfcf71
Fix ACL2
2014-09-04 14:41:35 +04:00
Peter Simons
ca931e0e1e
Merge pull request #3915 from Fuuzetsu/agda-builder
...
RFC: Agda builder
2014-09-04 11:28:47 +02:00
Paul Koerbitz
b8a88ce472
Update oraclejdk-7 patch version from 65 to 67
2014-09-03 21:30:31 +02:00
Ricardo M. Correia
e552fbf521
gcc/gcj: Update antlr dep to 4.4
...
Version 3.1.3 is no longer available for download.
2014-09-03 14:04:52 +02:00
Peter Simons
1c0d15b90e
Merge branch 'origin/master' into staging.
...
Conflicts:
pkgs/development/libraries/ffmpeg/2.x.nix
pkgs/development/libraries/serf/default.nix
2014-09-02 12:31:03 +02:00
Michael Raskin
24b4105ed7
Remove fpc 2.4.0: lazarus doesn't need it and it doesn't like .2.6.0 as bootstrap compiler
2014-09-01 08:56:37 +04:00
Mateusz Kowalczyk
61c17e326f
Use agda builder for stdlib. mv to all-packages
2014-09-01 01:38:01 +01:00
Michael Raskin
2406a89219
Update FPC to 2.6.4
2014-08-31 22:47:55 +04:00
Michael Raskin
6b962e6e9e
Update FPC binary expression
2014-08-31 22:47:55 +04:00
Mateusz Kowalczyk
b1e388cefb
agda-stdlib: update to 0.8.1
...
This is necessary after the Agda-2.4.2 bump
2014-08-31 19:26:05 +01:00