WIP: Updating Debian ports - Debian for alpha

Alban Vidalrequested to merge
update-port-alpha into master

Updating Debian ports - Debian for alpha

Please do not merge now. I would to send this update to debian-alpha team before.

Edited by Boyuan Yang

Merge request reports