Commit graph

50694 commits

Author SHA1 Message Date
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
Moritz Ulrich b76e8417b3 xapian: update from 1.2.8 to 1.3.1 2014-10-11 19:29:58 +02:00
Markus Kohlhase d86c2c30c5 prosody: packaged as a service
Conflicts:
	nixos/modules/misc/ids.nix
2014-10-11 18:53:43 +02:00
Peter Simons 2dea014755 haskell-libmpd: remove obsolete version 0.8.0.5 2014-10-11 18:51:55 +02:00
Peter Simons 9bcb7a06f3 all-packages.nix: drop trailing whitespace 2014-10-11 18:38:06 +02:00
Aristid Breitkreuz 372f57cd33 xmobar needs mtl 2.2.1 and transformers 0.4 2014-10-11 18:38:06 +02:00
rejuvyesh 36f29dfeb9 Update xmobar to 0.22 2014-10-11 18:38:06 +02:00
Domen Kožar 576a5605b8 ised: get rid of builderDefsPackage 2014-10-11 18:28:29 +02:00
Domen Kožar 9ca95f700e sxiv: add missing patch 2014-10-11 18:19:58 +02:00