Peter Hoeg a130b56c77 vivaldi: do not build broken proprietary codecs by default		2017-10-10 12:55:21 +08:00
..
chromium-gcc5-r1.patch	vivaldi: 1.11.917.39-1 -> 1.12.955.36-1	2017-09-20 16:14:23 +02:00
chromium-gcc-r1.patch	vivaldi: 1.11.917.39-1 -> 1.12.955.36-1	2017-09-20 16:14:23 +02:00
chromium-gn-bootstrap-r14.patch	vivaldi: 1.11.917.39-1 -> 1.12.955.36-1	2017-09-20 16:14:23 +02:00
default.nix	vivaldi: do not build broken proprietary codecs by default	2017-10-10 12:55:21 +08:00
ffmpeg-codecs.nix	treewide: mark a bunch of failing builds as broken	2017-10-01 00:26:52 +03:00
update.sh	vivaldi: Add update script	2017-07-25 14:25:09 +02:00