Michael Weiss
754aa035f6
androidStudioPackages.{dev,canary}: 3.4.0.2 -> 3.4.0.3
2018-11-16 11:45:16 +01:00
Jörg Thalheim
56a0533128
valauncher: remove
...
I no longer use/maintain this software.
see: https://github.com/Mic92/valauncher
2018-11-16 00:36:33 +00:00
Jörg Thalheim
e024989531
Merge pull request #50433 from eadwu/jetbrains/20181115
...
jetbrains: 20181115
2018-11-15 23:48:44 +00:00
Franz Pletz
31bd0df53d
weechatScripts.wee-slack: 2.1.1 => 2.2.0
2018-11-16 00:45:07 +01:00
Jörg Thalheim
ad71688bfa
Merge pull request #50430 from eadwu/vscode/1.29.0
...
vscode: 1.28.2 -> 1.29.0
2018-11-15 22:24:09 +00:00
Edmund Wu
07839a571b
jetbrains.webstorm: 2018.2.5 -> 2018.2.6
2018-11-15 17:20:38 -05:00
Edmund Wu
19fa47c150
jetbrains.pycharm-professional: 2018.2.4 -> 2018.2.5
2018-11-15 17:20:24 -05:00
Edmund Wu
1a2a2aba02
jetbrains.pycharm-community: 2018.2.4 -> 2018.2.5
2018-11-15 17:19:53 -05:00
Edmund Wu
b48f467e1b
jetbrains.idea-ultimate: 2018.2.5 -> 2018.2.6
2018-11-15 17:19:30 -05:00
Edmund Wu
c2bbfa56ed
jetbrains.idea-community: 2018.2.5 -> 2018.2.6
2018-11-15 17:18:58 -05:00
Edmund Wu
2787e2c75e
jetbrains.goland: 2018.2.3 -> 2018.2.4
2018-11-15 17:18:27 -05:00
Edmund Wu
4d20e9999b
jetbrains.datagrip: 2018.2.4 -> 2018.2.5
2018-11-15 17:18:03 -05:00
Edmund Wu
9d1b22a909
jetbrains.clion: 2018.2.5 -> 2018.2.6
2018-11-15 17:17:37 -05:00
Edmund Wu
a23e3b0505
vscode: 1.28.2 -> 1.29.0
2018-11-15 16:41:06 -05:00
Jörg Thalheim
218f12db70
Merge pull request #50324 from asymmetric/solc
...
solc: 0.4.25 -> 0.5.0
2018-11-15 21:26:32 +00:00
Jörg Thalheim
abb0c81190
z3: restrict to x86_64
...
it uses x86-only header:
include <immintrin.h>
^~~~~~~~~~~~~
compilation terminated.
src/sat/sat_probing.cpp
make: *** [Makefile:182: util/mpz.o] Error 1
make: *** Waiting for unfinished jobs....
src/sat/sat_parallel.cpp
builder for '/nix/store/vd2wkhic8g77izxv659ackh6hcaamic3-z3-4.8.1.drv' failed with exit code 2
cannot build derivation '/nix/store/h5imnjsf31c45l558gw66vyzb0ickc1m-solc-0.5.0.drv': 1 dependencies couldn't be built
error: build of '/nix/store/h5imnjsf31c45l558gw66vyzb0ickc1m-solc-0.5.0.drv' failed
2018-11-15 21:25:53 +00:00
Jörg Thalheim
3516b2dad2
Merge pull request #37658 from pbogdan/gnumake3-remove
...
gnumake3: remove
2018-11-15 21:12:52 +00:00
Jörg Thalheim
38e91173e1
Merge pull request #50414 from jfrankenau/update-reaper
...
reaper: 5.94 -> 5.961
2018-11-15 20:48:35 +00:00
Jörg Thalheim
e317f9f951
Merge pull request #50413 from jfrankenau/update-valentina
...
valentina: 0.6.0.0a -> 0.6.1
2018-11-15 19:58:37 +00:00
Piotr Bogdan
5d0eeeee38
coq2html: switch to default make
2018-11-15 17:41:25 +00:00
Johannes Frankenau
29a0a6c6a7
reaper: 5.94 -> 5.961
2018-11-15 18:16:45 +01:00
Johannes Frankenau
30f3d474d1
valentina: 0.6.0.0a -> 0.6.1
2018-11-15 18:12:55 +01:00
Jörg Thalheim
fb7abdaea1
rambox: 0.6.1 -> 0.6.2
2018-11-15 16:21:46 +00:00
Gabriel Ebner
b1c149d47a
tptp: use urls instead of url
...
nix-prefetch-url breaks if the url argument to fetchurl is a list.
2018-11-15 15:56:18 +01:00
Gabriel Ebner
b3844d00f6
tptp: 7.1.0 -> 7.2.0
2018-11-15 15:50:48 +01:00
Jörg Thalheim
16ba91891d
Merge pull request #50396 from taku0/flashplayer-31.0.0.148
...
flashplayer: 31.0.0.122 -> 31.0.0.148 [Important security fix]
2018-11-15 14:19:43 +00:00
Oyren
04b234e995
write_stylus: fix loading libGL.so with libglvnd ( #50395 )
...
./Write: error while loading shared libraries: libGL.so.1: cannot open shared object file: No such file or directory
2018-11-15 13:55:05 +00:00
Renaud
650036f022
Merge pull request #50359 from jfrankenau/gurobi-java
...
gurobi: install Java library files
2018-11-15 14:13:47 +01:00
Michael Weiss
a6167c3311
signal-desktop: 1.17.3 -> 1.18.0
2018-11-15 13:55:25 +01:00
Wael M. Nasreddine
da4a004193
neovim wrapper: add withNodeJs to build wrapper with nodejs support
2018-11-14 19:54:47 -08:00
Andreas Rammhold
34665b1589
Merge pull request #50349 from andir/rust-cbindgen
...
rust-cbindgen: 0.6.3 -> 0.6.7
2018-11-14 23:02:16 +01:00
Vladyslav M
d70cb8894a
Merge pull request #50358 from dtzWill/update/termite-14
...
termite: 13 -> 14
2018-11-14 22:59:48 +02:00
Silvan Mosberger
688ed6b82d
Merge pull request #49947 from volth/patch-284
...
far2l: fix Darwin bug
2018-11-14 21:17:45 +01:00
Andreas Rammhold
66e16843b3
firefox: apply patch for newer rust-cbindgen
...
rust-cbindgen did apply some breaking changes which requires the added
patch in order to compile until a firefox version with the fix gets
released. Firefox 63.0.3 is supposed to carry the required patches. This
should only be required for a short term.
2018-11-14 20:51:19 +01:00
Johannes Frankenau
b4e13e6257
gurobi: install Java library files
2018-11-14 19:38:18 +01:00
Will Dietz
75f2b4692f
termite: 13 -> 14
...
https://github.com/thestinger/termite/releases/tag/v14
2018-11-14 12:34:17 -06:00
Jörg Thalheim
081f17f0d0
Merge pull request #50339 from peterhoeg/u/motion
...
motion: 4.1.1 -> 4.2
2018-11-14 17:53:50 +00:00
Jörg Thalheim
987bd62232
Merge pull request #50232 from wucke13/master
...
qgroundcontrol: fixes #49870
2018-11-14 17:10:05 +00:00
Jörg Thalheim
4c3e9a7d06
Merge pull request #50354 from pbogdan/miro-remove
...
miro: remove
2018-11-14 17:09:10 +00:00
Piotr Bogdan
b8d0810e98
miro: remove
2018-11-14 15:59:18 +00:00
Renaud
7ca9d67948
Merge pull request #50102 from r-ryantm/auto-update/gp2c
...
gp2c: 0.0.11 -> 0.0.11pl1
2018-11-14 16:07:49 +01:00
Timo Kaufmann
e3592a0abe
Merge pull request #50350 from kwohlfahrt/houdini
...
houdini: 16.5.439 -> 17.0.352
2018-11-14 15:42:43 +01:00
Kai Wohlfahrt
5732500bd2
houdini: 16.5.634 -> 17.0.352
2018-11-14 14:27:30 +00:00
wucke13
c26b42be74
qgroundcontrol: fixes #49870
...
The `.desktop` referenced a non existent script to run `QGroundControl`. This commits adds a `sed` command, which replaces the non existent script by the name of the `QGroundControl` binary in the relevant `.desktop` file.
2018-11-14 13:12:20 +01:00
markuskowa
f597a88542
Merge pull request #50101 from r-ryantm/auto-update/gmsh
...
gmsh: 4.0.2 -> 4.0.4
2018-11-14 12:46:48 +01:00
Kai Wohlfahrt
8f08a28b6c
houdini: 16.5.439 -> 16.5.634
2018-11-14 11:41:06 +00:00
Markus Kowalewski
644ab709e7
gmsh: restrict platform to x86_64-linux
2018-11-14 12:33:37 +01:00
Michael Weiss
4822b084ae
androidStudioPackages.beta: 3.3.0.15 -> 3.3.0.16
2018-11-14 12:16:29 +01:00
Markus Kowalewski
ced40eabfd
gmsh: use openblas instead of atlas/lapack
...
* openblas is properly recognized by cmake
* the cmake patch is no longer neccessary
2018-11-14 11:41:46 +01:00
Renaud
cde945a165
Merge pull request #48044 from schneefux/pkg/fetchfromgithub
...
treewide: Use fetchFromGitHub instead of fetchurl
2018-11-14 09:48:22 +01:00