Commit Graph

21126 Commits

Author SHA1 Message Date
Jörg Thalheim
1c80abb524 Merge pull request #30722 from fusion809/patch-2
notepadqq: 0.53.0 -> 1.2.0
2017-10-24 12:00:26 +01:00
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
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
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