philipp/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Activity
%!d() commits 3 branches 0 tags 1.4 GiB
Commit graph

1524 commits

Author SHA1 Message Date
Dries Van Daele 89964dd241 add tabling to yap 2013-10-05 20:59:34 +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
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
Mathijs Kwik 114b961b8c idris: upgrade to 0.9.9 2013-08-02 11:47:38 +02:00
Peter Simons b253eb0d59 haskell-elm-server: re-generate expression with cabal2nix 2013-07-29 11:27:01 +02:00
Alexander Foremny 828b1de8f4 Add jailbreak to Elm server 2013-07-27 10:22:07 +02:00
Karn Kallio c067505c7d aldor: fix the build 2013-07-25 10:11:19 +02:00
Peter Simons 58c08fdefb aldor: fix the sha256 hash (plus minor cosmetic changes) 2013-07-24 10:51:01 +02:00
Lluís Batlle i Rossell b1db03ece6 Updating go to 1.1.1 2013-07-22 22:18:51 +02:00
Peter Simons 0685198b53 Merge pull request #770 from aforemny/haskell-elm 
Add Elm and elm-server
 2013-07-21 06:41:26 -07:00
Karn Kallio bc4c9312a5 Add aldor. 2013-07-17 18:51:51 +02:00
Evgeny Egorochkin b084b29d26 Even more mirror:// fixes 2013-07-14 04:17:07 +03:00
Evgeny Egorochkin d0b4c8bfaa gktspell: version bump to 2.0.16 because the old one has disappeared 2013-07-14 03:09:34 +03:00
Evgeny Egorochkin d078f07f4c strategoxt.java-front: fix version to match tarball 2013-07-14 02:08:54 +03:00