diff options
| author | Erik Nilsen | 2016-02-03 01:51:49 -0800 |
|---|---|---|
| committer | Dominyk Tiller | 2016-02-11 02:00:06 +0000 |
| commit | ad8b8c050da512b6339aede9a6cdc7fd3bb013b4 (patch) | |
| tree | 5508b0ff593b7f080b700f9d05b6eec7588141fe /Library | |
| parent | 400259a775c660aa78ce7900f51ecb35c9f4b611 (diff) | |
| download | brew-ad8b8c050da512b6339aede9a6cdc7fd3bb013b4.tar.bz2 | |
why3: migrate to tex
Closes Homebrew/homebrew#48780.
Signed-off-by: Dominyk Tiller <dominyktiller@gmail.com>
Diffstat (limited to 'Library')
| -rw-r--r-- | Library/Homebrew/tap_migrations.rb | 1 |
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", |