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

32019 commits

Author SHA1 Message Date
Frederik Rietdijk 6a768082fd Merge pull request #30508 from xvapx/meliae-init 
meliae: init at 0.4.0
 2017-10-25 19:46:43 +02:00
mehandes 17af9f8d4d svgcleaner: init at v0.9.1 
Svgcleaner is a tool for fast and safe svg optymalization.
 2017-10-25 18:43:10 +02:00
Christopher League d8ef4d510b perlPackages.IOPager: 0.06 -> 0.39 (for sqitch) 2017-10-25 12:02:57 -04:00
CrazedProgrammer 8327e434c4 astah-community: init at 7.2.0 (#30691) 
* astah-community: init at 7.2.0

* astah-community: nitpicks
 2017-10-25 14:56:52 +01:00
Eelco Dolstra 8f349a3bf3
Add function closureInfo to replace pathsFromGraph 
Unlike pathsFromGraph, on Nix 1.12, this function produces a
registration file containing correct NAR hash/size information.

https://hydra.nixos.org/build/62832723
 2017-10-25 15:38:14 +02:00
Jörg Thalheim fdb4bec671 Merge pull request #30156 from kuznero/pr/coreclr2 
Fix coreclr and upgrade to 2.0.0
 2017-10-25 13:33:07 +01:00
Franz Pletz ff63d3811f Merge pull request #30366 from Moredread/profanity-options 
profanity: enable python and gpg support, parallel builds and enforcement of enabled features
 2017-10-25 10:48:49 +02:00
volth 3cb89a81b7 vuze: init at 5750 (#30557) 2017-10-25 10:36:30 +02:00
Franz Pletz eb3332ef40 Merge pull request #30644 from woffs/pulsemixer 
pulsemixer: init at 1.3.0-license
 2017-10-25 10:32:07 +02:00
Tobias Happ 30721a280f phpPackages.couchbase: remove warnings on php startup 
Removes following warnings:
[cb,WARN] (pcbc/ext L:418) igbinary serializer is not found
[cb,WARN] (pcbc/ext L:425) zlib compressor is not found
 2017-10-25 10:26:13 +02:00
Joerg Thalheim e7fc83f1a6 coreclr: cleanup build 2017-10-25 07:55:32 +02:00
Dmitry Kalinkin 31b2e70f8d
root_numpy: init at 4.7.3 2017-10-25 00:55:29 -04:00
Franz Pletz 6df1cccfdf Merge pull request #30721 from xzfc/xpointerbarrier 
xpointerbarrier: init at 17.10
 2017-10-25 04:11:52 +02:00
Daniel Peebles 4bf221932e Merge pull request #30750 from kuznero/pr/dotnet-sdk 
dotnet-sdk: init at 2.0.3
 2017-10-24 19:10:03 -04:00
Roman Kuznetsov 6b1b8487df
dotnet-sdk : init at 2.0.3 2017-10-25 00:04:16 +02:00
Frank Doepper 4936e31141 pulsemixer: init at 1.3.0-license 2017-10-24 16:53:15 +02:00
Peter Hoeg 8a28d840e9 keditbookmarks: init at 17.08.1 2017-10-24 22:50:55 +08:00
Franz Pletz 0bb7a1b82a
webkitgtk: fix evaluation 2017-10-24 16:06:11 +02:00
Robin Gloster 62ca1c2dab
mistune: 0.7.1 -> 0.7.4, own file 2017-10-24 15:31:51 +02:00
Robin Gloster 817b7bb349
python.pkgs.nose_warnings_filters: init at 0.1.5 2017-10-24 15:31:50 +02:00
Robin Gloster 38c04e691c
python.pkgs.jupyter_core: own file, enable tests 2017-10-24 15:31:50 +02:00
Yellow Ghost 646a77739b
notify-desktop: init at 0.2.0 
notify-desktop package added

improved code synopsis
 2017-10-24 15:25:49 +02:00
Franz Pletz 2f50385352
botanUnstable: remove, unused 2017-10-24 14:21:07 +02:00
Franz Pletz 826258889e
webkitgtk217x: remove, unused 2017-10-24 14:21:04 +02:00
Peter Hoeg 87bd0494ba krdc: init at 17.08.1 2017-10-24 16:54:46 +08:00
Alex Vorobiev 770bedbc20 meritous: init at 1.4 2017-10-24 09:52:52 +02:00
Michael Raskin 5fe5afe8ee clasp-common-lisp: init at 0.4.99.20170801 2017-10-24 08:43:41 +02:00
Cray Elliott 5ddea062e2 ffmpeg: 3.3.4 -> 3.4 
ffmpeg_3 bumped to 3.4, and 3.3.4 removed from the tree
 2017-10-23 23:23:23 -07:00
Peter Hoeg cccee1ddb7 minuet: init at 17.08.1 2017-10-24 11:26:56 +08:00
Robert Helgesson 3bf2a5168a
perl-Term-ProgressBar: 2.14 -> 2.21 2017-10-23 19:28:14 +02:00
Robert Helgesson 499195347f
perl-AnyEvent-RabbitMQ: 1.15 -> 1.19 2017-10-23 19:28:14 +02:00
Robert Helgesson 0204936c21
perl-AnyEvent: 7.08 -> 7.14 2017-10-23 19:28:14 +02:00
Robert Helgesson a798a434d1
perl-AnyEvent-I3: 0.16 -> 0.17 2017-10-23 19:28:14 +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
Peter Hoeg c41d794ecb digikam: minor cleanups 2017-10-23 22:49:46 +08:00
Albert Safin 90729600a8 xpointerbarrier: init at 17.10 2017-10-23 20:38:59 +07: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
Frederik Rietdijk 891c3721ed Merge pull request #30234 from deedrah/aspell-data-dirs-from-nix-profiles 
aspell: added new patch data-dirs-from-nix-profiles.patch
 2017-10-23 07:47:11 +02:00
Peter Hoeg 9b847750a2 Merge pull request #30623 from jerith666/webkit-icu 
webkitgtk 2.4: fixup build by using older icu again
 2017-10-23 13:41:09 +08:00
Dmitry Kalinkin 562f8313e0
ipget: init at 0.2.5 2017-10-22 21:46:40 -04:00
Marti Serra 6daba77884 pythonPackages.meliae: init at 0.4.0 2017-10-23 03:08:18 +02: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
zimbatm 1d6eaac764 rust: remove beta and nightly releases 
nixpkgs is for stable software. If you want beta and nightly, use the
nixpkgs-mozilla overlay.
 2017-10-23 00:30:46 +01:00
Thomas Tuegel 6a44365573 Merge pull request #30208 from zraexy/massif-visualizer 
massif-visualizer: 0.4.0 -> 0.7.0
 2017-10-22 15:16:33 -05: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
Rostislav Beneš ba4cefe4ae aspell: added new patch data-dirs-from-nix-profiles.patch 
Aspell will search for dictionaries in all nix profiles even when used as library.
Setting data-dir or dict-dir in ASPELL_CONF will disable this behavior.
 2017-10-22 21:01:40 +02:00
Vincent Laporte 4e0a95294b
gringo: use scons version 2 
Using version 3 breaks some OCaml packages (namely ppx_deriving_yojson).
 2017-10-22 13:25:46 +00:00
Pascal Wittmann db4b872d53
remove unused pythonPackages.requests_1 2017-10-22 11:16:39 +02:00
Nikolay Amiantov 5ba9411d02 python.pkgs.numpy-stl: init at 2.3.2 2017-10-22 04:18:28 +03:00
Nikolay Amiantov 3264001a9d python.pkgs.python-utils: init at 2.2.0 2017-10-22 04:18:23 +03:00
Nikolay Amiantov 1b2cc71e68 cura: build with Qt 5.6 
Workaround https://github.com/Ultimaker/Cura/issues/2596
 2017-10-22 04:10:09 +03:00
Ryan Bernstein 941014ffff bowtie2: init at 2.3.3.1 2017-10-22 00:11:49 +02:00
Joachim F b591b5cf5b Merge pull request #30598 from andrewrk/zig 
zig: init at 0.1.1
 2017-10-21 20:11:23 +00:00
Andrew Kelley 835201e814 zig: init at 0.1.1 2017-10-21 12:45:54 -04:00
Hamish Mackenzie 8870d1a67d r-modules: Fix a number of popular R packages 
The R V8 package still depends on V8 3.14 so this is also included.
 2017-10-21 11:29:21 +01:00
Matt McHenry 0f0d11074f webkitgtk 2.4: fixup build by using older icu again 2017-10-20 20:25:58 -04:00
Vladimír Čunát bd8daca057
Merge branch 'staging' 
Hydra seems very good.
 2017-10-20 23:46:03 +02:00
Frank Doepper 916c0a69f8 biboumi: init at 6.1 (#30193) 
* biboumi: init at 6.1

TODO: integrate config in NixOS

* biboumi: remove external buildtime dep

- fetch catch.hpp in a reproducible way
- add maintainer
- enable tests
- remove git dep
- enable parallel building
- add pandoc dep for man page
- nitpicks

* biboumi: refine substitutions

- only CMakeLists.txt has to be patched regarding /etc/biboumi
- substitute /bin/kill in systemd service file
- prepare for configuring policy_directory in a future cfg file
 2017-10-20 20:14:41 +00:00
John Wiegley 86b8e28bc1
startkde was removed by 0cd1b02817 2017-10-20 11:49:45 -07:00
Vladimír Čunát fd0e61a5db
vowpalwabbit: fixup build by using older boost again 
160 seems a popular version in nixpkgs.
 2017-10-20 19:20:09 +02:00
Vladimír Čunát ddc41d7c6d
zanshin: fixup build by using older boost again 
160 seems a popular version in nixpkgs.
 2017-10-20 19:19:47 +02:00
gnidorah 7867b50881 nixos/pam: add swaylock (#29919) 2017-10-20 16:30:28 +00:00
Vladimír Čunát 90435ba060
Revert "wt: fixup build by using older boost again" 
This reverts commit 9f2409096b.
Now it's fixed by update 38b94d1f1f.
 2017-10-20 18:13:15 +02:00
Vladimír Čunát eef0d0971c
Merge branch 'master' into staging 2017-10-20 18:12:41 +02:00
Michael Weiss e40233e136 scons: 2.5.1 -> 3.0.0 
"SCons release 3.0.0 now available from the download page at
SourceForge. This release should be used instead of 2.5.1. This release
fixes several issues.  TThis will be the first release to support Python
versions earlier than 2.7 as well as 3.5+."

"NOTE: This is a major release.  You should expect that some targets may
rebuild when upgrading.  Significant changes in some python action
signatures. Also switching between PY 2.7 and PY 3.5, 3.6 will cause
rebuilds."
 2017-10-20 16:32:26 +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
Vladimír Čunát 0e339ca7a5
clickhouse: fixup build by using older boost again 
160 seems a popular version in nixpkgs.
 2017-10-20 13:12:42 +02:00
Vladimír Čunát 9f2409096b
wt: fixup build by using older boost again 
160 seems a popular version in nixpkgs.
 2017-10-20 13:00:55 +02:00
Vincent Laporte 68ed8f685b
ocamlPackages.camomile: 0.8.5 -> 0.8.6 2017-10-20 07:19:13 +00:00
Dmitry Kalinkin 4d85689cf3
xxHash: init at 0.6.3.20171018 2017-10-20 00:59:15 -04:00
gnidorah b17ec549a1 pythonPackages.fontconfig: init at 0.5.1 2017-10-19 20:30:22 +02:00
Vincent Laporte 1923cabeb4 ocamlPackages: default to 4.04 2017-10-19 17:57:14 +02:00
Robin Gloster c6adc2e348
python.pkgs.cufflinks: init at 0.12.0 2017-10-19 16:43:11 +02:00
Robin Gloster 22de3b48cf
python.pkgs.colorlover: init at 0.2.1 2017-10-19 16:43:11 +02:00
Nikolay Amiantov f3d368b93f python.pkgs.python-mapnik: 2016-08-30 -> 3.0.13 2017-10-19 17:22:49 +03:00
Frederik Rietdijk d854b3df2c Merge pull request #30503 from guibou/guibou_vfx_pkgs 
Many packages used in computer animation industry
 2017-10-19 15:38:56 +02: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
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
Jörg Thalheim 6f9c76662b Merge pull request #30572 from flokli/twilio 
twilio: init at 6.8.0
 2017-10-19 11:29:20 +01:00
Nikolay Amiantov 94dc37d622 cntk: init at 2.2 2017-10-19 13:24:24 +03:00
Nikolay Amiantov fe153d73ce tensorflow: 1.3.0 ->1.3.1 
Build from source.

It's implemented as a two-staged Bazel build (see also
546b4aec776b3ea676bb4d58d89751919ce4f1ef).
 2017-10-19 13:19:11 +03:00
Nikolay Amiantov 15bfc8c12a Merge pull request #30433 from abbradar/cudatoolkit 
CUDA-related updates and cleanups
 2017-10-19 13:18:43 +03:00
Nikolay Amiantov 1360c356e3 driversi686Linux: init 
This is added so that Hydra would build several drivers-related packages for i686.

Closes #30455.
 2017-10-19 13:12:28 +03:00
Nikolay Amiantov 59f51eba29 opencv3: use older cudatoolkit 2017-10-19 12:47:56 +03:00
Nikolay Amiantov 771e403786 python.pkgs.Theano: merge CUDA and non-CUDA versions 2017-10-19 12:47:30 +03:00
Nikolay Amiantov efd2444de5 python.pkgs.libgpuarray: -9998.0 -> 0.6.9 2017-10-19 12:47:30 +03:00
Nikolay Amiantov 50a223b144 clblas: 20160505 -> 2.12 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 85d3c00dce treewise: respect config.cudaSupport in packages 2017-10-19 12:47:30 +03:00
Nikolay Amiantov 6309e5fa01 cudnn: refactor to use shared derivation 
Also return 8.0-6.0 version for TensorFlow.
 2017-10-19 12:47:30 +03:00
Nikolay Amiantov ce9059a120 cudnn_cudatoolkit9: init at 7.0 
Make it the default.
 2017-10-19 12:47:30 +03:00
Nikolay Amiantov fe7c7a852d cudatoolkit9: init at 9.0.176 
Make CUDA Toolkit 9 the default choice.
 2017-10-19 12:47:30 +03:00
Nikolay Amiantov 0bc4216bf0 Merge branch 'staging' 2017-10-19 12:46:38 +03:00
Florian Klink 2856891562 twilio: init at 6.8.0 2017-10-19 09:56:47 +02:00
André-Patrick Bubel 7a82f81b84
profanity: enable support for python plugins 2017-10-19 05:10:19 +02:00
adisbladis f8368f68ea
plasma5.plasma-vault: init at 5.11.1 2017-10-19 11:09:23 +08:00
adisbladis 84847258bb
plasma: 5.10.5 -> 5.11.1 2017-10-19 11:09:22 +08: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
John Ericson ee9c59c5b3 Merge remote-tracking branch 'channels/nixpkgs-unstable' into staging 2017-10-18 14:53:30 -04:00
Robert Helgesson 4233b83226
perl-CryptX: 0.050 -> 0.054 2017-10-18 18:53:22 +02:00
Samuel Leathers 66201d49bb gitea: add nixos service module 2017-10-18 12:50:36 -04:00
Tim Steinbach de3d191b91
docker: add 17.10.0-ce 2017-10-18 08:25:25 -04:00
Jörg Thalheim 30c046b9c2 Merge pull request #30409 from geistesk/openrct2 
openrct2: init at 0.1.1
 2017-10-18 13:10:16 +01:00
Peter Simons 757a759005 Merge pull request #30166 from LumiGuide/graphite-1.0.2 
Fix graphite crash by upgrading from 0.9.15 -> 1.0.2
 2017-10-18 12:58:55 +01:00
Guillaume Bouchard 41b06c1519 openvdb: init at 4.0.2 2017-10-18 11:57:10 +02:00
Guillaume Bouchard afc6a8a259 openexrid-unstable: init at 2017-09-17 2017-10-18 11:57:10 +02:00
Guillaume Bouchard d99e00c9d8 openfx: init at 1.4 2017-10-18 11:57:10 +02:00
Guillaume Bouchard 3cbecaadc2 partio: init at 1.1.0 2017-10-18 11:57:10 +02:00
Guillaume Bouchard db6e674bc8 alembic: init at 1.7.4 2017-10-18 11:57:09 +02:00
Guillaume Bouchard 7f83bf4261 ptex: init at 2.1.28 2017-10-18 11:57:09 +02:00
Peter Romfeld 29f9ca40cb ansible_2_4: init at 2.4.0.0 (#30073) 2017-10-17 22:03:43 +01:00
Tuomas Tynkkynen 0dd2ebc518 nix-info: Add separate tested variant for Hydra 2017-10-17 18:26:13 +03:00
lewo 85a1c9e867 bgpdump: init at 2017-09-29 (#30461) 
* bgpdump: init at 2017-09-29

* bgpdump: switch to autoreconfHook
 2017-10-17 09:37:20 +01: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
Graham Christensen ab8b14cf92 Merge pull request #30397 from grahamc/nix-help 
nix-info: init
 2017-10-16 21:37:00 -04:00
Jörg Thalheim 39598617f2 Merge pull request #30469 from efx/bump-sqitch 
sqitch-pg: 0.9994 -> 0.9996
 2017-10-17 02:28:58 +01:00
Nikolay Amiantov 35ad024fa4 Merge pull request #29814 from abbradar/new-boost 
Update Boost to 1.65 and make it default
 2017-10-17 03:40:58 +03:00
Nikolay Amiantov b1e499788c boost: add numpy support 
Not built by default.

Also add enablePython flag (enabled by default) and cleanup a bit.
 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
Nikolay Amiantov c6c67c46bf Merge branch 'master' into HEAD 2017-10-17 03:39:54 +03:00
Nikolay Amiantov 23ea2e931f boost165: init at 1.65.1 2017-10-17 03:39:50 +03:00
Drew Hess 356892f0e2
ArrayFIFO: init at 0.10. 2017-10-16 14:58:56 -07: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
geistesk 339d2e8006 openrct2: init at 0.1.1 2017-10-16 20:51:18 +02:00
Nikolay Amiantov 38ffe0e1f6 steam-run-native: init 
Refactor Steam so that native steam-run can be built as a free package and
expose it so that Hydra builds needed i686 packages.
 2017-10-16 21:42:30 +03:00
Vladimír Čunát 3d1dee3692
Merge branch 'master' into staging 
Thousands of rebuilds from master.
 2017-10-16 20:12:06 +02:00
Vladimír Čunát d392f4be1c
systemd: no need to use older gperf anymore 
For a long time.
 2017-10-16 20:05:30 +02: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 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
Eli Flanagan ef39873f0f sqitch-pg: 0.9994 -> 0.9996 2017-10-16 07:34:30 -04:00
rnhmjoj 14bbec1801
bb: init at 1.3rc1 2017-10-16 11:08:06 +02:00
Dario Bertini e55b99e840 pipenv: init at 8.2.7 
fixes #30442
 2017-10-16 08:59:14 +01:00
Dario Bertini c6f90f9493 pew: 0.1.14 -> 1.1.0 
Pew was actually broken, due to a SHELL PATH check that had been added
in the previous release (though this shouldn't have hampered users with
bash as their shell)
 2017-10-16 08:59:06 +01:00
Jörg Thalheim e4532af925 Merge pull request #30421 from KaiHa/lbdb-0.44 
lbdb: 0.38 -> 0.44
 2017-10-16 08:46:22 +01:00
Jörg Thalheim 69886a4170 Merge pull request #29819 from Moredread/mechanicalsoup-0.7.0 
pythonPackages.MechanicalSoup: 0.4.0 -> 0.7.0
 2017-10-15 18:06:40 +01:00
Jörg Thalheim 04c6047b51 Merge pull request #30435 from stesie/update-plv8 
Update plv8 + build against V8 6.x
 2017-10-15 17:37:15 +01:00
Franz Pletz dc38f6c524
pythonPackages.jsmin: init at 2.2.2 2017-10-15 16:16:33 +02:00
Stefan Siegl 68d48aae7e
plv8: use v8_6_x 2017-10-15 15:44:50 +02:00
Nikolay Amiantov f7d308dbdc plyfile: init at 0.5 2017-10-15 15:41:30 +03: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
Vladimír Čunát 75e4191739
libreoffice(-still): fixup build by using older icu 
It's slightly risky, as many dependencies use the newer icu already.
-fresh seems OK without such changes.
 2017-10-15 13:49:08 +02:00
Vladimír Čunát 21034a44f0
mailcore2: fixup build by using older icu again 2017-10-15 11:05:34 +02:00
Vladimír Čunát 7cdbc8b246
firebirdSuper: fixup build by using older icu again 2017-10-15 10:53:53 +02:00
Graham Christensen b16f3b2131
nix-info: include in nixos' default system-path, nixpkgs's channel 2017-10-14 22:01:30 -04:00
Graham Christensen d9d2c4a4a9
nix-info: init 2017-10-14 22:01:23 -04:00
Kai Harries c37198e81d lbdb: 0.38 -> 0.44 2017-10-14 22:02:13 +02:00