Bug#860791: AW: seafile-gui: fails to install

[Henkel, Andreas]

Dear Moritz,


I removed bintray, ran apt update but now apt search seafile doesn't yield a 
match anymore.


Best,

Andreas