And avoid to use debian version, because that changes over time and it is clumsy to keep in sync.
Attach a file by drag & drop or click to upload
