Benno Fünfstück
164c578c96
haskell-cabal-bounds: GHC 7.8 has only Cabal 1.18
2014-06-28 16:50:35 +02:00
Benno Fünfstück
4c2a206d53
haskell-cabal-bounds: update Cabal version
2014-06-28 16:48:07 +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