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
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
Herwig Hochleitner
4b5ffcb964
chromium: 70.0.3538.77 -> 70.0.3538.102
2018-11-14 02:51:13 +01:00
Matthew Bauer
2e18ba6c5a
Merge pull request #49776 from matthewbauer/atlas-remove
...
atlas: remove
2018-11-13 19:18:35 -06:00
Jörg Thalheim
535dbb8a59
Merge pull request #50332 from markuskowa/upd-wellio
...
welle-io: 1.0-rc2 -> 1.0
2018-11-13 22:59:18 +00:00
Markus Kowalewski
705f87d616
welle-io: 1.0-rc2 -> 1.0
2018-11-13 23:26:42 +01:00
Jörg Thalheim
0249f7d48a
Merge pull request #50326 from dywedir/alacritty
...
alacritty: 0.2.1 -> 0.2.3
2018-11-13 21:30:22 +00:00
Tobias Happ
159b3f2a0d
teamspeak_server: 3.4.0 -> 3.5.0
2018-11-13 21:59:20 +01:00
Vladyslav Mykhailichenko
0a1bb6d00f
alacritty: 0.2.1 -> 0.2.3
2018-11-13 22:54:56 +02:00
markuskowa
2823b5e698
Merge pull request #46667 from costrouc/costrouc/lammps-update
...
lammps: update, hoomd-blue, dl_poly: init
2018-11-13 21:00:02 +01:00
Markus J. Ankenbrand
bf05da0967
hmmer: 3.1b2 -> 3.2.1 ( #50284 )
...
This version was released in June 2018 and has many bug fixes
and improvements compared to the previous version from 2015.
See: https://cryptogenomicon.org/2018/06/07/hmmer-3-2-release/
2018-11-13 15:43:44 +01:00