This page might help: https://wiki.debian.org/TimeZoneChanges
Debian look to have updated for Brazil in “2019b-0+deb9u1” in September: https://launchpad.net/debian/+source/tzdata/2019b-0+deb9u1
This page might help: https://wiki.debian.org/TimeZoneChanges
Debian look to have updated for Brazil in “2019b-0+deb9u1” in September: https://launchpad.net/debian/+source/tzdata/2019b-0+deb9u1