3
0
Fork 0
forked from mirrors/nixpkgs
Commit graph

50702 commits

Author SHA1 Message Date
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
Michael Raskin 3d75833956 Update vanity counter. Now with GitHub username support 2014-10-12 23:05:27 +04:00
Michael Raskin 6465d684b8 Improve name quoting to correctly handle underscore 2014-10-12 23:05:27 +04: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
John Wiegley f310d73ac1 coqPackages.containers: set broken to false 2014-10-11 13:02:22 -05:00
John Wiegley a064080d8c coqPackages.containers: correct sha256 for the tarball 2014-10-11 13:00:22 -05:00
Domen Kožar b4a7c1a6e2 xplanet: fix giflib update 2014-10-11 19:53:18 +02:00