1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-27 16:11:58 +00:00
Commit graph

21178 commits

Author SHA1 Message Date
Jörg Thalheim 56a6144593 Merge pull request #30728 from pmiddend/awesomebump-5.1
awesomebump: 4.0 -> 5.1
2017-10-24 11:31:51 +01:00
Joerg Thalheim f6f0b7ac5d awesomebump: do not override qmake build phases
then all the hacks are not necessary
2017-10-24 11:29:17 +01:00
Wout Mertens 2df6923eff Merge pull request #30718 from NixOS/vmtools-reboot
open-vm-tools: Fix rebooting on NixOS
2017-10-24 12:13:08 +02:00
Peter Hoeg 87bd0494ba krdc: init at 17.08.1 2017-10-24 16:54:46 +08:00
Matthieu Coudron cd4df565ef msmtp: compiles with keyring support by default (#30584)
* msmtp: compiles with keyring support by default

As it is recommended by msmtp http://msmtp.sourceforge.net/doc/msmtp.html#Authentication
2017-10-24 15:56:06 +08:00
Franz Pletz 53e96d575f Merge pull request #30738 from mimadrid/update/gthumb-3.5.3
gthumb: 3.5.1 -> 3.5.3
2017-10-24 09:53:41 +02:00
Peter Hoeg cccee1ddb7 minuet: init at 17.08.1 2017-10-24 11:26:56 +08:00
jammerful 25ea55046d makeself: 2.2.0 -> 2.3.1 2017-10-23 19:22:01 -04:00
mimadrid 62b467a07d
gthumb: 3.5.1 -> 3.5.3 2017-10-23 22:34:44 +02:00
Franz Pletz bb49391151
imagemagick7: 7.0.7-4 -> 7.0.7-8 2017-10-23 22:16:57 +02:00
Franz Pletz 6af0de6478
imagemagick: 6.9.9-15 -> 6.9.9-20 2017-10-23 22:16:36 +02:00
Daniel Peebles 74ef9c60e9 Merge pull request #30692 from jonafato/keepassx-community-2.2.2
keepassx-community: 2.2.1 -> 2.2.2
2017-10-23 15:36:04 -04:00
Pascal Wittmann 740c4fe4af
filezilla: 3.27.1 -> 3.28.0 2017-10-23 20:57:04 +02:00
obadz 26122b368a citrix_receiver: refactor so older versions can still be installed
Version 13.4.0 is the latest version that doesn't suffer from the bug
described at
https://discussions.citrix.com/topic/385459-ssl-error-with-135-works-with-134/page-2#entry1977735

As a result, upgrades to 13.5.0, 13.6.0 and 13.7.0 were postponed.
However some users aren't affected by this big. This enables everyone to
download the version that suits their needs.

Related to: #23975, #27664, #30029
2017-10-23 18:02:20 +01:00
Piotr Bogdan a15cb742b9 marp: 0.0.10 -> 0.0.11 2017-10-23 17:54:26 +01:00
Philipp Middendorf c9e08b578b awesomebump-4.0 -> 5.1 2017-10-23 18:46:56 +02:00
Peter Hoeg c41d794ecb digikam: minor cleanups 2017-10-23 22:49:46 +08:00
Peter Hoeg 70b3fbde6e falkon: broken for now 2017-10-23 22:49:40 +08:00
fusion809 ab409e01c9 Bumping to 1.2.0
Per #30719 I am bumping to version 1.2.0.
2017-10-23 23:34:56 +10:00
Jörg Thalheim 043fd0a792 Merge pull request #30720 from Lassulus/gogland-debug
gogland: fix debugger
2017-10-23 14:29:49 +01:00
Jörg Thalheim 5fc37f2897 Merge pull request #30704 from veprbl/ipget
ipget: init at 0.2.5
2017-10-23 14:20:54 +01:00
lassulus 7b3a61af73 gogland: fix debugger 2017-10-23 15:18:36 +02:00
Tim Steinbach 124e462455
git: 2.14.2 -> 2.14.3 2017-10-23 08:46:15 -04:00
Wout Mertens 7144f88c48 open-vm-tools: Fix rebooting on NixOS 2017-10-23 13:59:37 +02:00
Emanuele Peruffo 3ee70f64f0 libreoffice: add Italian language
Added the Italian language to the list of supported languages for Nix.
2017-10-23 13:35:47 +02:00
Graham Christensen 346dcfdcf0 Merge pull request #30714 from phunehehe/git-crypt-path
git-crypt: add runtime dependencies to PATH
2017-10-23 07:12:43 -04:00
Hoang Xuan Phu acbe3a869c git-crypt: add runtime dependencies to PATH
git-crypt won't work if git and git-crypt are not in PATH. This surfaced
after dbb8958. Test like this:

```
PATH= $(nix-build --no-out-link '<nixpkgs>' --attr git-crypt)/bin/git-crypt unlock
```
2017-10-23 19:05:59 +08:00
Peter Hoeg fd3bb25895 dropbox: 36.4.22 -> 37.4.29 2017-10-23 10:14:51 +08:00
Dmitry Kalinkin 562f8313e0
ipget: init at 0.2.5 2017-10-22 21:46:40 -04:00
Kevin Cox 5f8cf0048e rust: update cargo builder to fetch registry dynamically
The biggest benefit is that we no longer have to update the registry
package. This means that just about any cargo package can be built by
nix. No longer does `cargo update` need to be feared because it will
update to packages newer then what is available in nixpkgs.

Instead of fetching the cargo registry this bundles all the source code
into a "vendor/" folder.

This also uses the new --frozen and --locked flags which is nice.

Currently cargo-vendor only provides binaries for Linux and
macOS 64-bit. This can be solved by building it for the other
architectures and uploading it somewhere (like the NixOS cache).

This also has the downside that it requires a change to everyone's deps
hash. And if the old one is used because it was cached it will fail to
build as it will attempt to use the old version. For this reason the
attribute has been renamed to `cargoSha256`.

Authors:
* Kevin Cox <kevincox@kevincox.ca>
* Jörg Thalheim <Mic92@users.noreply.github.com>
* zimbatm <zimbatm@zimbatm.com>
2017-10-23 00:30:47 +01:00
Tuomas Tynkkynen 4068703502 x42-plugins: Hack to attempt fixing the perpetual build problem
Since basically forever, it randomly fails with
   do not know how to unpack source archive /nix/store/d821jkm8bgkdcv924nk7qr1q06l9is35-x42-plugins-20170428.tar.xz
on Hydra.

https://hydra.nixos.org/build/62793688
2017-10-23 00:33:19 +03:00
John Wiegley 89720d851a
coqPackages_8_7: New expression, but don't make it the default yet 2017-10-22 12:43:27 -07:00
Tim Steinbach ec5f9c862e Merge pull request #30689 from pbogdan/update-irssi
irssi: 1.0.4 -> 1.0.5
2017-10-22 14:29:34 -04:00
Tuomas Tynkkynen 28494e96f0 falkon: Disable parallel building
https://hydra.nixos.org/build/62778325
2017-10-22 21:00:23 +03:00
André-Patrick Bubel 460c3f425e
calibre: 3.9.0 -> 3.10.0 2017-10-22 18:36:16 +02:00
Jon Banafato c1105ad9b4 keepassx-community: 2.2.1 -> 2.2.2 2017-10-22 11:46:33 -04:00
Tuomas Tynkkynen a4833730c4 cntk: Disable parallel building
https://hydra.nixos.org/build/62781346
2017-10-22 18:19:03 +03:00
Tim Steinbach 909fd5ecfa kubernetes: 1.7.8 -> 1.7.9 2017-10-22 17:06:45 +02:00
Piotr Bogdan c815637719 irssi: 1.0.4 -> 1.0.5
Security update, see https://irssi.org/security/irssi_sa_2017_10.txt.
2017-10-22 16:05:02 +01:00
Michael Alan Dorman 5f8bbb96f8 melpa-packages: 2017-10-21 2017-10-22 15:38:43 +02:00
Michael Alan Dorman fb2ad5327d melpa-stable-packages: 2017-10-21 2017-10-22 15:38:43 +02:00
Michael Alan Dorman 9ba279f0c8 elpa-packages: 2017-10-21 2017-10-22 15:38:43 +02:00
Robin Gloster d1c8c04ea6
git-lfs: 2.3.3 -> 2.3.4 2017-10-22 14:14:13 +02:00
Robin Gloster 922e747f58
gitAndTools.git-extras: 4.2.0 -> 4.4.0 2017-10-22 14:10:00 +02:00
Pascal Wittmann ba563450dc
vimpc: 0.09.0 -> 0.09.1 2017-10-22 11:30:43 +02:00
Nikolay Amiantov 6d86fcb86d cura: 2.6.1 -> 3.0.3 2017-10-22 04:18:45 +03:00
Nikolay Amiantov a5091226bd curaengine: 2.6.1 -> 3.0.3 2017-10-22 04:18:41 +03:00
Clemens Lutz 794ecdd8b8 makemkv: 1.10.6 -> 1.10.7 2017-10-22 00:28:31 +02:00
adisbladis 1e56016cb9 firefox-beta-bin: 57.0b6 -> 57.0b10 2017-10-22 00:23:22 +02:00
geistesk f0fd8e34e7 sent: 0.2 -> 1
Update sent to current version, adding farbfeld-dependency, updating license and URL
2017-10-22 00:18:07 +02:00
geistesk 54dbe1d1b4 firehol: 3.1.4 -> 3.1.5 2017-10-22 00:13:44 +02:00
geistesk c047df3317 iprange: 1.0.3 -> 1.0.4 2017-10-22 00:13:44 +02:00
Ryan Bernstein 941014ffff bowtie2: init at 2.3.3.1 2017-10-22 00:11:49 +02:00
Pascal Wittmann 7d8e1c358b
zim: 0.67-rc2 -> 0.67 2017-10-22 00:11:14 +02:00
Pascal Wittmann b6a2ff1e79
homebank: 5.1.5 -> 5.1.6 2017-10-22 00:11:12 +02:00
joncojonathan c2709fe832 deja-dup: 36.1 -> 36.3
Motivation for change: Latest version which includes some bug fixes.
2017-10-22 00:03:41 +02:00
Pascal Wittmann 255130b340
bro: 2.5.1 -> 2.5.2 2017-10-21 23:59:51 +02:00
Renaud a1d6716252 putty: 0.67 -> 0.70
+ use stable src URL and add a mirror
2017-10-21 22:11:19 +03:00
geistesk ab4f4f8baa et: 2017-03-04 -> 0.1 2017-10-21 17:03:58 +03:00
Yuriy Taraday f0a0f02b22 chromium: 61.0.3163.100 -> 62.0.3202.62
Also updated most of patches according to their state in Gentoo
repository, deleted ones that are not applicable anymore.
2017-10-21 15:55:42 +02:00
mimadrid c14403567a rofi: 1.4.1 -> 1.4.2 2017-10-21 16:41:42 +03:00
Rommel Martinez c15c012e9f pell: 0.0.1 -> 0.0.2 2017-10-21 16:38:11 +03:00
joncojonathan 5034e8a355 keepass: 2.36 -> 2.37
Motivation for change: Upgrade to add new features / improvements as listed
https://keepass.info/news/n171012_2.37.html.
2017-10-21 14:31:06 +02:00
Michael Weiss 2d8b952786 gns3Packages.{server,gui}Preview: 2.1.0rc2 -> 2.1.0rc3 2017-10-21 12:33:25 +02:00
volth bc2aaeb75c tixati: unfree license 2017-10-21 07:30:22 +00:00
Joachim F 3c62474d08 Merge pull request #30528 from disassembler/gitea
gitea: init at 1.2.1
2017-10-20 14:01:54 +00:00
Joachim F 5f1d6bc5c7 Merge pull request #30563 from michaelpj/imp/tzupdate
tzupdate: init at 1.2.0 (+ service)
2017-10-20 13:55:09 +00:00
Joachim F dd60a064a9 Merge pull request #30597 from veprbl/root_6.10.08
root: 6.10.04 -> 6.10.08
2017-10-20 13:48:39 +00:00
Joachim F 8341b82dfa Merge pull request #30589 from Moredread/electrum_mpl
electrum: Enable plotting support
2017-10-20 13:31:42 +00:00
Joachim Fasting a09d626053
tor-browser-bundle-bin: support installing extensions
Closes https://github.com/NixOS/nixpkgs/issues/30443
2017-10-20 15:26:46 +02:00
Joachim Fasting eba08858cc
tor-browser-bundle-bin: 7.0.6 -> 7.0.7 2017-10-20 15:26:31 +02:00
Frederik Rietdijk 26b7a68596 bitcoinarmory: use buildPythonApplication
because mkPythonDerivation shouldn't be used directly anymore.
2017-10-20 10:13:18 +02:00
Dmitry Kalinkin ef2fc289a6
root: 6.10.04 -> 6.10.08 2017-10-20 00:59:21 -04:00
Michael Weiss acd80042a4 android-studio-preview: 3.0.0.16 -> 3.0.0.17 2017-10-19 22:50:38 +02:00
André-Patrick Bubel 89dc04fe93
electrum: enable plotting support
Plotting seems to be a core feature now, with a menu entry available by
default. Without the matplotlib dependency this opens a warning popup
though.
2017-10-19 21:25:47 +02:00
Vincent Laporte 1923cabeb4 ocamlPackages: default to 4.04 2017-10-19 17:57:14 +02:00
Jörg Thalheim e09f070951 Merge pull request #30493 from disassembler/sway
sway: 0.13.0 -> 0.14.0
2017-10-19 16:28:12 +01:00
Tim Steinbach c8a7124c24 Merge pull request #30560 from casey/alacritty-update
alacritty: unstable 2017-09-02 -> 2017-10-17
2017-10-19 08:55:06 -04:00
Thomas Tuegel f7de0da188
Merge branch 'pull/30305'
plasma5: 5.10.5 -> 5.11.1
sddm: 0.15.0 -> 0.16.0
2017-10-19 07:18:36 -05:00
Thomas Tuegel ef4a6bd181
sddm: remove HiDPI patch
Disabling HiDPI support seemed to resolve a segfault at SDDM startup, but that
was a red herring. The problem actually resulted from a QML cache invalidation
bug. It should be safe to enable HiDPI support again.
2017-10-19 07:07:24 -05:00
Tim Steinbach 606487e19c Merge pull request #30522 from NeQuissimus/docker_17_10
docker: add 17.10.0-ce
2017-10-19 07:39:50 -04:00
Nikolay Amiantov 94dc37d622 cntk: init at 2.2 2017-10-19 13:24:24 +03:00
Nikolay Amiantov 22b582821d blender: fix build with new cudatoolkit 2017-10-19 12:47:56 +03:00
Nikolay Amiantov 57f82de364 caffe: 1.0-rc5 -> 1.0
Fix build with cudatoolkit9.
2017-10-19 12:47:30 +03:00
Nikolay Amiantov 378bfba023 treewide: use default compiler for cuda 2017-10-19 12:47:30 +03:00
Nikolay Amiantov 0bc4216bf0 Merge branch 'staging' 2017-10-19 12:46:38 +03:00
André-Patrick Bubel e4cf6635ab
profanity: explicit feature flags so build fails when libs are missing
When the feature flags during configuration are not set explicitly the
build will continue even when needed libs are missing, disabling the
feature. To get notified of problems, we set the feature flags
explicitly.
2017-10-19 05:10:21 +02:00
André-Patrick Bubel 7a82f81b84
profanity: enable support for python plugins 2017-10-19 05:10:19 +02:00
adisbladis 0d45be3d91
sddm: 0.15.0 -> 0.16.0 2017-10-19 11:09:24 +08:00
André-Patrick Bubel 07e81b66f2
profanity: enable pgp support 2017-10-19 05:07:01 +02:00
Casey Rodarmor a441af368a alacritty: unstable 2017-09-02 -> 2017-10-17 2017-10-18 20:05:04 -07:00
André-Patrick Bubel eb31aec16e
profanity: enable parallel build 2017-10-19 05:02:04 +02:00
aszlig 27b7192726
digikam: 5.4.0 -> 5.7.0
The build for the version 5.4.0 of digiKam has been broken at the time
prior to this commit, which is the main reason for this update as I
don't think it makes sense to fix the build for 5.4.0 when we're going
to update it anyway.

A lot has changed upstream between version 5.4.0 and 5.7.0 and it's too
much to be summarized here, so here are the URLs to the upstream
announcements:

 * https://www.digikam.org/news/2017-03-14_digiKam_5.5.0_is_released/
 * https://www.digikam.org/news/2017-06-21-5.6.0-release-announcement/
 * https://www.digikam.org/news/2017-09-11-5.7.0_release_announcement/

On the packaging side, we now no longer have the patch that disables
-fno-operator-names because the build runs fine without that patch
(which didn't even apply but I didn't check why) and IMO it doesn't make
sense to rebase that patch for no reason.

Additionally, there were build time dependencies lurking around in
propagatedBuildInputs, which is kinda pointless and the application just
runs fine if those dependencies are listed in buildInputs.

While looking for clues about why that might be necessary I haven't
found any comment about it in the source nor a clarification within the
message of the commit where this has been introduced.

The commit in question is be7b7d908f.

Apart from these changes, the rest is just adding a few dependencies
(kcalcore, libksane, mesa and pcre) to get less errors during
cmakeConfigurePhase.

I've tested digiKam by playing around within a VM using photos I
netcat'ed into it and it works so far. The VM was built using:

nix-build nixos --arg configuration '{ pkgs, ... }: {
  imports = [ ./nixos/tests/common/user-account.nix ];
  environment.systemPackages = [ pkgs.digikam ];
  services.xserver.enable = true;
  services.xserver.displayManager.sddm.enable = true;
  services.xserver.desktopManager.plasma5.enable = true;
  services.xserver.desktopManager.default = "plasma5";
  virtualisation.memorySize = 1024;
}' -A vm

What I didn't test however was whether importing from a camera would
work (as I don't have one), but aside from that, the application seems
to run fine compared to the fact that it didn't even build until now :-)

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
Cc: @the-kenny, @urkud, @viric, @cillianderoiste, @ttuegel
Cc: @jraygauthier, @fkz, @sh01, @lsix
2017-10-19 04:42:53 +02:00
Michael Peyton Jones 922bd8182e tzupdate: init at 1.2.0 2017-10-19 03:19:14 +01:00
Volth 318b3fb34e tixati: init at 2.55 2017-10-19 00:47:37 +00:00
Matt McHenry 346fa91176
eclipse-plugin-jdt: 4.7 -> 4.7.1a 2017-10-18 23:30:14 +02:00
Matt McHenry 468cccbb7b
eclipse-platform, eclipse-sdk: 4.7.0 -> 4.7.1a 2017-10-18 23:30:10 +02:00
Joachim Fasting a8a38feeeb
lkl: 2017-08-09 -> 2017-10-18
Based on linux 4.13
2017-10-18 22:11:37 +02:00
Joachim Fasting 6d31872885
tor-browser-bundle.noscript: 5.0.10 -> 5.1.2 2017-10-18 22:11:28 +02:00
Joachim Fasting 9cf5492a7b
tor-browser-bundle.https-everywhere: 2017.9.12 -> 2017.10.4 2017-10-18 22:11:23 +02:00
Joachim Fasting 9c8a0c0bcc
tor-browser-bundle.tor-launcher: 0.2.12.3 -> 0.2.13 2017-10-18 22:11:17 +02:00
John Ericson ee9c59c5b3 Merge remote-tracking branch 'channels/nixpkgs-unstable' into staging 2017-10-18 14:53:30 -04:00
Tim Steinbach b269452346
vscode: 1.17.1 -> 1.17.2 2017-10-18 11:11:43 -04:00
Tim Steinbach de3d191b91
docker: add 17.10.0-ce 2017-10-18 08:25:25 -04:00
Graham Christensen 7d5c5eb203 Merge pull request #30523 from xvapx/playonlinux-update
playOnLinux: 4.2.10 -> 4.2.12
2017-10-18 07:32:15 -04:00
Samuel Leathers 717436b4aa gitea: init at 1.2.1 2017-10-18 00:16:33 -04:00
Graham Christensen 00e56fbbee Merge pull request #30509 from mdorman/emacs-updates
Semi-automated Emacs package updates
2017-10-17 20:58:20 -04:00
xd1le ff3fde8f79 udiskie: 1.7.1 -> 1.7.2
Closes #30506.
2017-10-18 11:13:20 +11:00
Marti Serra 268618dfa2 playOnLinux: 4.2.10 -> 4.2.12 2017-10-18 00:41:25 +02:00
Fatih Altinok 603ba57e27 hyper: 1.4.3 -> 1.4.8 2017-10-17 17:43:48 +03:00
Franz Pletz dd4a212188 Merge pull request #30504 from ciil/snd17
snd: 16.9 -> 17.8
2017-10-17 14:05:27 +02:00
taku0 a060b850f6 flashplayer: 27.0.0.159 -> 27.0.0.170 2017-10-17 13:59:54 +02:00
Simon Lackerbauer c2dcde8450
snd: 16.9 -> 17.8 2017-10-17 13:45:52 +02:00
Marti Serra b6b4783ca8 tribler: 7.0.0-rc2 -> 7.0.0-rc3 2017-10-17 13:30:26 +02:00
Jörg Thalheim e48154dfa2 Merge pull request #30449 from hhomar/mpv-enable-dvb-linux
mpv: enable dvb on Linux
2017-10-17 11:47:17 +01:00
Jörg Thalheim 3297ed05cb Merge pull request #30497 from frontsideair/qutebrowser-1.0.2
qutebrowser: 1.0.1 -> 1.0.2
2017-10-17 08:54:13 +01:00
Fatih Altinok b367d0ff10 qutebrowser: 1.0.1 -> 1.0.2 2017-10-17 09:36:03 +03:00
Austin Seipp 26891c576c nixpkgs: gtkwave 3.3.70 -> 3.3.86
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-17 01:28:08 -05:00
Peter Hoeg 2ef36f2ee5 neomutt: minor cleanups
- neomutt has changed the binary name so we enable "mutt" via a wrapper script
   with a warning
 - we don't have to manually run the prepare.sh script as autoreconfHook handles
   everything for us
 - doc generation was previously trying to fetch DTDs from the net
2017-10-17 11:32:37 +08:00
Graham Christensen ce4fcfb1c5 Merge pull request #30480 from acowley/emacsMacport-6.8
emacsMacport: 25.3-6.7 -> 25.3-6.8
2017-10-16 22:08:06 -04:00
Jörg Thalheim eee77393b4 Merge pull request #30464 from rnhmjoj/bb
bb: init at 1.3rc1
2017-10-17 02:55:52 +01:00
Samuel Leathers 1dc92fe688 sway: 0.13.0 -> 0.14.0 2017-10-16 21:50:16 -04:00
Jörg Thalheim e935fbf43f Merge pull request #30458 from sigma/pr/ghq-0.8.0
ghq: 0.7.4 -> 0.8.0
2017-10-17 02:42:57 +01:00
Nikolay Amiantov e2a7f508fc rstudio: enable parallel building
Also cleanup inputs.
2017-10-17 03:40:11 +03:00
Nikolay Amiantov b1736511ce boost: make 1.65 the default 2017-10-17 03:40:11 +03:00
Michael Alan Dorman a6e489cca4 melpa-packages: 2017-10-16
Removals:
 - org-chinese-utils: removed from melpa
2017-10-16 18:07:41 -04:00
Michael Alan Dorman faf85e2ad6 melpa-stable-packages: 2017-10-16 2017-10-16 18:07:41 -04:00
Michael Alan Dorman b8e051acbc org-packages: 2017-10-16 2017-10-16 18:07:40 -04:00
Michael Alan Dorman cef2fc4d32 elpa-packages: 2017-10-16 2017-10-16 18:07:40 -04:00
John Ericson 6e1f864fd0 sc2-headless: License is unfree
I wrongly assumed that was the default when reviewing the PR.
2017-10-16 17:06:48 -04:00
Dan Haraj 188a413ebc sc2-headless: init at 3.17
This packages up the Starcraft II headless Linux client provided by
Blizzard for machine learning research.
2017-10-16 16:34:00 -04:00
Anthony Cowley a4203d0ffc emacsMacport: 25.3-6.7 -> 25.3-6.8 2017-10-16 15:16:01 -04:00
Austin Seipp cd52a3d53c aiger: fix stupid incorrect download link
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-16 13:01:51 -05:00
Austin Seipp 635fbcbd33 nixpkgs: add aiger 1.9.9
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-16 12:01:17 -05:00
Austin Seipp b72f543f96 picosat: install more stuff
Projects like the AIGER toolkit want to use the picosat.o object file in order
to do SAT solving. Install this, along with the header and version information,
so a build of the AIGER can use it. This means that picosat does not need to be
built twice.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-16 12:01:17 -05:00
Austin Seipp e84cec2762 nixpkgs: add 'avy' -- property directed AIGER model checking
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-16 12:01:17 -05:00
Austin Seipp 740fb165da nixpkgs: add symbiyosys, for HDL verification flows
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-16 12:01:17 -05:00
Lancelot SIX eaeb6721d9 Merge pull request #30471 from thall/qgis_2_18_13
qgis: 2.18.12 -> 2.18.13
2017-10-16 18:29:09 +02:00
Markus Mueller 60b0db0e08
gitlab: link tmp/ directory to writable path 2017-10-16 14:58:02 +02:00
Niclas Thall 2c8058183f qgis: 2.18.12 -> 2.18.13 2017-10-16 13:41:39 +02:00
rnhmjoj 14bbec1801
bb: init at 1.3rc1 2017-10-16 11:08:06 +02:00
Jörg Thalheim 09deacb7b8 Merge pull request #30388 from Infinisil/vis-fix
cli-visualizer: fix
2017-10-16 08:46:59 +01:00
Peter Hoeg 02a23b7b24 sddm: theme background images use a relative path which breaks sddm-kcm 2017-10-16 14:25:23 +08:00
Yann Hodique b6d3d7cfc4 ghq: 0.7.4 -> 0.8.0 2017-10-15 21:21:20 -07:00
Simon Lackerbauer 800f751740 abella: 2.0.2 -> 2.0.4 2017-10-16 02:39:16 +02:00
Simon Lackerbauer bb94e0408f rstudio: 1.1.351 -> 1.1.383 2017-10-16 02:38:26 +02:00
Heitham Omar dc60c1e3d0 mpv: enable dvb on Linux 2017-10-15 21:26:00 +01:00
Franz Pletz c100811d63
scudcloud: add jsmin dependency, fixes build 2017-10-15 16:16:36 +02:00
Joachim F 28b0dfac1e Merge pull request #30417 from SuprDewd/astroid-0.10.2
astroid: 0.9.1 -> 0.10.2
2017-10-15 13:48:53 +00:00
Vladimír Čunát 3ee33f35f8
Merge branch 'staging'
Contains security fixes in X server and X libs.
On Hydra, the amount to rebuild on master is now higher than on staging;
the comparison looks OK.
2017-10-15 13:59:18 +02:00
Matthias Beyer 5a21efdcdf gitAndTools.git-dit: 0.1.0 -> 0.3.0 2017-10-15 11:59:30 +01:00
Vladimír Čunát b1d32c0538
aegisub: fixup build with icu-59
Thanks to https://github.com/gentoo/gentoo/commit/779fbc09c456a
2017-10-15 10:44:16 +02:00
Michael Raskin cceae9a56e Merge pull request #30420 from mimadrid/update/rofi-1.4.1
rofi: 1.3.1 -> 1.4.1
2017-10-15 00:28:38 +02:00
mimadrid 416fe660df
rofi: 1.3.1 -> 1.4.1 2017-10-14 22:08:19 +02:00
vbgl fcfeda5544 Merge pull request #30206 from romildo/upd.mkvtoolnix
mkvtoolnix: 15.0.0 -> 16.0.0;  libmatroska: 1.4.7 -> 1.4.8
2017-10-14 21:48:44 +02:00
Vladimír Čunát e067d26f43
firefox: fixup build on i686-linux after 56.x update
Broken since #30143.
I can't say I understand why this combination is apparently unsupported.
i686-linux is a second-tier platform now, but firefox is still kept a
channel blocker...
2017-10-14 21:24:15 +02:00
Jörg Thalheim fe36e9aefa Merge pull request #29783 from catern/ffkrb
firefox: add Kerberos support
2017-10-14 18:06:00 +01:00
Michael Weiss 527f6e9c47 android-studio-preview: 3.0.0.15 -> 3.0.0.16 2017-10-14 18:57:13 +02:00
Bjarki Ágúst Guðmundsson 9b2af1869b astroid: 0.9.1 -> 0.10.2
- Use gmime3 instead of gmime2: https://github.com/astroidmail/astroid/issues/405
- Remove adwaita-icon-theme, as it is not needed
- Add SuprDewd as a maintainer
2017-10-14 16:51:20 +00:00
Luca Bruno 7c45662947 go-ethereum: 1.7.1 -> 1.7.2 2017-10-14 16:39:36 +02:00
Jörg Thalheim a062e325b0 Merge pull request #30345 from matklad/update-jb
Update jb
2017-10-14 14:40:41 +01:00
gnidorah 27bcd6c426 mailnag: fix working (#30358)
* mailnag: fix working

* mailnag: use wrapGAppsHook; add icon theme
2017-10-14 12:07:44 +01:00
Maximilian Bosch 4ce42a40c1
weechat-xmpp: init at 2017-08-30 2017-10-14 11:48:39 +02:00
Herwig Hochleitner 30b3b5d85f announce myself as a maintainer
added maintainer entries for `cdemu` (which i've created), as well as
`wine` and `chromium` (which I regularly contribute to)
2017-10-14 11:11:49 +02:00
Justin Humm 5cca8800a4 notmuch-bower: init at 2017-09-27 (#29856)
* bower: init and add erictapen as maintainer

* bower: fix up

* notmuch-bower: rename from bower
2017-10-14 10:08:04 +01:00
Vladimír Čunát 6525c22ef1
Merge branch 'master' into staging
Hydra: ?compare=1401528
2017-10-14 10:36:13 +02:00
Lancelot SIX c4160a4eb7 Merge pull request #30329 from gleber/pgadmin-upgrade-fix
pgadmin3: 1.22.1 -> 1.22.2
2017-10-14 09:48:10 +02:00
Peter Hoeg 72d8eeea88 Revert "amarok-kf5: init at 2.8.91-20170228"
This reverts commit fde0bad577.
2017-10-14 14:42:49 +08:00
Peter Hoeg d81601065d Revert "msmtp: add nonblocking support"
This reverts commit 5f29e9fdbf.
2017-10-14 14:42:48 +08:00
Peter Hoeg 9bf0e701e9 kdeconnect: boy scout cleanups 2017-10-14 14:38:04 +08:00
Peter Hoeg 5f29e9fdbf msmtp: add nonblocking support 2017-10-14 14:38:04 +08:00
Peter Hoeg fde0bad577 amarok-kf5: init at 2.8.91-20170228 2017-10-14 14:38:04 +08:00
Florian Klink c46fa38c90 gummi: init at 0.6.6 (#30398)
* gummi: init at 0.6.6

* gummi: cleanup
2017-10-13 23:22:12 +01:00
Gleb Peregud 52bedcb14b pgadmin3: 1.22.1 -> 1.22.2
Also include Debian patch
https://sources.debian.net/data/main/p/pgadmin3/1.22.2-1/debian/patches/843344
which fixes segfault at start
2017-10-13 22:52:52 +02:00
Jörg Thalheim 2820830e3e Merge pull request #30029 from jensbin/citrix_receiver_13.7.0
citrix-receiver: 13.4.0 -> 13.7.0
2017-10-13 21:25:39 +01:00
Jörg Thalheim 50a3db126d Merge pull request #30394 from flokli/neomutt
neomutt: 20170912 -> 20171013
2017-10-13 20:24:20 +01:00
Florian Klink a678696e40 neomutt: 20170912 -> 20171013 2017-10-13 19:36:05 +02:00
Eisfreak7 06fc476bc6 qutebrowser: 0.11 -> 1.0.1 (#30365)
* qutebrowser: 0.11 -> 1.0

This updates has a few breaking changes, most importantly WebEngine
is now enabled by default and the configuration system was completely
changed (requiring uers to manually migrate their configuration).

More info: https://blog.qutebrowser.org/qutebrowser-v100-released.html

* qutebrowser: 1.0.0 -> 1.0.1
2017-10-13 18:15:19 +01:00
Mateusz Kowalczyk 4c1b8fc890 firefox-devedition-bin: 57.0b6 -> 57.0b8 2017-10-13 15:49:21 +01:00
Joachim F 6e7f35c0b6 Merge pull request #30327 from JamesTheAwesomeDude/master
palemoon: 27.4.2 -> 27.5.0
2017-10-13 13:28:05 +00:00
Silvan Mosberger 6f38c8e182
cli-visualizer: fix 2017-10-13 14:47:23 +02:00
Jörg Thalheim 1193354e7f Merge pull request #30382 from sorpaas/update-geth-classic
go-ethereum-classic: 3.5.86 -> 4.0.0
2017-10-13 12:11:06 +01:00
Franz Pletz 82e9553250 Merge pull request #30363 from Moredread/udiskie
udiskie: 1.7.0 -> 1.7.1
2017-10-13 13:10:21 +02:00
Wei Tang e8c89aaf06 go-ethereum-classic: 3.5.86 -> 4.0.0 2017-10-13 14:03:50 +08:00
Peter Hoeg 71b7b4f19c Merge pull request #30296 from adisbladis/kdeconnect_1_2
kdeconnect: 1.0.3 -> 1.2
2017-10-13 11:05:52 +08:00
André-Patrick Bubel 1d340c9e51
udiskie: 1.7.0 -> 1.7.1 2017-10-12 20:46:31 +02:00
Tim Steinbach 8a957be337
atom-beta: 1.22.0-beta0 -> 1.22.0-beta1 2017-10-12 13:17:49 -04:00
Tim Steinbach 08b2c82eca
atom: 1.21.0 -> 1.21.1 2017-10-12 13:12:27 -04:00
Joachim F 756b9c7d6c Merge pull request #30222 from Nadrieril/update-purple-hangouts
purple-hangouts: 2016-12-22 -> 2017-10-08
2017-10-12 13:51:05 +00:00
Joachim F f7f8822208 Merge pull request #30313 from mdorman/emacs-updates
Semi-automated Emacs package updates
2017-10-12 13:05:50 +00:00
Aleksey Kladov c0ec6d9d21 jetbrains.rider: 2017.1.1 -> 2017.1.2 2017-10-12 15:49:16 +03:00
Aleksey Kladov f8103e7226 jetbrains.idea-ultimate: 2017.2.4 -> 2017.2.5 2017-10-12 15:48:56 +03:00
Aleksey Kladov 7155b8c27d jetbrains.idea-community: 2017.2.4 -> 2017.2.5 2017-10-12 15:48:29 +03:00
Aleksey Kladov b9ce5b3f08 jetbrains.gogland: 172.3968.45-> 173.2696.28 2017-10-12 15:47:51 +03:00
Aleksey Kladov cbdc72b6f1 jetbrains.clion: 2017.2.2 -> 2017.2.3 2017-10-12 15:47:13 +03:00
Jörg Thalheim 1c9863aafe Merge pull request #30343 from Ma27/update-yabar-unstable
yabar-unstable: 2017-09-09 -> 2017-10-12
2017-10-12 11:28:28 +01:00
Maximilian Bosch b23b545942
yabar-unstable: 2017-09-09 -> 2017-10-12 2017-10-12 09:08:08 +02:00
adisbladis 6fb1983212
kdeconnect: 1.0.3 -> 1.2 2017-10-12 12:06:49 +08:00
Joachim F 26c8573b1e Merge pull request #30224 from andir/cleanup
Cleanup typoed `propagateBuildInputs` that are probably not needded
2017-10-11 21:34:40 +00:00
Joachim F c405302402 Merge pull request #30227 from pbogdan/newsbeuter-cve-2017-12904
newsbeuter: fix CVE-2017-12904
2017-10-11 21:32:25 +00:00
James Edington 67ae0fa051 palemoon: 27.4.2 -> 27.5.0
27.5.1 is "out", but there is no GitHub Release

(Although, this shouldn't be an issue since it was
mostly Win10-only changes anyway)
2017-10-11 14:19:37 -05:00
Tim Steinbach 6a046500e6
vscode: 1.17.0 -> 1.17.1 2017-10-11 14:39:54 -04:00
Jörg Thalheim fb7f35db5f Merge pull request #30278 from NeQuissimus/minikube_0_22_3
minikube: 0.22.2 -> 0.22.3
2017-10-11 13:39:14 +01:00
Michael Alan Dorman 1c9a15bfdc melpa-packages: 2017-10-09
Removals:
 - baidu-life: Removed from melpa
 - any packages not available in git or hg
2017-10-11 07:40:54 -04:00
Michael Alan Dorman 5e1c5b8b61 melpa-stable-packages: 2017-10-09
Removals:
 - forecast: tags no longer present in repo
 - org-mac-iCal: removed from melpa
 - paper-theme: tags no longer present in repo
2017-10-11 07:40:53 -04:00
Michael Alan Dorman 2ad1754290 org-packages: 2017-10-09 2017-10-11 07:40:53 -04:00
Michael Alan Dorman ed6c85c04c elpa-packages: 2017-10-09 2017-10-11 07:40:53 -04:00
Jörg Thalheim 8c667cc810 Merge pull request #30273 from edef1c/solvespace-escaped-newline
solvespace: remove stray newline escape
2017-10-11 12:22:02 +01:00
Jörg Thalheim 3a21ed52d2 Merge pull request #30309 from dywedir/mediainfo
libmediainfo, mediainfo, mediainfo-gui: 0.7.97 -> 0.7.99
2017-10-11 12:11:25 +01:00
Jörg Thalheim 60ff6dd5d6 Merge pull request #30301 from holidaycheck/git-lfs-2.3.3
git-lfs: 2.2.1 -> 2.3.3
2017-10-11 11:22:39 +01:00
Peter Hoeg 97ec559b00 syncthing: 0.14.38 -> 0.14.39 2017-10-11 17:25:33 +08:00
dywedir ad5a67cf16 libmediainfo, mediainfo, mediainfo-gui: 0.7.97 -> 0.7.99 2017-10-11 11:13:00 +03:00
Vincent Laporte 1529938fc3
cubicle: 1.0.2 -> 1.1.1 2017-10-11 07:38:27 +00:00
Jaka Hudoklin 29f4775103 Merge pull request #29923 from NeQuissimus/kube_1_7_7
kubernetes: 1.7.1 -> 1.7.8
2017-10-11 06:05:56 +02:00
Maxime Dénès d1e1ee7b09 coq: 8.7+beta1 -> 8.7+beta2 2017-10-11 03:02:01 +02:00
dywedir e509f6ffdf feh: 2.20 -> 2.21 2017-10-11 02:36:45 +02:00
Peter Hoeg d4142e17ef Merge pull request #30294 from pbogdan/update-tnef
tnef: 1.4.14 -> 1.4.15
2017-10-11 08:20:24 +08:00
Mathias Schreck bd559dcea7 git-lfs: 2.2.1 -> 2.3.3 2017-10-10 23:47:24 +02:00
Piotr Bogdan 62381a6c75 tnef: 1.4.14 -> 1.4.15 2017-10-10 19:10:37 +01:00
jaltek da93e6e678 shutter: 0.93.1 -> 0.94 2017-10-10 19:30:25 +02:00
Michael Raskin e64f4d8118 Merge pull request #30282 from taku0/flashplayer-27.0.0.159
flashplayer: 27.0.0.130 -> 27.0.0.159
2017-10-10 18:53:36 +02:00
taku0 628c039326 flashplayer: 27.0.0.130 -> 27.0.0.159 2017-10-10 23:28:28 +09:00
Piotr Bogdan 9dc085078f newsbeuter: fix CVE-2017-12904 2017-10-10 15:04:47 +01:00
Tim Steinbach df4bed423f
minikube: 0.22.2 -> 0.22.3 2017-10-10 08:33:02 -04:00
Gabriel Ebner 79ae9be220 libqalculate, qalculate-gtk: 2.0.0 -> 2.1.0 2017-10-10 13:28:38 +02:00
edef 2314ed72f1 solvespace: remove stray newline escape 2017-10-10 12:01:34 +02:00
Gabriel Ebner a936d9d6dc isabelle: 2016-1 -> 2017 2017-10-10 11:18:57 +02:00
Peter Hoeg a130b56c77 vivaldi: do not build broken proprietary codecs by default 2017-10-10 12:55:21 +08:00
Peter Hoeg 6affc42fed vivaldi: 1.12.995.36 -> 1.12.995.38 2017-10-10 12:55:21 +08:00
Jörg Thalheim 9b177399c4 Merge pull request #30231 from pbogdan/newsbeuter-dev-remove
newsbeuter-dev: remove
2017-10-10 01:45:10 +01:00
José Romildo Malaquias ea78759fc8 cbatticon: 1.6.6 -> 1.6.7 2017-10-09 16:02:19 -03:00
Robin Gloster db0ec924fd
Revert "libreoffice-still: fix build (re: nss update)"
This reverts commit 75ecaa1b52.
2017-10-09 20:50:27 +02:00
Robin Gloster 6c870f5e86
Revert "libreoffice-fresh: take into account new nss header layout"
This reverts commit f3c798dd74.
2017-10-09 20:50:14 +02:00
Robin Gloster c8a2265513
Revert "chromium: take into account new nss header layout"
This reverts commit df41edfe1c.
2017-10-09 20:50:02 +02:00
Michael Raskin df41edfe1c chromium: take into account new nss header layout 2017-10-09 18:15:30 +02:00
Michael Raskin f3c798dd74 libreoffice-fresh: take into account new nss header layout 2017-10-09 18:15:30 +02:00
Michael Raskin 75ecaa1b52 libreoffice-still: fix build (re: nss update) 2017-10-09 18:15:30 +02:00
Peter Hoeg d9b9e157aa calibre: 3.7.0 -> 3.9.0 2017-10-09 23:01:28 +08:00
zimbatm 2ef1a6c17c zoom-us: 2.0.98253.0707 -> 2.0.106600.0904 2017-10-09 10:56:26 +01:00
Vladimír Čunát 994036d857
Merge branch 'master' into staging
Hydra: ?compare=1400181
2017-10-09 11:24:35 +02:00
Spencer Baugh 2d903b8da2 firefox: add Kerberos support 2017-10-08 20:48:13 +00:00
Daniel Peebles 416979f3f7 Merge pull request #30150 from copumpkin/no-rpath-nonsense
Get rid of most @rpath nonsense on Darwin
2017-10-08 16:21:27 -04:00
Dan Peebles b426c85ce2 Get rid of most @rpath nonsense on Darwin
This requires some small changes in the stdenv, then working around the
weird choice LLVM made to hardcode @rpath in its install name, and then
lets us remove a ton of annoying workaround hacks in many of our Go
packages. With any luck this will mean less hackery going forward.
2017-10-08 16:13:46 -04:00
Piotr Bogdan 680d344185 newsbeuter-dev: remove 2017-10-08 19:58:11 +01:00
Andreas Rammhold d49df8e795
kanif: remove unused attribute propagateBuildInputs (missing d) 2017-10-08 19:10:56 +02:00
Nadrieril d149c21e2e purple-hangouts: 2016-12-22 -> 2017-10-08 2017-10-08 16:10:34 +01:00
Joerg Thalheim 3144832556 zile: fix evaluation 2017-10-08 11:53:56 +01:00
Yann Hodique 8079e52bc1 zile: 2.4.13 -> 2.4.14
fixes #30209
2017-10-08 11:46:55 +01:00
Frederik Rietdijk 4003e775f4 Merge remote-tracking branch 'upstream/master' into HEAD 2017-10-08 08:36:35 +02:00
Jörg Thalheim 7908dcc0f6 Merge pull request #30205 from zraexy/kmplayer
kmplayer: 0.11.3d -> 0.12.0b
2017-10-08 00:32:39 +01:00