Op maandag 16 augustus om 21.28 uur schreef henk van ballegooijen:
> Kijk eens of het bestand /etc/apt/sources.list.d/opera.list bestaat.
> Dit wordt aangemaakt bij installatie van een opera.deb pakket en wel 
> door het postinst script.

Bestaat inderdaad. Uit de inhoud:

    # This file makes sure that Opera Browser is kept up-to-date
    # as part of regular system upgrades

    deb http://deb.opera.com/opera/ stable non-free

Ziedaar de ontknoping van het mysterie. Juist ja.
Toch heb ik zo'n update van Opera nooit eerder gezien. Het bestaat
kennelijk nog niet zo lang.


-- 
To UNSUBSCRIBE, email to debian-user-dutch-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Antwoord per e-mail aan