Peter Simons
cf08417baa
haskell-Elm: update to version 0.10
2013-10-24 23:29:54 +02:00
Song Wenwu
b23741da34
Add smlnj-110.76
...
Based on patch by Marc Weber:
http://lists.science.uu.nl/pipermail/nix-dev/2010-December/005625.html
Close #1058 .
2013-10-21 21:46:55 +03:00
Malcolm Matalka
ab744d2053
Add Ocaml 4.01.0.
...
Close #1065 .
2013-10-19 18:07:20 +03:00
Peter Simons
b258b45a4f
haskell-idris: update to version 0.9.9.3
2013-10-18 12:52:27 +02:00
Michael Raskin
75bb099867
Update Julia
2013-10-14 11:55:59 +04:00
Michael Raskin
6be28d142f
Update SBCL to 1.1.12
2013-10-13 10:34:55 +04:00
Shea Levy
74d72d89ea
Update edk2 and OVMF
...
Signed-off-by: Shea Levy <shea@shealevy.com>
2013-10-09 10:30:44 -04:00
Rob Vermaas
2066508131
Add argument to oraclejdk to allow installation of Java Cryptography Extension with unlimited strength. User needs to download these themselves, and need to accept a license agreement (Java SE BCL License Agreement)
2013-10-08 11:31:12 +02:00
Domen Kožar
49f8e371a1
Merge pull request #1049 from bjornfor/description-fixes
...
More description fixes
2013-10-06 07:05:20 -07:00
Bjørn Forsman
083d0890f5
More description fixes
...
* Remove package name
* Start with upper case letter
* Remove trailing period
Also reword some descriptions and move some long descriptions to
longDescription.
I'm not touching generated packages.
2013-10-06 12:01:38 +02:00
Peter Simons
2e60cd53b7
Merge pull request #1046 from DriesVanDaele/master
...
add tabling to yap
2013-10-06 02:58:53 -07:00
Dries Van Daele
89964dd241
add tabling to yap
2013-10-05 20:59:34 +02:00
Bjørn Forsman
28ac782583
Some description fixes
...
There are many more packages to fix, this is just a start.
Rules:
* Don't repeat the package name (not always that easy...)
* Start with capital letter
* Don't end with full stop
* Don't start with "The ..." or "A ..."
I've also added descriptions to some packages and rewritten others.
2013-10-05 19:36:23 +02:00
Moritz Ulrich
36fca94805
Fix some issues in my packages reported by nixpkgs-lint.
...
Signed-off-by: Moritz Ulrich <moritz@tarn-vedra.de>
2013-09-26 20:03:57 +00:00
Peter Simons
a71c1ca748
haskell-idris: update to version 0.9.9.2
2013-09-25 18:25:00 +02:00
Peter Simons
900a35738c
haskell-idris: update to version 0.9.9.1
2013-09-22 13:25:08 +02:00
Lluís Batlle i Rossell
41e95c68b3
go: adding an option to remove external references in godoc
...
godoc pages point to googleapis and google plus URLs, for every visit in
your local godoc. I added an option to disable that (the hard way, it
takes out the references). I don't think it removes any feature of
godoc.
2013-09-15 11:57:52 +02:00
Zef Hemel
8d001c1a08
Darwin support for Go 1.1 ( close #952 )
2013-09-14 15:13:26 +02:00
Peter Simons
da6b1e6d81
idris: re-generate with cabal2nix
2013-09-11 20:45:18 +02:00
Peter Simons
39043ce87e
yap: add 'zlib' and 'gmp' build inputs to enable additional features
2013-09-11 20:43:04 +02:00
Dries Van Daele
412b970479
Update YAP to version 6.2.2
2013-09-11 19:40:10 +02:00
Dries Van Daele
3d5e7a99f4
Update SWI-Prolog to version 6.4.1
2013-09-11 19:00:31 +02:00
Vladimír Čunát
b1be46e932
Merge branch 'master' into x-updates
2013-09-07 16:19:46 +02:00
Ricardo M. Correia
6039f2effe
go: update to 1.1.2
...
Also fix impurity in src/pkg/net/lookup_unix.go.
2013-09-07 05:10:50 +02:00
Evgeny Egorochkin
bf82983581
Merge pull request #926 from grwlf/urweb-2013
...
Ur/Web: Version bump
2013-09-06 15:51:24 -07:00
Sergey Mironov
190dcbbc7a
Ur/Web: Version bump
2013-09-07 00:36:40 +04:00
Vladimír Čunát
2fda1165da
Merge branch 'master' into x-updates
2013-08-28 10:37:41 +02:00
Bjørn Forsman
a74ab8c0a1
cudatoolkit: fix missing dependencies
...
Some of the java tools failed to run (notably nsight) because of missing
libraries. This fixes it.
2013-08-27 14:11:23 +02:00
Justin Bedo
6c2985e8d7
Update CUDA Toolkit to 5.5
2013-08-27 13:44:56 +02:00
Peter Simons
95491128cf
gprolog: update to version 1.4.4, clean up installation layout, update license information
2013-08-27 13:21:29 +02:00
Vladimír Čunát
c1e62e7e91
Merge branch 'master' into x-updates
2013-08-22 19:29:09 +02:00
Petr Rockai
8bc805a211
llvm: Build the LLVMgold.so plugin for ld.gold &c.
...
Conflicts (simple):
pkgs/development/compilers/llvm/default.nix
2013-08-18 21:35:17 +02:00
Peter Simons
898348a80d
ghc-head: update to version 7.7.20130816
2013-08-16 23:47:59 +02:00
Ludovic Courtès
2e937c437a
unmaintain several packages
2013-08-16 23:45:01 +02:00
Moritz Ulrich
f15af7c8e6
avra-1.3.0: Assember for the Atmel AVR microcontroller family
...
Signed-off-by: Moritz Ulrich <moritz@tarn-vedra.de>
2013-08-14 23:37:17 +02:00
Peter Simons
7147de66c6
haskell-Elm: update to version 0.9.0.2
2013-08-14 11:53:06 +02:00
Peter Simons
dff0f73d25
haskell-elm-server: update to version 0.9.0.2
2013-08-14 11:53:06 +02:00
Alexander Foremny
219e45b5f5
Disable tests in Elm
...
Elm does not serve any tests besides a test that always fails.
2013-08-14 10:02:05 +02:00
Peter Simons
bb312b77b5
ghc-head: update to version 7.7.20130811
2013-08-11 23:50:05 +02:00
Gergely Risko
de35a6dbb9
Export ghci config files for ghc-vis and ghc-heap-view
2013-08-11 23:50:04 +02:00
Peter Simons
8a09380383
haskell-Elm: update to version 0.9.0.1
2013-08-11 23:50:03 +02:00
Peter Simons
b5b53e250b
haskell-elm-server: update to version 0.9
2013-08-11 23:50:03 +02:00
Domen Kožar
94105045b4
typo
2013-08-11 17:13:46 +02:00
Bjørn Forsman
078213e892
orc: add a comment about the license
2013-08-11 14:50:55 +02:00
Song Wenwu
5f4fc730b1
add myself to maintainers list, keep it sorted
...
orc: add myself as a maintainer
2013-08-11 15:14:12 +08:00
Song Wenwu
8e023d078c
orc: add missing license (bsd3)
2013-08-11 12:07:57 +08:00
Song Wenwu
094ffb2b08
add orc 0.4.17
2013-08-11 11:00:45 +08:00
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
Peter Simons
61c880d558
haskell-idris: update to version 0.9.9
2013-08-03 12:08:22 +02:00
Vladimír Čunát
98f3716650
clean some include flags that weren't really needed
...
Tested the builds still work (x86_64-linux).
2013-08-03 10:45:13 +02:00