alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
119092 commits 217 branches 121 tags 4.5 GiB
Commit graph

21074 commits

Author SHA1 Message Date
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