{"type":"video","version":"1.0","html":"<iframe width=\"560\" height=\"315\" sandbox=\"allow-same-origin allow-scripts allow-popups allow-forms\" title=\"Towards the formal verification of maintainer scripts\" src=\"https://peertube.debian.social/videos/embed/sVLceW8AKfDQSfegEHNBwh\" frameborder=\"0\" allowfullscreen></iframe>","width":560,"height":315,"title":"Towards the formal verification of maintainer scripts","author_name":"DebConf 16","author_url":"https://peertube.debian.social/video-channels/debconf16","provider_name":"PeerTube","provider_url":"https://peertube.debian.social","thumbnail_url":"https://peertube.debian.social/lazy-static/previews/da0f42a7-451a-4ba2-9bec-850a2a744388.jpg","thumbnail_width":850,"thumbnail_height":480}