jolheiser/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
35,213 Commits 266 Branches 122 Tags 5.3 GiB
a773bf4398
Commit Graph

1535 Commits

Author SHA1 Message Date
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 61c880d5582c9bfd91a4ddb9c27973e31aed8c12. 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
Vladimír Čunát
625f40151b Merge branch 'master' into x-updates 
Conflicts (a little tricky, I did some cleanup of interacting changes):
	pkgs/development/compilers/llvm/default.nix
	pkgs/development/libraries/libpng/default.nix
	pkgs/tools/package-management/nixops/default.nix
	pkgs/top-level/all-packages.nix
 2013-08-02 18:30:53 +02:00