Add homebrew/tex/rubber, homebrew/tex/why3
Add homebrew/tex/rubber, homebrew/tex/why3

Homebrew/homebrew-command-not-found,bfontaine/homebrew-command-not-found,Homebrew/homebrew-command-not-found,bfontaine/homebrew-command-not-found