swendel/nixpkgs
1
0
Fork 0
mirror of https://github.com/SebastianWendel/nixpkgs.git synced 2024-09-22 05:19:00 +02:00
Code Issues Packages Projects Releases Wiki Activity
168006 commits 5 branches 0 tags 27 GiB
Commit graph

30975 commits

Author SHA1 Message Date
Vincent Demeester 933b8388da
conmon: init at unstable-2018-11-28 
conmon is a required dependency for `podman`

Signed-off-by: Vincent Demeester <vincent@sbr.pm>
 2019-01-21 12:21:09 +01:00
Jan Tojnar 437e478a50
gdl: rename from gnome3.gdl 2019-01-21 12:03:34 +01:00
Dmitry Kalinkin 958201a98f
Merge pull request #48675 from veprbl/pr/xfitter_fix 
xfitter: runtime fixes
 2019-01-20 20:00:02 -05:00
Dmitry Kalinkin 07be4c855c
Merge pull request #54388 from tadeokondrak/init-fff 
fff: init at 1.5
 2019-01-20 19:01:17 -05:00
Averell Dalton 98fb0ab430 rstudio-preview: update to current 2019-01-21 00:41:58 +01:00
Averell Dalton 23461f33eb rstudio(-preview): fix build 2019-01-21 00:41:58 +01:00
Tadeo Kondrak 1691f36952
fff: init at 1.5 2019-01-20 16:32:14 -07:00
Robert Helgesson 08bf7311f5
eclipses: 4.9 -> 4.10 
This applies to Eclipse platform, SDK, and the JDT plugin.
 2019-01-21 00:27:27 +01:00
Dmitry Kalinkin 6fc8992e6d
Merge pull request #53452 from tadeokondrak/init-qmasterpassword 
qMasterPassword: init at 1.2.2
 2019-01-20 14:35:23 -05:00
Dmitry Kalinkin c53fe37d0e
qMasterPassword: fix on darwin, add meta.longDescription 2019-01-20 14:13:39 -05:00
Gabriel Ebner e3515dfc39
Merge pull request #54367 from marsam/update-lean 
lean: 3.4.1 -> 3.4.2
 2019-01-20 19:08:44 +01:00
lewo befc464d4c
Merge pull request #54056 from r-ryantm/auto-update/remotebox 
remotebox: 2.5 -> 2.6
 2019-01-20 18:31:18 +01:00
Robert Schütz ca7ef865c4
antimony: find boost::python3 (#54368) 
Fixes https://github.com/NixOS/nixpkgs/issues/54329.
 2019-01-20 13:59:04 +01:00
Christian Kampka 25acd14ddf msmtp: Configure sysconfdir to point to /etc 
The current build lets the SYSCONFDIR of msmtp point to the nix store /nix/.../msmtp-1.81/etc, which is not very useful.
This change will allow for system wide configuration to be placed in /etc instead.
 2019-01-20 13:54:20 +01:00
Mario Rodas 9a18d9356d
lean: 3.4.1 -> 3.4.2 2019-01-20 06:46:37 -05:00
Vladyslav Mykhailichenko d170db062d
alacritty: 0.2.5 -> 0.2.6 2019-01-20 10:47:01 +02:00
Will Dietz f511d52c5c
Merge pull request #51232 from dtzWill/update/vimb-3.3.0 
vimb: 3.1.0 -> 3.3.0
 2019-01-20 02:16:30 -06:00
Domen Kožar 555e7eb375
Merge pull request #54335 from zimbatm/kubectl-small 
kubectl: reduce closure size
 2019-01-20 14:04:41 +07:00
Tadeo Kondrak 6872731208
qMasterPassword: init at 1.2.2 2019-01-19 17:55:23 -07:00
Austin Seipp 5069fa0a30 nixpkgs: remove sapic-0.9 
SAPIC is bundled with Tamarin and doesn't have separate releases
anymore; add an appropriate 'throw' clause to the alias so people know
where to find it.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2019-01-19 18:54:38 -06:00
Austin Seipp fc159594a7 tamarin-prover: 1.4.0 -> 1.4.1, bundled sapic 
With this, we can drop the old 1.4.0 patches for 8.4 support, since
those are now upstream.

Furthermore, SAPIC Is now bundled inside Tamarin, so we can drop the
external dependency. (This includes a patch that compiles SAPIC to
native code, much like the original, to reduce closure size.)

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2019-01-19 18:54:38 -06:00
Dmitry Kalinkin 3cac599628
Merge pull request #54342 from ar1a/vdmfec 
vdmfec: init at 1.0
 2019-01-19 17:19:12 -05:00
Aria Edmonds d5fca98fcd vdmfec: init at 1.0 2019-01-20 08:58:12 +11:00
Dmitry Kalinkin 0f3758b5e6
Merge pull request #53839 from fusion809/marvin 
marvin: init at 19.1.0
 2019-01-19 15:50:49 -05:00
zimbatm 556c4426e8
kubectl: reduce closure size 
before: 482M
after: 38M
 2019-01-19 20:55:03 +01:00
worldofpeace baa4b0ca57 font-manager: switch to meson 2019-01-19 13:51:21 -05:00
Robert Schütz a7a8570eed
sigal: use python3Packages (#54187) 2019-01-19 17:33:10 +01:00
Michael Weiss af100d55d3
dynamips: 0.2.18 -> 0.2.19 2019-01-19 17:20:37 +01:00
Michael Weiss db8e3654e2
tdesktop: Drop the patch for a GCC bug 
GCC 7.4.0 is now the default and not affected by this bug.
 2019-01-19 14:43:24 +01:00
adisbladis 5cc392c5bb
mpv: Enable javascript support through mujs 2019-01-19 12:56:02 +00:00
adisbladis 227104215d
Merge pull request #54290 from adisbladis/mpv-vulkan 
mpv: Add vulkan support
 2019-01-19 12:54:23 +00:00
Jörg Thalheim db804db878
Merge pull request #38964 from Moredread/wip/mediathekview 
mediathekview: 9 -> 13.2.1
 2019-01-19 12:45:14 +00:00
André-Patrick Bubel c18c25f0e9
zdfmediathk: Remove as it is obsolete and broken 
The package `mediathekview` is the current alternative.
 2019-01-19 13:26:41 +01:00
André-Patrick Bubel 88098b14d4
mediathekview: 9 -> 13.2.1 
Use OracleJRE for now, as OpenJFX isn't packaged yet for OpenJDK.
 2019-01-19 13:26:18 +01:00
Michael Weiss cc5f7d9091
gitRepo: Cleanup the patchPhase 
This variant should be easier to read (it was pretty messy before...).
The end result stays the same.
 2019-01-19 12:30:08 +01:00
Echo Nolan 728384e34f go-ethereum: 1.8.20 -> 1.8.21 
Updates the package to track an emergency hotfix release. This fixes a
security vulnerability.
 2019-01-18 22:14:40 -08:00
Will Dietz 509742b8d7
Merge pull request #53980 from dtzWill/update/zotero-5.0.60 
zotero: 5.0.35.1 -> 5.0.60
 2019-01-18 21:29:54 -06:00
Herman Fries 3cc341d6f2 slic3r-prusa3d: Create desktop file 2019-01-19 02:45:57 +01:00
adisbladis dfe2453ce5
mpv: Add vulkan support 2019-01-19 00:53:49 +00:00
adisbladis 8e20de1d52
firefox-beta-bin: 65.0b11 -> 65.0b12 2019-01-18 23:49:08 +00:00
adisbladis 59b60270aa
firefox-devedition-bin: 65.0b11 -> 65.0b12 2019-01-18 23:49:04 +00:00
R. RyanTM 197c393c2f img2pdf: 0.3.2 -> 0.3.3 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/img2pdf/versions
 2019-01-18 17:24:36 -05:00
Vladyslav M 1221fc7641
Merge pull request #53215 from wedens/tdrop-init 
tdrop: init at 2018-11-13
 2019-01-19 00:15:51 +02:00
Timo Kaufmann d34f44db45
sage: fix transient ecl error (#54285) 
Sometimes the doctests fail because ecl races to create a directory.
This should fix that by making sure each process has its own directory.
 2019-01-18 23:02:03 +01:00
Timo Kaufmann ab22e8cc9c neovim: generate remote plugin manifest 
This makes sure the user doesn't have to call `UpdateRemotePlugins`
manually for plugins installed through nix. A minor patch to neovim is
necessary, but it should be harmless. See
https://github.com/neovim/neovim/issues/9413 for a discussion about
the patch.
 2019-01-18 21:18:32 +01:00
Timo Kaufmann 51c4768f67 neovim: fix indentation 2019-01-18 21:15:17 +01:00
zimbatm 8baa0a4a34
Merge pull request #52937 from stephengroat/patch-4 
terraform-providers: new providers + version bumps
 2019-01-18 18:45:35 +00:00
Stephen ab2c1a7bed
terraform-providers: limit subpackages 
https://github.com/NixOS/nixpkgs/pull/52937#issuecomment-455629855
 2019-01-18 09:49:19 -08:00
zimbatm f077a27b9c
terraform-docs: 0.5.0 -> 0.6.0 2019-01-18 18:04:46 +01:00
zimbatm 6d022fb6cc
terraform_0_12: 0.12.0-alpha2 -> 0.12.0-alpha4 2019-01-18 17:25:20 +01:00
Stephen d5a3e32006
terraform-providers: bump versions 2019-01-18 08:06:18 -08:00
wedens bc312dc7ee font-manager: 0.7.3.1 -> 0.7.4.1 2019-01-18 22:14:46 +07:00
markuskowa e4c9e1411e
Merge pull request #54218 from r-ryantm/auto-update/gnuradio-rds 
gnuradio-rds: 1.0.0 -> 1.1.0
 2019-01-18 13:20:42 +01:00
markuskowa bd7bbcb4e7
Merge pull request #53646 from betaboon/pr-gr-osmosdr-soapysdr 
gnuradio-osmosdr: 0.1.4 -> 4d83c60, Added support for Soapysdr
 2019-01-18 13:16:55 +01:00
Jörg Thalheim 15696268c1
Merge pull request #54241 from r-ryantm/auto-update/brave 
brave: 0.58.18 -> 0.58.21
 2019-01-18 11:48:19 +00:00
markuskowa 4545aaa671
Merge pull request #54209 from r-ryantm/auto-update/gmsh 
gmsh: 4.0.7 -> 4.1.0
 2019-01-18 11:40:48 +01:00
Joachim F dd6cb2b565
Merge pull request #54252 from Moredread/electrum 
electrum: 3.2.3 -> 3.2.4
 2019-01-18 10:20:54 +00:00
betaboon 63b0e31fd3 gnuradio-osmosdr: 0.1.4 -> 4d83c60, Added support for Soapysdr and bladeRF 2019-01-18 11:18:04 +01:00
Sarah Brofeldt 9fd099a6ae
Merge pull request #54184 from r-ryantm/auto-update/kubernetes 
kubernetes: 1.13.1 -> 1.13.2
 2019-01-18 08:04:32 +01:00
André-Patrick Bubel cfcce55e1c
electrum: 3.2.3 -> 3.2.4 (security) 
Backports anti-phishing measures from master
 2019-01-18 05:04:51 +01:00
worldofpeace e144945662 deja-dup: 38.1 -> 38.3, cleanup 
This includes:

- fetch source from gitlab
- pname-version stuff
- change homepage
- correct license
  See: https://gitlab.gnome.org/World/deja-dup/blob/master/meson.build#L21
 2019-01-17 22:07:00 -05:00
R. RyanTM b5263c71b4 brave: 0.58.18 -> 0.58.21 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/brave/versions
 2019-01-17 18:27:14 -08:00
worldofpeace 422b6bd489
Merge pull request #54028 from r-ryantm/auto-update/wavebox 
wavebox: 4.5.9 -> 4.5.10
 2019-01-18 02:08:13 +00:00
worldofpeace fda57c8aa8
Merge pull request #54030 from r-ryantm/auto-update/xpad 
xpad: 5.3.0 -> 5.4.0
 2019-01-18 02:04:59 +00:00
worldofpeace ce69fadb36
Merge pull request #54153 from r-ryantm/auto-update/picard-tools 
picard-tools: 2.18.21 -> 2.18.23
 2019-01-18 01:51:04 +00:00
worldofpeace 92e684b062
Merge pull request #54210 from r-ryantm/auto-update/git-secret 
git-secret: 0.2.4 -> 0.2.5
 2019-01-18 01:44:58 +00:00
R. RyanTM 152da059db dbeaver: 5.3.0 -> 5.3.2 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/dbeaver-ce/versions
 2019-01-17 15:53:50 -08:00
Jörg Thalheim fdfd5ba352
Merge pull request #54215 from Mic92/yubikey 
yubioath-desktop: 3.1.0 -> 4.3.4; yubikey-manager: 1.0.1 -> 2.0.0
 2019-01-17 22:48:40 +00:00
R. RyanTM eb523422a6 gnuradio-rds: 1.0.0 -> 1.1.0 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/gnuradio-rds/versions
 2019-01-17 14:37:13 -08:00
Jörg Thalheim 3c2d5eba5f
yubioath-desktop: add myself as maintainer 2019-01-17 22:33:24 +00:00
Jörg Thalheim d43b26f594
yubioath-desktop: 3.1.0 -> 4.3.4 2019-01-17 22:33:13 +00:00
R. RyanTM 64139656ec gnome-builder: 3.30.2 -> 3.30.3 (#54205) 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/gnome-builder/versions
 2019-01-17 22:30:07 +01:00
Michael Weiss 3efab179a5
signal-desktop: 1.19.0 -> 1.20.0 2019-01-17 22:24:11 +01:00
R. RyanTM 6c9493e92d git-secret: 0.2.4 -> 0.2.5 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/git-secret/versions
 2019-01-17 12:59:36 -08:00
R. RyanTM 55ea7b1bbe gmsh: 4.0.7 -> 4.1.0 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/gmsh/versions
 2019-01-17 12:55:54 -08:00
Danylo Hlynskyi bfd31e29c8
Merge pull request #53684 from dtzWill/update/mercurial-4.8.2 
mercurial: 4.8.1 -> 4.8.2
 2019-01-17 22:19:02 +02:00
Timo Kaufmann e379ee67c3 sage: 8.5 -> 8.6 2019-01-17 20:39:02 +01:00
Timo Kaufmann 29e150d85f
Merge pull request #54127 from timokau/gap-improvements 
gap: install libgap, add packageSet option
 2019-01-17 20:38:38 +01:00
Michael Weiss 9aa46aedfe
android-studio-preview: Deprecate the attribute 
This also covers "androidStudioPackages.preview".

I believe that the name is confusing (is it from the beta or dev/canary
channel?) and with this error message it should be obvious how to update
ones configuration.
 2019-01-17 19:13:07 +01:00
Michael Weiss f7a3a5ad94
androidStudioPackages.beta: Rename the binary according to the channel 
The old name "android-studio-preview" was a bit misleading while
"android-studio-beta" should clearly reflect that this is from the beta
channel. I hope that this does not break any workflows but since
"android-studio-preview" was most likely not called from any scripts the
risk should be low (also: most people probably use the stable version
anyway).
 2019-01-17 19:13:06 +01:00
R. RyanTM b39f1fd449 hyper: 2.1.0 -> 2.1.1 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/hyper/versions
 2019-01-17 07:56:45 -08:00
R. RyanTM b31dddaba8 kubernetes: 1.13.1 -> 1.13.2 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/kubernetes/versions
 2019-01-17 07:32:47 -08:00
Ryan Mulligan c35322ba6d
Merge pull request #54167 from r-ryantm/auto-update/mutt 
mutt: 1.11.1 -> 1.11.2
 2019-01-17 06:16:09 -08:00
Tim Steinbach 83963ba209
slack: 3.3.3 -> 3.3.7 2019-01-17 08:12:54 -05:00
José Romildo Malaquias 658c1cb18b xkbmon: 0.2 -> 0.3 2019-01-17 10:15:04 -02:00
R. RyanTM 09dae062b6 mutt: 1.11.1 -> 1.11.2 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/mutt/versions
 2019-01-17 02:36:22 -08:00
Jörg Thalheim 478188d41c
Merge pull request #54092 from r-ryantm/auto-update/python3.7-neovim-remote 
neovim-remote: 2.1.3 -> 2.1.4
 2019-01-17 09:47:52 +00:00
R. RyanTM d941974d80
mpop: 1.4.1 -> 1.4.2 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/mpop/versions
 2019-01-17 09:40:58 +00:00
Timo Kaufmann cf63a8c94c gap: add packageSet option 
Two reasons for this:

- more fine-grained space/functionality tradeoff

- preparation for the sage 8.6 update, which finally doesn't need a
  downgraded gap anymore but does break when unexpected (non-standard)
  packages are installed. Details: https://trac.sagemath.org/ticket/26983

The proper way to deal with gap packages would be to create a package
set, package each one individually and have something like gap
equivalent of `python.withPackages`. I am not willing to do that
however.
 2019-01-17 10:10:24 +01:00
Timo Kaufmann bb173ec8e3 gap: install libgap 
There are some starts of a `make install`, but nothing complete yet.
Upstream now ships a `libgap` as a replacement of the custom one used by
sagemath.
 2019-01-17 10:10:21 +01:00
Jörg Thalheim 3de6effe70
coursera-dl: relax version constraints 2019-01-17 08:47:43 +00:00
Jörg Thalheim de9c266296
Merge pull request #54161 from r-ryantm/auto-update/neovim-unwrapped 
neovim-unwrapped: 0.3.3 -> 0.3.4
 2019-01-17 08:40:54 +00:00
R. RyanTM db44656467 neovim-unwrapped: 0.3.3 -> 0.3.4 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/neovim-unwrapped/versions
 2019-01-17 00:13:16 -08:00
R. RyanTM b2a7ef628a picard-tools: 2.18.21 -> 2.18.23 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/picard-tools/versions
 2019-01-16 21:43:19 -08:00
Cray Elliott ff2341afc9 discord: fix gsettings crash when selecting file 2019-01-16 17:34:24 -08:00
Timo Kaufmann 6bbd0596dd gap: add timokau as maintainer 
So that I'll be notified on changes which likely impact sage.
 2019-01-16 23:41:31 +01:00
Timo Kaufmann a8dbc5e313
python.pkgs.cypari2: 1.3.1 -> 2.0.3 (#54093) 
Upstream issues should be fixed now, see https://trac.sagemath.org/ticket/26442.
Sage needs a patch to adapt.
 2019-01-16 22:15:40 +01:00
averelld ead68995fa nextcloud-client: fix build with qt 5.12 (#53881) 2019-01-16 22:05:42 +01:00
adisbladis 4ad3d2dfe7
firefox-beta-bin: 65.0b9 -> 65.0b11 2019-01-16 20:28:55 +00:00
adisbladis 44d7338375
firefox-devedition-bin: 65.0b9 -> 65.0b11 2019-01-16 20:28:54 +00:00
R. RyanTM db5ee28843 neovim-remote: 2.1.3 -> 2.1.4 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/python3.7-neovim-remote/versions
 2019-01-16 11:38:19 -08:00
worldofpeace cddd36e48a
Merge pull request #54031 from etu/gitea-upgrade 
gitea: 1.6.3 -> 1.6.4
 2019-01-16 19:04:54 +00:00
worldofpeace 872502aa56
Merge pull request #54055 from erictapen/scribusUnstable-2019-01-16 
scribusUnstable: 2019-01-14 -> 2019-01-16
 2019-01-16 18:50:50 +00:00
Piotr Bogdan c16b33bbcc
libreoffice-fresh: 6.1.3.2 -> 6.1.4.2 
And patch it, together fixing build with new poppler.
Fixes https://github.com/NixOS/nixpkgs/issues/53921
 2019-01-16 19:33:29 +01:00
Jörg Thalheim 1dcfe5ab28
Merge pull request #53913 from dtzWill/update/ipe-7.2.8 
ipe: 7.2.7 -> 7.2.9
 2019-01-16 17:38:45 +00:00
Jörg Thalheim 92b3b7ca74
Merge pull request #54070 from baracoder/update-jetbrains-editors 
Update jetbrains editors
 2019-01-16 17:31:14 +00:00
R. RyanTM 48d260dc6c urh: 2.5.3 -> 2.5.4 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/urh/versions
 2019-01-16 16:58:05 +01:00
Herman Fries 0931e88251 jetbrains.webstorm: 2018.3.2 -> 2018.3.3 2019-01-16 16:56:46 +01:00
Herman Fries 86219e2512 jetbrains.rider: 2018.2.3 -> 2018.3.1 2019-01-16 16:56:14 +01:00
Herman Fries 126220c72f jetbrains.pycharm-professional: 2018.3.2 -> 2018.3.3 2019-01-16 16:55:08 +01:00
Herman Fries 8af348a4c0 jetbrains.pycharm-community: 2018.3.2 -> 2018.3.3 2019-01-16 16:54:40 +01:00
Herman Fries 623af95530 jetbrains.idea-ultimate: 2018.3.2 -> 2018.3.3 2019-01-16 16:54:04 +01:00
Herman Fries 443f806762 jetbrains.idea-community: 2018.3.2 -> 2018.3.3 2019-01-16 16:53:24 +01:00
Herman Fries 878a1a3f71 jetbrains.clion: 2018.3.2 -> 2018.3.3 2019-01-16 16:52:21 +01:00
volth fbff7a6dbe
xrdp: 0.9.7 -> 0.9.9 2019-01-16 15:04:37 +00:00
Will Dietz 94a8a9b812
Merge pull request #52541 from dtzWill/update/iasl-2018-and-xen-fix 
iasl: 20180313 -> 20181213; patch xen to work with new acpica-tools
 2019-01-16 08:53:32 -06:00
Will Dietz 1c698941ac
Merge pull request #53912 from dtzWill/update/vlc-3.0.6 
vlc: 3.0.5 -> 3.0.6
 2019-01-16 08:49:20 -06:00
Will Dietz b5deb430a4 ipe: 7.2.8 -> 7.2.9 
https://mailman.science.uu.nl/pipermail/ipe-announce/2019-January/000076.html
 2019-01-16 08:48:35 -06:00
R. RyanTM 5d253a36f2 remotebox: 2.5 -> 2.6 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/remotebox/versions
 2019-01-16 06:13:39 -08:00
Justin Humm a542105dc9
scribusUnstable: 2019-01-14 -> 2019-01-16 
Upstream fixed a bug, so the poppler patch is not necessary anymore.
 2019-01-16 14:51:08 +01:00
Christoph Hrdinka def5124ec8
Merge pull request #53995 from serokell/fix-pgtmp 
pg_tmp, ephemeralpg: fix on darwin and merge
 2019-01-16 13:45:48 +01:00
Bjørn Forsman 3dee561c34 gitolite: 3.6.10 -> 3.6.11 
From https://github.com/sitaramc/gitolite/blob/master/CHANGELOG:

2019-01-08  v3.6.11 fix security issue in 'rsync' (bundle helper); see commit
                    5df2b81 for more
 2019-01-16 13:37:01 +01:00
Eelco Dolstra 5a434d0034
Merge pull request #54047 from r-ryantm/auto-update/subversion-client 
subversionClient: 1.11.0 -> 1.11.1
 2019-01-16 13:18:28 +01:00
Michael Weiss a70c4178a8
androidStudioPackages.{dev,canary}: 3.4.0.10 -> 3.5.0.0 2019-01-16 13:09:36 +01:00
Michael Weiss 08596e508b
androidStudioPackages.beta: 3.3.0.20 -> 3.4.0.10 
androidStudioPackages.{dev,canary}: 3.4.0.9 -> 3.4.0.10
 2019-01-16 13:09:36 +01:00
R. RyanTM cd055b2f58 subversionClient: 1.11.0 -> 1.11.1 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/subversion-client/versions
 2019-01-16 04:00:13 -08:00
Bjørn Forsman 9e1b5f1115 gitolite: change patchPhase to postPatch 
Overriding patchPhase is bad practice, it prevents customizing the
package with "patches = []".
 2019-01-16 12:52:04 +01:00
Vladimír Čunát 2aa190bae0
Merge #54039: wireshark: 2.6.5 -> 2.6.6 2019-01-16 10:51:06 +01:00
Alexander Krupenkin 90a4773987
parity: 2.1.11 -> 2.2.7 2019-01-16 12:37:25 +03:00
Alexander Krupenkin 1a5d0a9e20
parity-beta: 2.2.6 -> 2.3.0 2019-01-16 12:36:42 +03:00
R. RyanTM 699b94165b wireshark: 2.6.5 -> 2.6.6 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/wireshark-qt/versions
 2019-01-16 01:13:00 -08:00
Elis Hirwing 6de48b291d
gitea: 1.6.3 -> 1.6.4 
Release notes: https://github.com/go-gitea/gitea/releases/tag/v1.6.4
 2019-01-16 08:12:12 +01:00
R. RyanTM b3a1658f84 xpad: 5.3.0 -> 5.4.0 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/xpad/versions
 2019-01-15 23:08:38 -08:00
R. RyanTM d861cf9835 wavebox: 4.5.9 -> 4.5.10 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/wavebox/versions
 2019-01-15 22:45:49 -08:00
Cray Elliott d5d5453684 discord: 0.0.7 -> 0.0.8 
also fixes evaluation on release-18.09
 2019-01-15 17:41:25 -08:00
Robert Schütz 368b72a71d
Merge pull request #54017 from jonafato/fix-seafile-shared-version 
Update seafile-shared hash
 2019-01-16 01:00:28 +01:00
Robert Schütz 19d52f2144 seafile-client, libsearpc: remove dotlambda from maintainers 
I do not want to maintain the package for a software that changes the
commit a version tag refers to.
See 37c1c427f5.
 2019-01-16 00:48:33 +01:00
Michael Weiss afb6a7fe00
gitRepo: 1.13.1 -> 1.13.2 2019-01-15 22:20:17 +01:00
gnidorah 30ff54c348 way-cooler: 0.8.0 -> 0.8.1 (#53220) 2019-01-15 23:05:17 +02:00
Cray Elliott 4e4a9babd7 discord: 0.0.5 -> 0.0.7 
discord now depends on gtk3 instead of gtk2, unfortunately
there is no public changelog, so other changes are unknown
 2019-01-15 11:28:13 -08:00
Will Dietz 11590f4526
Merge pull request #53958 from erictapen/scribusUnstable-poppler-fix 
scribusUnstable: fix build failure from poppler bump
 2019-01-15 12:40:33 -06:00
Jörg Thalheim 8349329617
Merge pull request #53732 from jb55/clightning-0.6.3rc1 
clightning: 0.6.2 -> 0.6.3
 2019-01-15 17:58:48 +00:00
Yorick van Pelt f9a7b5d22e
pg_tmp, ephemeralpg: merge packages 2019-01-15 18:17:12 +01:00
Yorick van Pelt 915a21762b
ephemeralpg: add getopt to wrapped path 
fixes script on darwin
 2019-01-15 18:07:15 +01:00
Jörg Thalheim 89f5fbbdd2
Merge pull request #52733 from tadfisher/master 
jetbrains: 2018.3.1 -> 2018.3.2
 2019-01-15 16:59:19 +00:00
Will Dietz 15d8f837c6
Merge pull request #53975 from dtzWill/update/aminal-0.8.6 
aminal: 0.8.5 -> 0.8.6
 2019-01-15 07:50:58 -06:00
Michael Weiss 8d8ed93725
swaylock: init at 1.2 2019-01-15 13:34:18 +01:00
Michael Weiss 813164e0cd
swayidle: init at 1.1 2019-01-15 13:15:37 +01:00
Justin Humm ac891e9ea6
scribusUnstable: fix build failure from poppler bump 
Poppler was upgraded in [0] and therefore the build broke, as
poppler/goo/gtypes.h was moved into poppler/goo/gfile.h [1].

The patch is intended to be broght upstream and then can be reverted.

[0] 7757e43fcb
[1] ef3ef702bc
 2019-01-15 12:47:48 +01:00
Justin Humm 3f0fbc0e56
scribusUnstable: 2018-10-13 -> 2019-01-14 2019-01-15 12:47:47 +01:00
Robert Schütz d6c86cb4f0 seafile-client: 6.2.9 -> 6.2.10 2019-01-15 11:16:05 +01:00
Enno Lohmeier 034e4a0f56 fava: 1.7 -> 1.9 2019-01-15 10:06:33 +01:00
Gabriel Ebner 49db581e8c elan: 0.7.1 -> 0.7.2 2019-01-15 10:05:45 +01:00
Will Dietz bd8bf8e6ac zotero: 5.0.35.1 -> 5.0.60 
Needs glib to run now, add.
 2019-01-14 19:29:57 -06:00
Robert Schütz 05fda1f94d
Merge pull request #53865 from jethrokuan/fix/calibre 
calibre: cssutils -> css-parser
 2019-01-15 00:48:52 +01:00
Will Dietz dd6aae6209 aminal: 0.8.5 -> 0.8.6 
https://github.com/liamg/aminal/releases/tag/v0.8.6
 2019-01-14 16:51:38 -06:00
Johannes Frankenau 7788e5d536 darktable: 2.4.4 -> 2.6.0 2019-01-14 22:41:16 +02:00
Michael Weiss 0dc4a9bb50
android-studio: 3.2.1.0 -> 3.3.0.20 
androidStudioPackages.beta: 3.3.0.19 -> 3.3.0.20
 2019-01-14 20:42:04 +01:00
Michael Weiss 0da3f68519
tdesktopPackages.preview: 1.5.4 -> 1.5.7 2019-01-14 20:29:35 +01:00
Jan Tojnar e0fad4b9c5
pulseeffects: 4.4.5 → 4.4.6 2019-01-14 19:46:57 +01:00
Brenton Horne 6be5e679b1 marvin: init at 19.1.0 
Also adding myself (fusion809) as a maintainer.
The marvin Nix file in this commit is largely thanks to @msteen.
 2019-01-15 00:23:38 +10:00
Timo Kaufmann 3dc0a1b7a7
spotify: 1.0.94.262.g3d5c231c-9 -> 1.0.96.181.gf6bc1b6b-12 (#53930) 
spotify now requires "libatk-bridge-2.0.so", which is provided by
at-spi2-atk.
 2019-01-14 11:05:13 +01:00
Pascal Wittmann 78269a82f4
Merge pull request #53918 from dtzWill/update/ocrad-0.27 
ocrad: 0.26 -> 0.27
 2019-01-14 10:56:37 +01:00
Edmund Wu f97baf13b0 blender: fix python 2019-01-14 10:07:27 +01:00
Stephen 4e60afdc5e terraform-providers: new providers + version bumps 2019-01-13 21:17:07 -08:00
Will Dietz a075573115 ocrad: 0.26 -> 0.27 
https://lists.gnu.org/archive/html/bug-ocrad/2019-01/msg00000.html
 2019-01-13 20:42:14 -06:00
Will Dietz 533abe481c vlc: 3.0.5 -> 3.0.6 
https://www.videolan.org/news.html#news-2019-01-10
 2019-01-13 17:51:30 -06:00
Will Dietz e4ae3ed923 ipe: 7.2.7 -> 7.2.8 
https://mailman.science.uu.nl/pipermail/ipe-announce/2019-January/000075.html
 2019-01-13 17:45:23 -06:00
Will Dietz 707bfbe124
Merge pull request #53786 from dtzWill/update/aminal-0.8.5 
aminal: 0.7.12 -> 0.8.5
 2019-01-13 17:18:59 -06:00
gnidorah ffbe5aff57 reaper: 5.961 -> 5.965 (#53880) 2019-01-13 23:25:47 +01:00
Johannes Frankenau bebf305c1b gurobi: 8.0.1 -> 8.1 (#53884) 2019-01-13 23:22:55 +01:00
José-Paul D a0f0687fbf zoom-us: 2.6.146750.1204 -> 2.6.149990.1216 (#53145) 2019-01-13 23:21:29 +01:00
Jörg Thalheim 487d2a7ccd
Revert "rambox: update node deps hash" 
This reverts commit bf5f85ea2e.

See bf5f85ea2e (commitcomment-31923547)
 2019-01-13 22:18:36 +00:00
Will Dietz a4badf3a30 trilium: 0.27.3 -> 0.27.4 (#53784) 
https://github.com/zadam/trilium/releases/tag/v0.27.4
 2019-01-13 22:59:11 +01:00
R. RyanTM 26b492b207 minimap2: 2.10 -> 2.14 (#52845) 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/minimap2/versions
 2019-01-13 22:34:45 +01:00
R. RyanTM 27609af220 meld: 3.18.3 -> 3.20.0 (#53595) 
Update and enable tests
 2019-01-13 22:05:01 +01:00
xeji ec507f995e
Merge pull request #53742 from taku0/flashplayer-32.0.0.114 
flashplayer: 32.0.0.101 -> 32.0.0.114
 2019-01-13 21:46:49 +01:00
William Casarin ca67e65182 clightning: 0.6.2 -> 0.6.3 
[0.6.3] - 2019-01-09: "The Smallblock Conspiracy"

This release named by @molxyz and @ctrlbreak

Added

- JSON API: New command `check` checks the validity of a JSON API call without
  running it.
- JSON API: `getinfo` now returns `num_peers` `num_pending_channels`,
  `num_active_channels` and `num_inactive_channels` fields.
- JSON API: use `\n\n` to terminate responses, for simplified
  parsing (pylightning now relies on this)
- JSON API: `fundchannel` now includes an `announce` option, when false it will
  keep channel private. Defaults to true.
- JSON API: `listpeers`'s `channels` now includes a `private` flag to indicate
  if channel is announced or not.
- Plugins: experimental plugin support for `lightningd`, including option
  passthrough and JSON-RPC passthrough.

Changed

- JSON API: `pay` and `decodepay` accept and ignore `lightning:` prefixes.
- pylightning: Allow either keyword arguments or positional arguments.
- JSON-RPC: messages are now separated by 2 consecutive newlines.
- JSON-RPC: `jsonrpc`:`2.0` now included in json-rpc command calls. complies
  with spec.

Deprecated

Note: You should always set `allow-deprecated-apis=false` to test for
changes.

- pylightning: Support for pre-2-newline JSON-RPC (<= 0.6.2 lightningd) is
  deprecated.

Removed

- option_data_loss_protect is now only offered if EXPERIMENTAL_FEATURES is
  enabled, since it seems incompatible with lnd and has known bugs.

Fixed

- JSON API: uppercase invoices now parsed correctly (broken in 0.6.2).
- JSON API: commands are once again read even if one hasn't responded yet (broken in 0.6.2).
- Protocol: allow lnd to send `update_fee` before `funding_locked`.
- Protocol: fix limit on how much funder can send (fee was 1000x too small)
- Protocol: don't send invalid onion errors if peer says onion was bad.
- Protocol: don't crash when peer sends a 0-block-expiry HTLC.
- pylightning: handle multiple simultanous RPC replies reliably.
 2019-01-13 10:32:30 -08:00
gnidorah f2b9162167 openmpt123: 0.2.7025-beta20.1 -> 0.4.1 2019-01-13 17:55:00 +03:00
Jethro Kuan 4e1fb4f3a2 calibre: fix altered dependency 
Calibre has changed its dependency from cssutils to css-parser in
dd7d8ea3c4
 2019-01-13 20:18:17 +08:00
Vladimír Čunát 626233eee6
linuxPackages.virtualboxGuestAdditions: fix build after xorg 1.20 
We still need to force the ABI version to 118 it seems.
Close https://github.com/NixOS/nixpkgs/pull/53867
 2019-01-13 10:38:32 +01:00
worldofpeace 9b61b2bd90
Merge pull request #53819 from noneucat/polar-1.8.0 
polar-bookshelf: 1.7.0 -> 1.8.0
 2019-01-13 03:57:21 -05:00
R. RyanTM c169f233e6 yoshimi: 1.5.9 -> 1.5.10 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/yoshimi/versions
 2019-01-13 09:47:18 +01:00
worldofpeace bac3e2ada9 cozy: 0.6.3 -> 0.6.7 2019-01-13 02:46:35 -05:00
Austin Seipp b5c6156062 firecracker: 0.12.0 -> 0.13.0 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2019-01-12 20:12:08 -06:00
Vladimír Čunát 570d84a01e
Merge branch 'staging-next' 2019-01-13 00:39:38 +01:00
Jean-Philippe Cugnet 6ca8443c3b scribus: Add an icon (#53456) 
* scribus: Add an icon

* scribus: Put the icon SVG in a Gist
 2019-01-13 00:01:05 +01:00
Andreas Rammhold 9651cc7a93
Merge pull request #53837 from andir/irssi 
irssi: 1.1.1 -> 1.1.2
 2019-01-12 13:31:22 +01:00
markuskowa 7fa8e897a5
Merge pull request #53186 from r-ryantm/auto-update/shotcut 
shotcut: 18.11.18 -> 18.12.23
 2019-01-12 12:52:22 +01:00
Andreas Rammhold 41ee7073df
irssi: 1.1.1 -> 1.1.2 
Fixes CVE-2019-5882 [1] and a few minor changes [2].

[1] https://irssi.org/security/html/irssi_sa_2019_01/
[2] https://irssi.org/2019/01/09/irssi-1.1.2-released/
 2019-01-12 12:52:16 +01:00
Vladimír Čunát bde8efe792
Merge branch 'master' into staging-next 
A couple thousand rebuilds have accumulated on master.
 2019-01-12 12:19:34 +01:00
worldofpeace df712e2055
Merge pull request #53823 from eadwu/vscode/1.30.2 
vscode: 1.30.1 -> 1.30.2
 2019-01-12 03:27:49 -05:00
gnidorah e107569b6f franz: 4.0.4 -> 5.0.0-beta.19 2019-01-12 08:56:24 +03:00
gnidorah 7ef94bee72 vk-messenger: 3.9.0 -> 4.0.1 2019-01-12 08:56:24 +03:00
gnidorah ab7065ba40 mytetra: 1.43.27 -> 1.44.55 2019-01-12 08:56:24 +03:00
Dmitry Kalinkin 73625f2522 root5: mark as broken on Linux 2019-01-11 20:45:37 -05:00
Dmitry Kalinkin 0c9335fb1c root, root5: fix build on darwin 2019-01-11 20:45:37 -05:00
Edmund Wu 6b80db3f5f
vscode: 1.30.1 -> 1.30.2 2019-01-11 20:02:00 -05:00
Andy Chun @noneucat 3bdcbd8cb9 polar-bookshelf: 1.7.0 -> 1.8.0 2019-01-11 15:58:01 -08:00
gnidorah 9ee99d9f8f qdirstat: 1.4 -> 1.5 2019-01-12 01:29:44 +03:00
Michael Roitzsch f84e353831 synergy: fix compilation on macOS 
cf-private is needed to build on macOS
 2019-01-11 16:22:02 +01:00
Eelco Dolstra ac97ba25ae
Revert "libgit2: 0.26.6 → 0.27.7" 
This reverts commit cc50638176 because
it breaks cargo (again, see fca4fbeba9):

  $ cargo build
      Updating crates.io index
  Segmentation fault
 2019-01-11 14:58:45 +01:00
Jörg Thalheim 15ec5d03e6
Merge pull request #52563 from vdemeester/52469-containerd-to-buildgopackage 
containerd: migrate to using buildGoPackage
 2019-01-11 12:29:35 +00:00
Jörg Thalheim 566cc6bf20
Merge pull request #52572 from vdemeester/52469-openshift-to-buildgopackage 
openshift: migrate to using buildGoPackage
 2019-01-11 12:22:53 +00:00
Jörg Thalheim b4df112941
Merge pull request #53780 from OPNA2608/obs-scripting 
obs-studio: add new optional dependencies
 2019-01-11 11:43:27 +00:00
Peter Hoeg a9632dd470
Merge pull request #52453 from Anton-Latukha/handbrake-1.2 
handbrake: 1.1.2 -> 1.2.0
 2019-01-11 14:10:56 +08:00
Will Dietz fd1de3e577 aminal: 0.7.12 -> 0.8.5 2019-01-10 18:13:50 -06:00
tbenst d34f2b9b96 bftools: init at 5.9.2 (#53769) 2019-01-10 18:28:28 -05:00
Peter Hoeg 8336ccaa44 omping: init at 0.0.5 2019-01-11 01:01:54 +02:00
Christoph Neidahl 26f7df6b6a obs-studio: add new optional dependencies 
This commit adds a new set of optional dependencies introduced with version 21.0 of OBS to allow Lua and Python 3 scripts to be run.

If this batch of new dependencies is not desired by the user, then they may set `scriptingSupport` to false to disable it.
 2019-01-10 22:58:20 +01:00
Timo Kaufmann 0d028c3bee
neovim-qt: add desktop file to wrapper (#53777) 
My recent change in #53447 caused neovim-qt to no longer be recognized
as a desktop application.
 2019-01-10 22:18:04 +01:00
markuskowa b70a4b2b98
Merge pull request #53478 from bgamari/bump-ngspice 
ngspice: 29 -> 30
 2019-01-10 20:17:54 +01:00
Robert Schütz 28ba2d3379 qmediathekview: 2017-04-16 -> 2019-01-06 2019-01-10 18:20:37 +01:00
Robert Schütz 3f3fe76fec
Merge pull request #53761 from dotlambda/aiohttp-3.5.2 
python3.pkgs.aiohttp: 3.4.4 -> 3.5.2
 2019-01-10 18:02:28 +01:00
adisbladis 2ac775a084
emacsPackagesNg.forge: Add git as build input 2019-01-10 16:16:38 +00:00
Robert Schütz e56f76f81b gns3-server: improve expression 2019-01-10 17:05:21 +01:00
R. RyanTM c703e835b2 claws-mail: 3.17.2 -> 3.17.3 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/claws-mail/versions
 2019-01-10 15:41:30 +00:00
agentpt5 2f1e8d40cf flexget: add transmissionrpc as dependency (#53735) 
Add transmissionrpc as dependency to flexget, in order to communicate with Transmission networking client.
 2019-01-10 15:54:39 +01:00
markuskowa 62033a2209
Merge pull request #53510 from r-ryantm/auto-update/transmission-remote-gtk 
transmission-remote-gtk: 1.4.0 -> 1.4.1
 2019-01-10 13:43:24 +01:00
adisbladis 3b67c43e95
firefox-beta-bin: 65.0b3 -> 65.0b9 2019-01-10 12:26:36 +00:00
adisbladis 7222470711
firefox-devedition-bin: 65.0b3 -> 65.0b9 2019-01-10 12:26:30 +00:00
adisbladis 8a59662205
Merge pull request #53331 from adisbladis/emacs-packages-2019-01-03 
Emacs packages update
 2019-01-10 12:25:55 +00:00
Michael Raskin 87fb354cee
Merge pull request #53745 from taku0/firefox-bin-64.0.2 
firefox, firefox-bin: 64.0 -> 64.0.2
 2019-01-10 12:08:16 +00:00
Vladimír Čunát 287144e342
Merge branch 'master' into staging-next 2019-01-10 13:07:21 +01:00
adisbladis 676de9dd5f
melpa-stable-packages: 2019-01-03 2019-01-10 11:29:08 +00:00
adisbladis 83f611288a
org-packages: 2019-01-03 2019-01-10 11:29:06 +00:00
adisbladis f3b18da42d
melpa-packages: 2019-01-03 2019-01-10 11:29:05 +00:00
adisbladis 4c27eceff8
elpa-packages: 2019-01-03 2019-01-10 11:29:02 +00:00
taku0 08f779a9c3 firefox: 64.0 -> 64.0.2 2019-01-10 20:16:21 +09:00
taku0 244f1ce1a7 firefox-bin: 64.0 -> 64.0.2 2019-01-10 20:04:21 +09:00
taku0 a019087ef4 flashplayer-standalone: mark broken 2019-01-10 19:49:22 +09:00
zimbatm c9c1e88dbb
nomad: 0.7.1 -> 0.8.6 2019-01-10 11:35:02 +01:00
Alexander Krupenkin 18387c4be2
parity: 2.1.10 -> 2.1.11 2019-01-10 11:40:47 +03:00
Alexander Krupenkin c6b162bfd0
parity-beta: 2.2.5 -> 2.2.6 2019-01-10 11:40:00 +03:00
Franz Pletz bf5f85ea2e
rambox: update node deps hash 2019-01-10 05:51:02 +01:00
Silvan Mosberger 0b96dc8740
Merge pull request #52992 from azazel75/anydesk_401 
Upgrade Anydesk package to version 4.0.1
 2019-01-10 04:04:17 +01:00
wedens 8786617f8f dropbox-cli: 2015.10.28 -> 2018.11.28 2019-01-09 18:41:01 -05:00
Roman Volosatovs 87f798edc6 kitty: Adapt fix-paths.patch to source changes 2019-01-09 18:26:36 -05:00
Roman Volosatovs 81f3a3e7c6 kitty: 0.13.1 -> 0.13.2 2019-01-09 18:26:36 -05:00
Tor Hedin Brønner ccca2e5e4b
Merge pull request #53656 from dtzWill/update/xterm-342 
xterm: 341 -> 342
 2019-01-09 23:38:16 +01:00
Andreas Rammhold 590f267c5b
gitAndTools.grv: 0.3.0 -> 0.3.1 2019-01-09 22:16:22 +01:00
gnidorah bce5c13a8f bitwig-studio2: 2.3.5 -> 2.4.3 2019-01-09 21:10:24 +03:00
gnidorah c680c57a84 bitwig-studio: switch to autoPatchelfHook 2019-01-09 21:10:21 +03:00
Alberto Berti 80cac27461 anydesk: 2.9.4 -> 4.0.1 2019-01-09 14:45:29 +01:00
Jörg Thalheim f0f7531d78
Merge pull request #51412 from Synthetica9/konsole-keyboard-fix 
konsole: fix arrow keys
 2019-01-09 12:11:32 +00:00
Michael Raskin 9d3c5a21d7
Merge pull request #53578 from pbogdan/rxvt-build 
rxvt_unicode: fix build
 2019-01-09 10:44:48 +00:00
Jörg Thalheim fdb87a0fee
rambox: downgrade electron to 3.x 2019-01-09 07:24:18 +00:00
Will Dietz b28752f255 mercurial: 4.8.1 -> 4.8.2 
https://www.mercurial-scm.org/wiki/WhatsNew#Mercurial_4.8.2_.282018-01-07.29
 2019-01-08 21:33:44 -06:00
Austin Seipp c10650760d yices: s/fetchurl/fetchFromGitHub/ 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2019-01-08 19:15:24 -06:00
Austin Seipp 38aa0a3df4 z3: 4.8.3 -> 4.8.4 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2019-01-08 19:15:24 -06:00