Compreendendo o Debian versus o LinuxMint, localizando números de versão

Question

Pelo que entendi, o LinuxMint é construído sobre o Debian. O Mint parece não me fornecer a versão mais atualizada do compilador Haskell GHC, mas para fazer o download dos binários para a versão estável mais recente, eu preciso saber minha versão Debian. Eu procurei como encontrar, mas tudo que consigo são resultados como

$ cat /etc/*-release
DISTRIB_ID=LinuxMint
DISTRIB_RELEASE=18.3
DISTRIB_CODENAME=sylvia
DISTRIB_DESCRIPTION="Linux Mint 18.3 Sylvia"
NAME="Linux Mint"
VERSION="18.3 (Sylvia)"
ID=linuxmint
ID_LIKE=ubuntu
PRETTY_NAME="Linux Mint 18.3"
VERSION_ID="18.3"
HOME_URL="http://www.linuxmint.com/"
SUPPORT_URL="http://forums.linuxmint.com/"
BUG_REPORT_URL="http://bugs.launchpad.net/linuxmint/"
VERSION_CODENAME=sylvia
UBUNTU_CODENAME=xenial
cat: /etc/upstream-release: Is a directory

e

$ cat /proc/version
Linux version 4.15.0-38-generic (buildd@lcy01-amd64-023) (gcc version 5.4.0 20160609 (Ubuntu 5.4.0-6ubuntu1~16.04.10)) #41~16.04.1-Ubuntu SMP Wed Oct 10 20:16:04 UTC 2018

Todas as versões do LinuxMint estão associadas a uma versão Debian, ou eu preciso fazer outra coisa para descobrir a versão Debian?

    

Answer 1

Basta executar

cat /etc/debian_version

no terminal. Isto dá a você a versão Debian, ou seja, 'Stretch' seria v9. Veja o histórico de versões do Debian e Debian na Wikipedia.