Installing Ipopt using pacman on msys2

[bradbell]

I do not seem to be able to find an install of Ipopt on msys2. When I execute

pacman -Sl | grep ipopt

I do not get any results.