> You mean for debian 9 x86-64 ?

Yes.