Piotr Bogdan
5d0eeeee38
coq2html: switch to default make
2018-11-15 17:41:25 +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
Renaud
56f508833a
Merge pull request #50226 from danieldk/handbrake-1.1.2
...
handbrake: 1.1.0 -> 1.1.2
2018-11-13 15:38:22 +01:00
taku0
4c2d254a7f
flashplayer: 31.0.0.122 -> 31.0.0.148
2018-11-13 21:13:48 +09:00
Sarah Brofeldt
cb95a3c1d1
Merge pull request #50250 from c0bw3b/pkg/notepadqq
...
notepadqq: 1.2.0 -> 1.4.8
2018-11-13 11:47:39 +01:00
Jörg Thalheim
1499b7c4e5
Merge pull request #49613 from vdemeester/bump-openshift
...
openshift: 3.10 -> 3.11
2018-11-12 23:53:30 +00:00
Samuel Dionne-Riel
c99cb8fe83
Merge pull request #47197 from tg-x/ltc-tools-0.6.4
...
ltc-tools: init at 0.6.4
2018-11-12 23:39:12 +00:00
Samuel Dionne-Riel
8e2a9dae82
Merge pull request #47987 from erictapen/scribus-unstable
...
scribusUnstable: init at 2018-10-13
2018-11-12 23:29:53 +00:00
Vincent Demeester
37b50c08eb
openshift: use go instead of go_1_10
...
Signed-off-by: Vincent Demeester <vincent@sbr.pm>
2018-11-12 18:17:33 +01:00
Vincent Demeester
1ccea556a1
openshift: 3.10 -> 3.11
...
Using go 1.10 instead of 1.9
Signed-off-by: Vincent Demeester <vincent@sbr.pm>
2018-11-12 18:16:57 +01:00
Antoine Eiche
28e08aa254
gremlin-console: init at 3.3.4
2018-11-12 18:12:20 +01:00
Peter Simons
22a802584f
Merge pull request #50179 from Thra11/r-without-jdk
...
R: Remove jdk dependency on aarch32/64
2018-11-12 12:42:39 +01:00
Sarah Brofeldt
7cedee3c79
Merge pull request #50261 from lsix/nano_3_2
...
nano: 3.1 -> 3.2
2018-11-12 11:49:51 +01:00
Robert Schütz
b9494ac352
Merge pull request #50166 from dotlambda/home-assistant-0.82
...
home-assistant: 0.81.5 -> 0.82.0
2018-11-12 11:37:06 +01:00
Jörg Thalheim
92c478babd
Merge pull request #50176 from Mic92/docker-componse
...
docker-compose: rename from docker_compose, python3 by default
2018-11-12 10:14:53 +00:00