Commit graph

29288 commits

Author SHA1 Message Date
Ben Darwin
cb6d819b93 niftyseg: init at 1.0.0 2018-11-16 12:29:29 -05:00
Ben Darwin
6aa3deeb50 niftyreg: init at 1.3.9 2018-11-16 12:24:53 -05:00
Jörg Thalheim
218f12db70
Merge pull request 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 from pbogdan/gnumake3-remove
gnumake3: remove
2018-11-15 21:12:52 +00:00
Jörg Thalheim
38e91173e1
Merge pull request from jfrankenau/update-reaper
reaper: 5.94 -> 5.961
2018-11-15 20:48:35 +00:00
Jörg Thalheim
e317f9f951
Merge pull request 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 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 ()
./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 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 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 from dtzWill/update/termite-14
termite: 13 -> 14
2018-11-14 22:59:48 +02:00
Silvan Mosberger
688ed6b82d
Merge pull request 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 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 from wucke13/master
qgroundcontrol: fixes 
2018-11-14 17:10:05 +00:00
Jörg Thalheim
4c3e9a7d06
Merge pull request 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 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 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
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 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 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 from matthewbauer/atlas-remove
atlas: remove
2018-11-13 19:18:35 -06:00
Jörg Thalheim
535dbb8a59
Merge pull request 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 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 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 ()
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 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 from c0bw3b/pkg/notepadqq
notepadqq: 1.2.0 -> 1.4.8
2018-11-13 11:47:39 +01:00