Andy Chun
|
6d8953ba08
|
polar-bookshelf: 1.0.11 -> 1.0.13 (#50238)
* polar-bookshelf: 1.0.11 -> 1.0.13
* polar-bookshelf: fix desktop file
|
2018-11-17 11:01:33 +01:00 |
|
Jörg Thalheim
|
5f7208ad99
|
Merge pull request #50485 from rnhmjoj/monero
monero-gui: 0.13.0.3 -> 0.13.0.4
|
2018-11-17 09:56:21 +00:00 |
|
Franz Pletz
|
617132eba7
|
Merge pull request #50477 from mayflower/minishift-openshift
minishift: add openshift input
|
2018-11-17 07:33:15 +00:00 |
|
Jörg Thalheim
|
d10c66c8ca
|
Merge pull request #50319 from fuwa0529/update-monero
monero: 0.13.0.3 -> 0.13.0.4
|
2018-11-17 01:23:08 +00:00 |
|
Jörg Thalheim
|
b8bb8638f3
|
Merge pull request #50003 from Mic92/node-10
nodePackages: 8_x -> 10_x
|
2018-11-17 00:12:52 +00:00 |
|
rnhmjoj
|
88a86f78a3
|
monero-gui: 0.13.0.3 -> 0.13.0.4
|
2018-11-17 01:07:08 +01:00 |
|
Patrick Hilhorst
|
874b017564
|
vscode: 1.29.0 -> 1.29.1 (#50462)
|
2018-11-17 00:22:43 +01:00 |
|
Franz Pletz
|
264346bd8c
|
minishift: 1.25.0 -> 1.27.0
|
2018-11-16 23:32:06 +01:00 |
|
Christian Albrecht
|
08c3c0094a
|
minishift: add openshift input
minishift depdends on oc to control the openshift installation.
|
2018-11-16 23:18:51 +01:00 |
|
Jörg Thalheim
|
131f2e93b6
|
sage: unpin nodePackage version
|
2018-11-16 21:24:25 +00:00 |
|
Linus Heckemann
|
d1eb06cb18
|
Merge pull request #50434 from bcdarwin/nifty_reg
niftyreg: init at 1.3.9; niftyseg: init at 1.0.0
|
2018-11-16 20:13:12 +01:00 |
|
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
|
feda77de9e
|
Merge pull request #50457 from romildo/upd.vivaldi
vivaldi: 2.1.1337.36-1 -> 2.1.1337.47-1
|
2018-11-16 15:45:24 +00:00 |
|
Jörg Thalheim
|
fe191176cf
|
Merge pull request #50454 from taku0/thunderbird-bin-60.3.1
thunderbird, thunderbird-bin: 60.3.0 -> 60.3.1
|
2018-11-16 15:26:36 +00:00 |
|
Andreas Rammhold
|
b4f2c7ba8b
|
Merge pull request #50373 from pbogdan/ff-no-gs
firefoxen: remove unused gstreamer dependencies
|
2018-11-16 16:25:23 +01:00 |
|
Renaud
|
4d402da500
|
Merge pull request #50404 from bts/fix-nixnote2-post-install
nixnote2: fix window icon and themes
|
2018-11-16 16:21:49 +01:00 |
|
José Romildo Malaquias
|
b14d1167c9
|
vivaldi: 2.1.1337.36-1 -> 2.1.1337.47-1
|
2018-11-16 12:28:38 -02:00 |
|
Jörg Thalheim
|
f805df3677
|
Merge pull request #50370 from dywedir/tiled
tiled: 1.2.0 -> 1.2.1
|
2018-11-16 14:13:45 +00:00 |
|
Jörg Thalheim
|
5632aad473
|
Merge pull request #50449 from jfrankenau/fix-valentina-mailcap
valentina: don’t copy mailcap file into XDG MIME directory
|
2018-11-16 11:19:47 +00:00 |
|
Michael Weiss
|
754aa035f6
|
androidStudioPackages.{dev,canary}: 3.4.0.2 -> 3.4.0.3
|
2018-11-16 11:45:16 +01:00 |
|
Johannes Frankenau
|
16a7db04aa
|
valentina: don’t copy mailcap file into XDG MIME directory
|
2018-11-16 10:55:13 +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 |
|
Brian Schroeder
|
2deaa540c2
|
nixnote2: fix window icon and themes
This installs `theme.ini` into `shared` as described at baumgarr/nixnote2#320.
|
2018-11-15 09:48:27 -05: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 |
|