Reverse Dependencies of yuna

The following projects have a declared dependency on yuna:

• auron — no summary
• exverify — no summary