aboutsummaryrefslogtreecommitdiffstats
path: root/Library
diff options
context:
space:
mode:
Diffstat (limited to 'Library')
-rw-r--r--Library/Homebrew/tap_migrations.rb1
1 files changed, 1 insertions, 0 deletions
diff --git a/Library/Homebrew/tap_migrations.rb b/Library/Homebrew/tap_migrations.rb
index 77b2ea8d6..c5653d5e0 100644
--- a/Library/Homebrew/tap_migrations.rb
+++ b/Library/Homebrew/tap_migrations.rb
@@ -225,6 +225,7 @@ TAP_MIGRATIONS = {
"vobcopy" => "homebrew/boneyard",
"wdfs" => "homebrew/fuse",
"whereami" => "homebrew/boneyard",
+ "why3" => "homebrew/tex",
"wkhtmltopdf" => "homebrew/boneyard",
"wmctrl" => "homebrew/x11",
"wopr" => "homebrew/science",