Commit Graph

12419 Commits

Author SHA1 Message Date
Igor Pashev
ff860fa21f Added simple-sql-parser 0.4.0 2014-06-22 07:49:31 +02:00
John Wiegley
3b267d77a8 Merge pull request #3031 from jwiegley/proofgeneral
proofgeneral_4_3_pre: Add expression needed for current prooftree
2014-06-21 09:22:29 -07:00
John Wiegley
9d36361931 haskell-free-operational: Remove expression 2014-06-20 22:33:36 -07:00
John Wiegley
0cf6e55a70 proofgeneral_4_3_pre: Add expression needed for current prooftree 2014-06-20 22:31:55 -07:00
Shea Levy
a87301092b Merge branch 'php-zmq' of git://github.com/proger/nixpkgs
php-packages: add zmq
2014-06-20 17:27:11 -04:00
Florian Friesdorf
333b6bdfee python nose-1.3.3 2014-06-20 20:43:24 +02:00
Vladimir Kirillov
e3734c96df php-packages: add zmq 2014-06-20 15:37:09 +03:00
Florian Friesdorf
bc75a33988 release-python: heavily reduce list of built packages 2014-06-20 14:17:50 +02:00
Domen Kožar
ad666c56ff pypy: correctly bump the version 2014-06-19 18:16:43 +02:00
Rob Vermaas
a975f6d8c5 Merge pull request #3016 from danielzinn/add_cuda_6
Added cuda6 compiler as package cudatoolkit6.
2014-06-19 14:10:36 +02:00
Daniel Zinn
01bbc61364 tweak 2014-06-19 04:53:03 -07:00
Mathijs Kwik
0a8455800c idris: fix dependency on older 'parsers' 2014-06-19 13:38:54 +02:00
Mathijs Kwik
46d6fc0c32 agda: fix dependency on more recent 'binary' 2014-06-19 13:38:54 +02:00
Daniel Zinn
ca0de0f1f7 Added cuda6 compiler as package cudatoolkit6. 2014-06-19 04:24:21 -07:00
Oliver Charles
f67cf3e18d Jailbreak haskellPackages.websockets
This is needed until https://github.com/jaspervdj/websockets/issues/71
is resolved.
2014-06-19 11:17:01 +01:00
aszlig
1580688490
gyp: Update to new upstream revision 1944.
This is mainly needed in order to build the new Chromium version 37.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2014-06-19 01:51:33 +02:00
Austin Seipp
b9fc9bd760 Merge pull request #2992 from bluescreen303/agda
Agda: upgrade stdlib to 0.8, change defaults to latest version
2014-06-18 16:22:33 -05:00
Austin Seipp
85c70f642f Merge pull request #2977 from bluescreen303/emacs-org2blog
Emacs org2blog - bring up to date - now works with org-8.* again
2014-06-18 16:21:02 -05:00
Austin Seipp
1e3a53e44e Merge pull request #3001 from deepfire/aurulent-sans
aurulent-sans:  new expression
2014-06-18 16:20:18 -05:00
Austin Seipp
3a86ce32e4 Merge pull request #2937 from cpages/oxc
openxcom: add version 1.0.0
2014-06-18 16:16:07 -05:00
Austin Seipp
4eb7fdcc13 Merge pull request #2966 from wkennington/master.sudo
Update and fix sudo
2014-06-18 16:13:53 -05:00
Austin Seipp
fb24267670 Merge pull request #3002 from tomberek/haskell_tcacheAWS
Adds tcache-AWS
2014-06-18 16:09:35 -05:00
Thomas Bereknyei
8a16a950ba Adds tcache-AWS 2014-06-18 01:01:45 -04:00
William A. Kennington III
ef4ea24420 sudo: Always keepVisudo in order to simplify sudo build 2014-06-17 22:41:32 -05:00
Kosyrev Serge
4bbabdc8b9 aurulent-sans: new expression 2014-06-18 04:12:10 +04:00
Austin Seipp
7f800e8155 jd-gui: version 0.3.5
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-06-17 14:44:49 -05:00
Ricardo M. Correia
f8e108c865 nixos.tests.installer: Fix test failures due to network being disabled 2014-06-17 18:41:26 +02:00
Shea Levy
fec288f404 Merge branch 's3cmd-git' of git://github.com/fmapfmapfmap/nixpkgs 2014-06-17 09:56:01 -04:00
Mathijs Kwik
2d92adcc1a agda: change defaults to latest version 2014-06-17 08:25:45 +02:00
Mathijs Kwik
3fd519822f agda-stdlib: upgrade to 0.8 (they keep changing the version scheme)
Conflicts:
	pkgs/development/compilers/agda/stdlib-0.8.nix
	pkgs/top-level/haskell-packages.nix
2014-06-17 08:25:44 +02:00
John Wiegley
61e8fe50c2 Agda: add 2.4.0.1, 2.3.2.2 is still the default for now 2014-06-16 14:03:17 -07:00
John Wiegley
39dfef4af0 haskell-boxes: new expression 2014-06-16 14:03:17 -07:00
John Wiegley
20f31b66a2 haskell-free-operational: new expression 2014-06-16 14:03:17 -07:00
John Wiegley
7a45ef7e25 haskell-equivalence: new expression 2014-06-16 14:03:17 -07:00
John Wiegley
cd3798c266 haskell-STMonadTrans: new expression 2014-06-16 14:03:17 -07:00
Mathijs Kwik
ab8337e4fc add emacs-metaweblog 2014-06-16 22:43:10 +02:00
Shea Levy
52aa2afdcd nixUnstable: bump 2014-06-16 10:44:02 -04:00
Peter Simons
0f9b3ef24a hscolour-bootstrap: GHC 6.10.x and earlier don't support the -rtsopts option 2014-06-16 16:28:39 +02:00
Peter Simons
fa8f2ca300 hscolour-bootstrap: allow setting RTS options for the hscolour binary we use to generate our documentation
Other tools like hsc2hs or haddock allows this, too, and some tools explicitly
set memory limits on these tools during the build (i.e. llvm-general-pure) by
exposing a GHCRTS environment variable. See [1] for a concrete example of this
issue.

[1] https://github.com/NixOS/nixpkgs/issues/2939
2014-06-16 15:38:38 +02:00
Vladimír Čunát
1b78ca58bc Merge #2798: stdenv and a few other big updates
Stdenv-changing things:
    - gcc 4.8.2 -> 4.8.3
    - long-running grsecurity branch
Others:
    - pkgconfig update
    - CVE for libtasn1, dbus

Conflicts (simple):
    pkgs/development/compilers/ghc/7.6.3.nix
2014-06-16 10:23:36 +02:00
vi
fd08da1116 New derivation: hxt-tagsoup #haskell 2014-06-16 13:32:24 +08:00
vi
82cbbb1759 Added CPAN's Crypt::OpenSSL::Bignum. 2014-06-15 23:23:26 +02:00
vi
174f1dac9e Added CPAN's Crypt::DH, and its dependencies. 2014-06-15 23:23:26 +02:00
vi
f6b2155ef4 Added CPAN's Crypt::Blowfish. 2014-06-15 23:23:25 +02:00
Vladimír Čunát
9757785295 Merge recent master 2014-06-15 17:55:35 +02:00
Shea Levy
7a0c66c829 Merge branch 'master' of git://github.com/soenkehahn/nixpkgs
packaging hp2any-manager and dependencies
2014-06-15 11:00:40 -04:00
Edward Tjörnhammar
97f45b1e11 Adding SweetHome3D, TexturesLibraryEditor, FurnitureLibraryEditor 2014-06-15 13:04:59 +02:00
Bjørn Forsman
06af50ff42 liboping: new package
liboping is a C library to generate ICMP echo requests, better known as
"ping packets". It is intended for use in network monitoring
applications or applications that would otherwise need to fork ping(1)
frequently.

http://verplant.org/liboping/
2014-06-15 00:42:40 +02:00
Bjørn Forsman
cb64b3d758 libmodbus: new package
libmodbus is a library to send/receive data according to the Modbus
protocol.

http://libmodbus.org/
2014-06-14 21:50:57 +02:00
Shea Levy
564c4515b1 Merge pull request #2936 from sol/master
Add haskell-hspec-wai
2014-06-14 11:43:26 -04:00