Lukas Werling a1767fa1ab vivaldi: 1.11.917.39-1 -> 1.12.955.36-1 ... vivaldi-ffmpeg-codecs: 60.0.3112.90 -> 61.0.3163.91		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-gcc5-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: 1.11.917.39-1 -> 1.12.955.36-1	2017-09-20 16:14:23 +02:00
ffmpeg-codecs.nix	vivaldi: 1.11.917.39-1 -> 1.12.955.36-1	2017-09-20 16:14:23 +02:00
update.sh	vivaldi: Add update script	2017-07-25 14:25:09 +02:00