There have been about 30 different official and unofficial ports to various kernels and hardware types https://www.debian.org/ports/ #releasingstretch
Submitted on 18 June 2017 06:27:00 By Paul Wise