i think aswer is no. as i believe the leaked Odin4linux is Samsung proprietary, so if i am right, it cannot be included in linux distribution repo…
I don’t have access to a computer this week-end to verify in Galaxy-Flasher,
the link in the setting tab should point to download
https://xdaforums.com/t/official-samsung-odin-v4-1-2-1-dc05e3ea-for-linux.4453423/
Also, you can read this page for instructions
Official Odin Tool for Linux: Download, Install, and Flash Firmware
But in our case, i think download Odin4 and extract it into the Galaxy-Flasher folder, then point to its path in the setting tab should be suffisant.
I have not yet tested it myself, but Thor is clearly open source.