José Romildo Malaquias f19845c763 vivaldi: 1.14.1077.45-1 -> 1.15.1147.42-1 (#40536)		2018-05-15 18: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.14.1077.45-1 -> 1.15.1147.42-1 (#40536)	2018-05-15 18:14:23 +02:00
ffmpeg-codecs.nix	tree-wide: autorename gnome packages to use dashes	2018-02-25 17:41:16 +01:00
update.sh	vivaldi: Add update script	2017-07-25 14:25:09 +02:00