From ad8b8c050da512b6339aede9a6cdc7fd3bb013b4 Mon Sep 17 00:00:00 2001
From: Erik Nilsen
Date: Wed, 3 Feb 2016 01:51:49 -0800
Subject: why3: migrate to tex

Closes Homebrew/homebrew#48780.

Signed-off-by: Dominyk Tiller <dominyktiller@gmail.com>
---
 Library/Homebrew/tap_migrations.rb | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Library')

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",
-- 
cgit v1.2.3