Commit Graph

43357 Commits

Author SHA1 Message Date
Peter Simons
b2a93071f6 haskell-epic: update to version 0.9.3.2 2014-10-13 09:09:33 +02:00
Peter Simons
2b9b1bcb27 haskell-aeson: update to version 0.8.0.1 2014-10-13 09:09:33 +02:00
Jaka Hudoklin
dd0758ab6b Merge pull request #4392 from cstrahan/logstash
logstash service improvements
2014-10-12 23:02:52 +02:00
Jaka Hudoklin
42da129d34 Merge pull request #4456 from robberer/pkgs/fritzing
fritzing: add version 0.9.0b
2014-10-12 22:58:45 +02:00
Jaka Hudoklin
ed53f57c9f Merge pull request #4475 from matejc/megaglest
megaglest: new package
2014-10-12 22:57:56 +02:00
Peter Simons
1907146ab9 Merge pull request #4501 from edwtjo/cmdtheline-patch
haskellPackages.cmdtheline: apply System.{Cmd -> Process} patch
2014-10-12 21:55:36 +02:00
Edward Tjörnhammar
e485bfd213 haskellPackages.cmdtheline: apply System.{Cmd -> Process} patch 2014-10-12 21:52:48 +02:00
Peter Simons
1658c545d4 Merge pull request #4502 from grwlf/screen-256color
screen: enable 256 colors
2014-10-12 21:45:58 +02:00
Bjørn Forsman
61388880d8 lua-packages.nix: whitespace fixes 2014-10-12 21:06:20 +02:00
Sergey Mironov
efcb363ea9 screen: enable 256 colors 2014-10-12 20:47:47 +04:00
Peter Simons
525a850511 thc-hydra: don't call this package "hydra"; that name is taken in NixOS 2014-10-12 17:34:49 +02:00
Aristid Breitkreuz
e6277bd958 the sha256 of cups 1.5.4 was that of a HTML (broken in md5->sha256 update) 2014-10-12 16:52:54 +02:00
taku0
7175fdcd71 oraclejdk: bump to 8u20
Closes #4492
2014-10-12 15:43:44 +01:00
Vincent Laporte
fe1d8d0015 cvc4: new derivation
CVC4 is an efficient open-source automatic theorem prover for
satisfiability modulo theories (SMT) problems.

Homepage: http://cvc4.cs.nyu.edu/web/
2014-10-12 16:21:02 +02:00
Vincent Laporte
af7cb557fb libantlr3c: new derivation
libantlr3c is the C runtime library of ANTLR v3

Homepage: http://www.antlr3.org/
2014-10-12 16:21:02 +02:00
Vincent Laporte
531b44562a why3: update from 0.83 to 0.85 2014-10-12 16:21:02 +02:00
Peter Simons
950adbe487 Merge pull request #4498 from robberer/remove/md5
change md5sum to sha256sum for a few packages
2014-10-12 16:20:10 +02:00
Peter Simons
fa00a9bfdc haskell-packages.nix: remove if-then-else case distinctions by compiler version
These decisions belong into haskell-defaults.nix.
2014-10-12 16:17:08 +02:00
Longrin Wischnewski
6e7de2155b change md5sum to sha256sum for a few packages 2014-10-12 16:13:21 +02:00
Peter Simons
258a47fcc7 haskell-xmobar: update to version 0.22.1 2014-10-12 16:12:27 +02:00
Aristid Breitkreuz
61ea009f3b Merge pull request #4458 from offlinehacker/pkgs/gotools
golang: add golint and gotags
2014-10-12 15:57:45 +02:00
Aristid Breitkreuz
76255516c2 Merge pull request #4480 from sepi/lilypond-2.18.2
lilypond: updated from 2.16.2 to 2.18.2
2014-10-12 15:49:31 +02:00
Raffael Mancini
ff3dde4904 lilypond: updated from 2.16.2 to 2.18.2 2014-10-12 14:52:55 +02:00
Thomas Strobel
bd57c29032 Update vim plugin vimproc, and add patch for ghc-mod vim plugin
Closes #4490
2014-10-12 13:20:04 +01:00
Longrin Wischnewski
51648727f5 arduino-core: bump version from 1.0.2 to 1.0.6
- replace fetchurl with fetchgit because googlecode is unmaintained
- remove unnecessary phases
- change license and maintainers
- tested with a few sketches and inotool

- change description according to "Contributors Guide"

change fetchgit to fetchFromgitHub

Closes #4449
2014-10-12 12:42:57 +01:00
Domen Kožar
37e1794425 Revert "xulrunner: update from 31.0 to 32.0"
This reverts commit 109547b902.

Breaks on 32bit linux: http://hydra.nixos.org/eval/1154529#tabs-still-fail
2014-10-12 13:38:42 +02:00
Mateusz Kowalczyk
b0258a5d17 Merge pull request #4462 from VShell/discount
discount: new package
2014-10-12 12:37:50 +01:00
Edward Tjörnhammar
9701d58e28 xbmcPlugins.genesis: added package
Closes #4482
2014-10-12 12:35:09 +01:00
taku0
08cd49e4e0 peco: update to version 0.2.10
Closes #4489
2014-10-12 12:33:16 +01:00
Mateusz Kowalczyk
d285aece7b tibia: update to 10.59 2014-10-12 12:33:04 +01:00
Arseniy Seroka
b8252a4494 apulse: add pkg
Closes #4488
2014-10-12 12:21:09 +01:00
Shell Turner
0b649538b2 discount: Added shell as maintainer 2014-10-12 12:09:07 +01:00
Alastair Pharo
f522344285 Update pure to 0.62
Closes #4486
2014-10-12 12:08:29 +01:00
Mateusz Kowalczyk
110c2d68d0 Merge pull request #4484 from edwtjo/idea-updates
Idea updates
2014-10-12 12:06:08 +01:00
Michael Raskin
299abee9ab Update wpa_supplicant 2014-10-12 12:34:16 +04:00
Michael Raskin
1602f9b90a Update hostapd 2014-10-12 12:34:16 +04:00
Edward Tjörnhammar
d975ba397c idea.android-studio: bump 0.8.10 -> 0.8.12 2014-10-12 10:27:10 +02:00
Edward Tjörnhammar
9eb5fef92f idea.idea-{community,ultimate}: bump 13.1.4b -> 13.1.5 2014-10-12 10:27:10 +02:00
Edward Tjörnhammar
a4d94a0042 idea.desktop: fixed that the item got malformed Comment input 2014-10-12 10:27:10 +02:00
John Wiegley
7821d15299 coqPackages.domains: new expression 2014-10-11 22:01:46 -05:00
John Wiegley
f300c68977 coqPackages.ynot: remove broken tag 2014-10-11 19:32:16 -05:00
John Wiegley
904bee0c46 coqPackages.[coq-ext-lib,heq,paco,ynot]: new expressions 2014-10-11 17:24:59 -05:00
Peter Simons
0a259ea888 Merge pull request #4461 from VShell/libsieve
libsieve: new package
2014-10-11 23:44:34 +02:00
John Wiegley
382badfefb coqPackages.bedrock: new expression 2014-10-11 16:22:15 -05:00
Joachim Schiele
df95acd13c Merge pull request #3960 from flosse/prosody-service
Prosody service
2014-10-11 23:10:05 +02:00
Aristid Breitkreuz
982364b212 awesome: generate manpages 2014-10-11 21:56:50 +02:00
Pascal Wittmann
a1cf6de6c8 Merge pull request #4446 from nathanielbaxter/dev/keepass
keepass: Bump version to 2.28
2014-10-11 21:00:29 +02:00
John Wiegley
814961f37a coqPackages.tlc: new expression 2014-10-11 13:29:45 -05:00
Domen Kožar
47182da0a3 remove pythonPackages.ssl reference 2014-10-11 20:29:17 +02:00
Domen Kožar
482779e582 python: get rid of ssl module as it's always builtin 2014-10-11 20:23:51 +02:00