3
0
Fork 0
forked from mirrors/nixpkgs
Commit graph

26374 commits

Author SHA1 Message Date
Will Dietz 67986382e4
Merge pull request #43071 from dtzWill/fix/vampire-portability
vampire: portability fixes
2018-07-05 11:13:42 -05:00
Gabriel Ebner bec83a2b9e cvc4: 1.5 -> 1.6 2018-07-05 17:57:06 +02:00
Will Dietz 7353d8396d vampire: enable parallel building 2018-07-05 10:13:40 -05:00
Will Dietz 600abbedc9 vampire: portability fixes
These have been submitted upstream,
but seconds before writing this message
so naturally no upstream response "yet" :).

Regardless of response, fetch patches
from the corresponding PR's for context
and of course hopefully they'll
be included in next version.
2018-07-05 10:13:32 -05:00
Will Dietz 8e6db30bb7 vampire: use CC/CXX from env, instead of always g++ 2018-07-05 10:11:32 -05:00
adisbladis 052c5a98dd
Merge pull request #43066 from adisbladis/gimp-2_10_4
gimp: 2.10.2 -> 2.10.4
2018-07-05 22:08:31 +08:00
Tim Steinbach 0a218b959e
hipchat: 4.30.4.1672 -> 4.30.5.1676 2018-07-05 08:33:56 -04:00
adisbladis e9dd449683
gimp: 2.10.2 -> 2.10.4 2018-07-05 19:18:24 +08:00
xeji e8765ff8a8
Merge pull request #43044 from oyren/write_stylus
write_stylus: init at 209
2018-07-05 12:39:11 +02:00
Gabriel Ebner 887b6fd793 qalculate-gtk: 2.5.0 -> 2.6.0 2018-07-05 12:33:27 +02:00
Gabriel Ebner 7c63a9cac2 eprover: 2.0 -> 2.1 2018-07-05 12:26:43 +02:00
keks 08f1528eda fix package name (#43051) 2018-07-05 12:20:27 +02:00
Gabriel Ebner 57ae4e8d8e vampire: init at 4.2.2 2018-07-05 09:34:28 +02:00
R. RyanTM d2b6be544b graphicsmagick: 1.3.29 -> 1.3.30 (#42704)
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.

This update was made based on information from https://repology.org/metapackage/graphicsmagick/versions.

These checks were done:

- built on NixOS
- /nix/store/kws698xdnjfrl70gi5gvp4f90i00w35p-graphicsmagick-1.3.30/bin/gm passed the binary check.
- /nix/store/kws698xdnjfrl70gi5gvp4f90i00w35p-graphicsmagick-1.3.30/bin/GraphicsMagick++-config passed the binary check.
- /nix/store/kws698xdnjfrl70gi5gvp4f90i00w35p-graphicsmagick-1.3.30/bin/GraphicsMagick-config passed the binary check.
- /nix/store/kws698xdnjfrl70gi5gvp4f90i00w35p-graphicsmagick-1.3.30/bin/GraphicsMagickWand-config passed the binary check.
- 4 of 4 passed binary check by having a zero exit code.
- 3 of 4 passed binary check by having the new version present in output.
- found 1.3.30 with grep in /nix/store/kws698xdnjfrl70gi5gvp4f90i00w35p-graphicsmagick-1.3.30
- directory tree listing: https://gist.github.com/e51d94d9d1da3d8ccfb7359a7d6e7655
- du listing: https://gist.github.com/e1a40fb5a980660ff689d25e98d20d18
2018-07-05 09:31:36 +02:00
xeji dfd30c6943
Merge pull request #42769 from Synthetica9/atom-fix-42730
atom, atom-beta: fixed #42730
2018-07-05 08:41:16 +02:00
Orivej Desh a4aca0e6ba rednotebook: fix build
It was failing because $GI_TYPELIB_PATH was undefined.
2018-07-04 23:28:34 +00:00
aszlig 7a19228215
mpv: Fix X11 support by adding libXrandr
This is a follow-up to 6b404b944a, which
fixed the build after SDL no longer leaks through X libraries.

However the commit didn't actually pass all the required dependencies to
mpv, because the configure phase of mpv still disabled X support:

  Checking for X11
  err: Package xrandr was not found in the pkg-config search path.
  Perhaps you should add the directory containing `xrandr.pc'
  to the PKG_CONFIG_PATH environment variable
  No package 'xrandr' found

So by adding libXrandr, we finally have support for X again.

Trivia: While I'm usually very pesky about line lengths this is one of
the very rare occasions where I didn't break the lines after 79
characters because it would have messed up the overall style of the
file.

Signed-off-by: aszlig <aszlig@nix.build>
Cc: @AndersonTorres, @fuuzetsu, @fpletz, @orivej
2018-07-05 00:44:26 +02:00
R. RyanTM 5a859d9b10 stellarium: 0.18.0 -> 0.18.1 (#42949)
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.

This update was made based on information from https://repology.org/metapackage/stellarium/versions.

These checks were done:

- built on NixOS
- Warning: no invocation of /nix/store/2c607ylvxs69nbr99ly1bgcb0bbk47xf-stellarium-0.18.1/bin/stellarium had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/2c607ylvxs69nbr99ly1bgcb0bbk47xf-stellarium-0.18.1/bin/.stellarium-wrapped had a zero exit code or showed the expected version
- 0 of 2 passed binary check by having a zero exit code.
- 0 of 2 passed binary check by having the new version present in output.
- found 0.18.1 with grep in /nix/store/2c607ylvxs69nbr99ly1bgcb0bbk47xf-stellarium-0.18.1
- directory tree listing: https://gist.github.com/dd98359fb1214ae24bd70e291c1bc33d
- du listing: https://gist.github.com/67baedda5ffc1ad0aa064239cb503c2b
2018-07-05 00:24:22 +02:00
volth ed5a676c7a xrdp: 0.9.5 -> 0.9.7 (#43041) 2018-07-05 00:15:47 +02:00
Michael Raskin 04bd737062
Merge pull request #43026 from r-ryantm/auto-update/clingo
clingo: 5.2.2 -> 5.3.0
2018-07-04 21:01:39 +00:00
oyren 4f84814208 write_stylus: init at 209 2018-07-04 22:15:32 +02:00
Pascal Wittmann 2fa3fa023f
fbida: 2.13 -> 2.14 2018-07-04 21:49:22 +02:00
R. RyanTM a431e4f207 clingo: 5.2.2 -> 5.3.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/clingo/versions.

Version release notes (from GitHub):
# Packages

- The easiest way to obtain Python enabled clingo packages is using [Anaconda][ana]. Packages are available in the [Potassco channel][pch]. First [install either Anaconda or Miniconda][ins] and then run: `conda install -c potassco clingo`.
- Packages for clingo are available in the Linux distributions [Debian][deb], [Ubuntu][ubu], and [Arch Linux (AUR)][aur].
- For Mac OS X, clingo packages are available in [homebrew][hbr] and [macports][mac].

# Changes

* change C API to use numeric instead of symbolic literals
  * affects assumptions and assigning/releasing externals (breaks backward compatibility)
  * added overloads to C++, python and lua API to support both numeric and symbolic version (preserves backward compatibility for most code)
* the python, C and C++ APIs now allow for customizing clingo by implementing a custom main function but reusing the rest of the application including the standard output
* add API function to detect conflicting programs
* add message logger to python and lua interface
* add support for primes in the beginning of identifiers and variable names
* add per solver registration of watches during propagator initialization
* add a directive to selectivel suppress undefined atom warnings
* add support for user defined statistics
* add _to_c functions for python API to be able to call C functions from python
* only create ground representations for requested program parts when grounding (#71)
* improve program observer (#19)
* support for binary, octal, and hexadecimal numbers (#65)
* the backend has to be opened/closed now
* release python's GIL while grounding (#82)
* TruthValue.{True,False} becomes TruthValue.{\_True,\_False} in python API
* improve API and it's documentation

[deb]: https://www.debian.org/
[ubu]: https://www.ubuntu.com/
[aur]: https://aur.archlinux.org/
[hbr]: https://brew.sh/
[mac]: https://www.macports.org/
[ana]: https://conda.io
[pch]: https://anaconda.org/potassco/clingo
[ins]: https://conda.io/docs/user-guide/install/index.html

These checks were done:

- built on NixOS
- /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/bin/lpconvert passed the binary check.
- /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/bin/clasp passed the binary check.
- /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/bin/reify passed the binary check.
- /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/bin/gringo passed the binary check.
- /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/bin/clingo passed the binary check.
- 5 of 5 passed binary check by having a zero exit code.
- 0 of 5 passed binary check by having the new version present in output.
- found 5.3.0 with grep in /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0
- directory tree listing: https://gist.github.com/bba2eaf1d132fbdd88a2710a6030c419
- du listing: https://gist.github.com/230340bfa02557290a60cfc6d2e7e977
2018-07-04 11:23:33 -07:00
Mateusz Kowalczyk 62c2e0e66f
Merge pull request #42946 from r-ryantm/auto-update/snd
snd: 18.4 -> 18.5
2018-07-05 01:11:05 +09:00
Silvan Mosberger 0e5f5125d4
Merge pull request #43010 from roberth/update-p4v-sha256
p4v: update sha256
2018-07-04 16:11:14 +02:00
adisbladis 33b1b12cd8
firefox-beta-bin: 62.0b4 -> 62.0b5 2018-07-04 22:07:53 +08:00
adisbladis 161e1aca70
firefox-devedition-bin: 62.0b4 -> 62.0b5 2018-07-04 22:07:41 +08:00
Silvan Mosberger fac943fc81
Merge pull request #42897 from fragamus/master
add bliss package
2018-07-04 13:59:41 +02:00
Michael Gough e3ea685957 bliss: init at 0.73 2018-07-04 11:33:10 +00:00
R. RyanTM 4395124b0c rtv: 1.22.1 -> 1.23.0 (#42960)
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.

This update was made based on information from https://repology.org/metapackage/rtv/versions.

These checks were done:

- built on NixOS
- /nix/store/dwraqsqfsm0m4qvl5wlqhmnb54wpxwkc-rtv-1.23.0/bin/.rtv-wrapped passed the binary check.
- /nix/store/dwraqsqfsm0m4qvl5wlqhmnb54wpxwkc-rtv-1.23.0/bin/rtv passed the binary check.
- 2 of 2 passed binary check by having a zero exit code.
- 2 of 2 passed binary check by having the new version present in output.
- found 1.23.0 with grep in /nix/store/dwraqsqfsm0m4qvl5wlqhmnb54wpxwkc-rtv-1.23.0
- directory tree listing: https://gist.github.com/8c64789a90d08be3073dbc8eac48d879
- du listing: https://gist.github.com/f267d185b2f0ddae8c300012c670bc9e
2018-07-04 10:44:47 +02:00
R. RyanTM 14ccede479 feh: 2.26.4 -> 2.27 (#43007)
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.

This update was made based on information from https://repology.org/metapackage/feh/versions.

These checks were done:

- built on NixOS
- /nix/store/nwnygmha0i26zszsz6vjk4f4kyjx7qxq-feh-2.27/bin/feh passed the binary check.
- /nix/store/nwnygmha0i26zszsz6vjk4f4kyjx7qxq-feh-2.27/bin/.feh-wrapped passed the binary check.
- 2 of 2 passed binary check by having a zero exit code.
- 0 of 2 passed binary check by having the new version present in output.
- found 2.27 with grep in /nix/store/nwnygmha0i26zszsz6vjk4f4kyjx7qxq-feh-2.27
- directory tree listing: https://gist.github.com/e18bcf94ab62852f0967389e4d102bd7
- du listing: https://gist.github.com/c252a1ef6aa364f8139ab9a63911130a
2018-07-04 10:42:09 +02:00
Robert Hensing 02ee6b85fe p4v: update sha256 2018-07-04 10:21:45 +02:00
Will Dietz 0b7d6bb04f vim: v8.1.0001 -> v8.1.0146 2018-07-03 19:31:05 -05:00
R. RyanTM 9dbd577872 snd: 18.4 -> 18.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/snd/versions.

These checks were done:

- built on NixOS
- /nix/store/yv1d12mfh384087sd9yql3nhj71720lz-snd-18.5/bin/snd passed the binary check.
- 1 of 1 passed binary check by having a zero exit code.
- 0 of 1 passed binary check by having the new version present in output.
- found 18.5 with grep in /nix/store/yv1d12mfh384087sd9yql3nhj71720lz-snd-18.5
- directory tree listing: https://gist.github.com/3cc3f3b2285827a7f116fa28ff12baf7
- du listing: https://gist.github.com/e3639f9f1b7a1e5977ce81065436be06
2018-07-03 14:19:18 -07:00
worldofpeace 957744f822 wire-desktop: 3.0.2816 -> 3.2.2840 2018-07-03 16:28:41 -04:00
Michael Weiss d12e7b8d17 androidStudioPackages.{dev,canary}: 3.3.0.0 -> 3.3.0.1 2018-07-03 21:28:15 +02:00
Michael Weiss a22d2a018d quiterss: 0.18.11 -> 0.18.12 2018-07-03 21:10:33 +02:00
Gabriel Ebner ebf4cfb272 khard: fix build
Copied the fix from #42782
2018-07-03 17:08:47 +02:00
Orivej Desh 4181081643 digitalbitbox: fix build after #41902
This package depends on qtmultimedia which depends on libpulse whose libtool
files add `-lcap` to the linker command line. These libtool files should be
stripped with pruneLibtoolFiles, and then libcap dependency can be removed.
2018-07-03 14:37:22 +00:00
Silvan Mosberger 08895c66c4
Merge pull request #42859 from scolobb/icicles-bump
icicles: 2018-04-16 -> 2018-07-02
2018-07-03 15:33:05 +02:00
Tim Steinbach e08b53df15
minikube: 0.27.0 -> 0.28.0 2018-07-03 09:18:01 -04:00
Jörg Thalheim ad836e1b13
Merge pull request #42890 from sorki/ipmicfg_3
ipmicfg: 1.27.1 -> 1.28
2018-07-03 13:42:50 +01:00
Orivej Desh 6b404b944a mpv: fix build with wayland after #41902 2018-07-03 12:32:41 +00:00
Ambroz Bizjak 3d662b5d0b vscode: 1.24.0 -> 1.24.1 2018-07-03 12:27:58 +02:00
Gabriel Ebner 7138bc0eab
Merge pull request #42841 from gebner/heif
HEIF support
2018-07-03 09:28:25 +02:00
Joachim F 2a37894e3e
Merge pull request #42856 from oxij/pkg/update-tb
tor-browser: 52.8.1esr-7.5-1 -> 52.9.0esr-7.5-2
2018-07-02 23:47:44 +00:00
Richard Marko d7344120e0 ipmicfg: 1.27.1 -> 1.28 2018-07-03 00:09:38 +02:00
Silvan Mosberger 5b4becadf4 zotero: fix (#42881) 2018-07-02 23:51:39 +02:00
adisbladis 215db45f62
firefox-beta-bin: 62.0b3 -> 62.0b4 2018-07-03 00:06:53 +08:00
adisbladis 8b48b33e24
firefox-devedition-bin: 62.0b3 -> 62.0b4 2018-07-03 00:06:52 +08:00